Department of Information Technology

Publications 2012

  1. Regular model checking for LTL(MSO). Parosh Abdulla, Bengt Jonsson, Marcus Nilsson, Julien d'Orso, and Mayank Saksena. In International Journal on Software Tools for Technology Transfer (STTT), volume 14, number 2, pp 223-241, Springer, 2012. (DOI).
  2. Adding time to pushdown automata. Parosh Aziz Abdulla, Mohamed Faouzi Atig, and Jari Stenman. In Quantities in Formal Methods: QFM 2012, volume 103 of Electronic Proceedings in Theoretical Computer Science, pp 1-16, 2012. (DOI).
  3. Automatic fence insertion in integer programs via predicate abstraction. Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Carl Leonardsson, and Ahmed Rezine. In Static Analysis, volume 7460 of Lecture Notes in Computer Science, pp 164-180, Springer-Verlag, Berlin, 2012. (DOI).
  4. Counter-Example Guided Fence Insertion under TSO. Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Carl Leonardsson, and Ahmed Rezine. In Tools and Algorithms for the Construction and Analysis of Systems, volume 7214 of Lecture Notes in Computer Science, pp 204-219, Springer-Verlag, Berlin, 2012. (DOI, fulltext:preprint).
  5. Dense-Timed Pushdown Automata. Parosh Aziz Abdulla, Mohamed Faouzi Atig, and Jari Stenman. In Proc. 27th ACM/IEEE Symposium on Logic in Computer Science, pp 35-44, IEEE Computer Society, 2012. (DOI).
  6. Multi-Pushdown Systems with Budgets. Parosh Aziz Abdulla, Mohamed Faouzi Atig, Jari Stenman, and Othmane Rezine. In Formal Methods in Computer-Aided Design, pp 24-33, 2012. (External link).
  7. Petri Nets with Time and Cost. Parosh Aziz Abdulla and Mayr Richard. INFINITY 2012, 14th International Workshop on Verification of Infinite-State Systems, 2012.
  8. Regular model checking. Parosh Aziz Abdulla. In International Journal on Software Tools for Technology Transfer (STTT), volume 14, number 2, pp 109-118, 2012. (DOI).
  9. The minimal cost reachability problem in priced timed pushdown systems. Parosh Aziz Abdulla, Mohamed Faouzi Atig, and Jari Stenman. In Language and Automata Theory and Applications: 6th International Conference, LATA 2012, A Coruña, Spain, March 5-9, 2012, volume 7183 of Lecture Notes in Computer Science, pp 58-69, Springer-Verlag, Berlin, 2012. (DOI).
  10. Timed lossy channel systems. Parosh Aziz Abdulla, Mohamed Faouzi Atig, and Jonathan Cederberg. In IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science: FSTTCS 2012, volume 18 of Leibniz International Proceedings in Informatics, pp 374-386, Leibniz-Zentrum für Informatik, Dagstuhl, Germany, 2012. (DOI).
  11. A numerical study of the validity of Shallow Ice Approximations. Josefin Ahlkrona, Nina Kirchner, and Per Lötstedt. Technical report / Department of Information Technology, Uppsala University nr 2012-015, 2012. (External link).
  12. Constraint programming for air traffic management: a survey. Cyril Allignol, Nicolas Barnier, Pierre Flener, and Justin Pearson. In Knowledge engineering review (Print), volume 27, number 3, pp 361-392, 2012. (DOI).
  13. Scientific SPARQL: Semantic web queries over scientific data. Andrej Andrejev and Tore Risch. In Proc. 28th International Conference on Data Engineering Workshops, pp 5-10, IEEE Computer Society, 2012. (DOI).
  14. A scalability benchmark suite for Erlang/OTP. Stavros Aronis, Nikolaos Papaspyrou, Katerina Roukounaki, Konstantinos Sagonas, Yiannis Tsiouris, and Ioannis E. Venetis. In Proc. 11th ACM SIGPLAN Workshop on Erlang, pp 33-42, ACM Press, New York, 2012. (DOI).
  15. Do social media generate social capital?. Ryoko Asai and Iordanis Kavathatzopoulos. In ICT, society and human beings, pp 133-136, IADIS Press, Lisbon, 2012. (External link).
  16. New form of social ties through communicating in social media (Sosharu media ga tukuru atarashii kizuna no katachi). Ryoko Asai. In Information and Management  64th Conferenceedings Spring, pp 141-144, 2012. (External link).
  17. Regulation of potentially harmful contents on minors. Ryoko Asai and Iordanis Kavathatzopoulos. In Equity, integrity and beauty in information law and ethics, Ionian Academy, Kerkyra, Greece, 2012. (External link).
  18. Rethinking ICT's contribution to sustainability and education. Ryoko Asai. In New technologies, education for sustainable development and critical pedagogy, pp 232-235, ICTeESD, University of Crete, Rethymnon, Greece, 2012.
  19. Social Media as Informal Public Spheres. Ryoko Asai. In Creating and applying socially, ethically and professionally acceptable ICT systems: Current challenges and what is next?, p 3, 2012. (External link).
  20. Social movement and social media. Ryoko Asai and Iordanis Kavathatzopoulos. In Critique, democracy and philosophy in 21st century information society: Towards critical theories of social media, pp 76-77, 2012. (External link).
  21. The paradoxical nature of privacy. Ryoko Asai and Iordanis Kavathatzopoulos. In Privacy in the social networked world, 2012. (External link).
  22. An Introduction To Bayesian Networks in Systems and Control. Michael Ashcroft. 2012 18th International Conference on Automation and Computing (ICAC), 2012.
  23. Bayesian Networks in Business Analytics. Michael Ashcroft. In 2012 FEDERATED CONFERENCE ON COMPUTER SCIENCE AND INFORMATION SYSTEMS (FEDCSIS), pp 955-961, 2012.
  24. Using Bayesian networks in business analytics: Overview and short case study. Michael Ashcroft. In Business Informatics, volume 3, number 25, 2012.
  25. Detecting fair non-termination in multithreaded programs. Mohamed Faouzi Atig, Ahmed Bouajjani, Michael Emmi, and Akash Lal. In Computer Aided Verification, volume 7358 of Lecture Notes in Computer Science, pp 210-227, Springer-Verlag, Berlin, 2012. (fulltext).
  26. Linear-Time Model-Checking for Multithreaded Programs under Scope-Bounding. Mohamed Faouzi Atig, Ahmed Bouajjani, K. Narayan Kumar, and Prakash Saivasan. In Automated Technology for Verification and Analysis: ATVA 2012, volume 7561 of Lecture Notes in Computer Science, pp 152-166, Springer Berlin/Heidelberg, 2012. (DOI).
  27. Model-Checking of Ordered Multi-Pushdown Automata. Mohamed Faouzi Atig. In Logical Methods in Computer Science, volume 8, number 3, p 20, 2012. (DOI).
  28. What's decidable about weak memory models?. Mohamed Faouzi Atig, Ahmed Bouajjani, Sebastian Burckhardt, and Madanlal Musuvathi. In Programming Languages and Systems, volume 7211 of Lecture Notes in Computer Science, pp 26-46, Springer Berlin/Heidelberg, 2012. (DOI).
  29. Macro-elementwise preconditioning methods. Owe Axelsson. In Mathematics and Computers in Simulation, volume 82, pp 1952-1963, 2012. (DOI).
  30. Numerical and computational efficiency of solvers for two-phase problems. Owe Axelsson, Petia Boyanova, Martin Kronbichler, Maya Neytcheva, and Xunxun Wu. Technical report / Department of Information Technology, Uppsala University nr 2012-002, 2012. (External link).
  31. Numerical solution of the time-dependent Navier–Stokes equation for variable density–variable viscosity. Owe Axelsson, Xin He, and Maya Neytcheva. Technical report / Department of Information Technology, Uppsala University nr 2012-019, 2012. (External link).
  32. Histological Stain Evaluation for Machine Learning Applications. Jimmy Azar, Christer Busch, and Ingrid Carlbom. In Proceedings of the International Conference on Medical Image Computing and Computer Assisted Intervention, 2012. (External link).
  33. Microarray Core Detection by Geometric Restoration. Jimmy Azar, Christer Busch, and Ingrid Carlbom. In Analytical Cellular Pathology, volume 35, number 5-6, pp 381-393, 2012. (DOI).
  34. Sparse spectral-line estimation for nonuniformly sampled multivariate time series: SPICE, LIKES and MSBL. Prabhu Babu and Peter Stoica. In 2012 Proceedings Of The 20th European Signal Processing Conference (EUSIPCO), European Signal Processing Conference, pp 445-449, 2012. (External link).
  35. Spectral Analysis of Nonuniformly Sampled Data and Applications. Prabhu Babu. Ph.D. thesis, , Uppsala universitet, 2012. (fulltext).
  36. Scalable ordered indexing of streaming data. Sobhan Badiozamany and Tore Risch. In 3rd International Workshop on Accelerating Data Management Systems using Modern Processor and Storage Architectures, p 11, 2012. (Fulltext).
  37. A social node model for realising information dissemination strategies in delay tolerant networks. Saeed Bastani, Björn Landfeldt, Christian Rohner, and Per Gunningberg. In Proceedings of the 15th ACM international conference on Modeling, analysis and simulation of wireless and mobile systems, pp 79-88, ACM Press, New york, 2012. (DOI, fulltext:postprint).
  38. A stable and dual consistent boundary treatment using finite differences on summation-by-parts form. Jens Berg and Jan Nordström. Technical report / Department of Information Technology, Uppsala University nr 2012-014, 2012. (External link).
  39. A stable and dual consistent boundary treatment using finite differences on summation-by-parts form. Jens Berg and Jan Nordström. In Proc. ECCOMAS Congress 2012, pp 7557-7570, Tech. Univ. Wien, Austria, 2012.
  40. On the impact of boundary conditions on dual consistent finite difference discretizations. Jens Berg and Jan Nordström. Technical report / Department of Information Technology, Uppsala University nr 2012-025, 2012. (External link).
  41. Spectral analysis of the continuous and discretized heat and advection equation on single and multiple domains. Jens Berg and Jan Nordström. In Applied Numerical Mathematics, volume 62, pp 1620-1638, 2012. (DOI).
  42. Superconvergent functional output for time-dependent problems using finite differences on summation-by-parts form. Jens Berg and Jan Nordström. Technical report / Department of Information Technology, Uppsala University nr 2012-004, 2012. (External link).
  43. Superconvergent functional output for time-dependent problems using finite differences on summation-by-parts form. Jens Berg and Jan Nordström. In Journal of Computational Physics, volume 231, pp 6846-6860, 2012. (DOI).
  44. Computing education research course. Anders Berglund and Neena Thota. In Proc. NU 2012: Gränslöst lärande, Chalmers University of Technology, Göteborg, Sweden, 2012. (Abstract).
  45. Datavetenskapens didaktik: UR Samtiden – Gränslöst lärande. Anders Berglund. 2012.
  46. What do master level students in computer science think about plagiarism?. Anders Berglund and Neena Thota. In Proc. NU 2012: Gränslöst lärande, pp 49-49, Chalmers University of Technology, Göteborg, Sweden, 2012. (Abstract).
  47. Intercultural competence in global collaboration courses in computer engineering. Helena Bernáld, Åsa Cajander, Mats Daniels, Can Kultur, Anette Löfström, Roger McDermott, and Lori Russell Dag. In Advances in Design for Cross-Cultural Activities: Part I, pp 351-361, CRC Press, Boca Raton, FL, 2012.
  48. Measurements in opportunistic networks. Fredrik Bjurefors. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2012-002, Uppsala University, 2012. (fulltext).
  49. Optimality of Equally-Spaced Phase Increments for Banding Removal in bSSFP. Marcus Björk, R. Reeve Ingle, Joëlle K. Barral, Erik Gudmundson, Dwight G. Nishimura, and Peter Stoica. In Proceedings of the ISMRM 20th annual meeting, 2012.
  50. Osseointegration med hjälp av datoriserad bildanalys. Gunilla Borgefors, Hamid Sarve, Carina B Johansson, and Bertil Friberg. In Tandläkartidningen, volume 104, number 12, pp 66-71, 2012.
  51. Short Descriptions of International Journals on Image Processing and its Applications. Gunilla Borgefors (editor). Internal report (Yellow series) nr 50, 2012.
  52. Block-preconditioners for conforming and non-conforming FEM discretizations of the Cahn–Hilliard equation. Petia Boyanova, Minh Do-Quang, and Maya Neytcheva. In Large-Scale Scientific Computing, volume 7116 of Lecture Notes in Computer Science, pp 549-557, Springer-Verlag, Berlin, 2012. (DOI).
  53. Efficient numerical solution of discrete multi-component Cahn–Hilliard systems. Petia Boyanova and Maya Neytcheva. Technical report / Department of Information Technology, Uppsala University nr 2012-009, 2012. (External link).
  54. Efficient preconditioners for large scale binary Cahn–Hilliard models. Petia Boyanova, Minh Do-Quang, and Maya Neytcheva. In Computational Methods in Applied Mathematics, volume 12, pp 1-22, 2012. (DOI).
  55. On Numerical Solution Methods for Block-Structured Discrete Systems. Petia Boyanova. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 942, Acta Universitatis Upsaliensis, Uppsala, 2012. (fulltext).
  56. Categorizing how students use collaborative technologies in a globally distributed project. Åsa Cajander, Mats Daniels, Mats Cullhed, Tony Clear, Roger McDermott, and Cary Laxer. In Proc. 42nd ASEE/IEEE Frontiers in Education Conference, pp 1325-1330, IEEE, Piscataway, NJ, 2012. (DOI).
  57. Managing international student collaborations: An experience report. Åsa Cajander, Mats Daniels, Can Kultur, Lori Russell Dag, and Cary Laxer. In Proc. 42nd ASEE/IEEE Frontiers in Education Conference, pp 355-360, IEEE, Piscataway, NJ, 2012. (DOI).
  58. On valuing peers: theories of learning and intercultural competence. Åsa Cajander, Mats Daniels, and Roger McDermott. In Computer Science Education, volume 22, pp 319-342, 2012. (DOI).
  59. Professionella kompetenser i projektkurser. Åsa Cajander, Mats Daniels, Helena Bernáld, and Björn Victor. In Proc. 3:e Utvecklingskonferensen för Sveriges ingenjörsutbildningar, volume 75 of Linköping Electronic Conference Proceedings, pp 123-128, Linköping University Electronic Press, 2012. (External link).
  60. The impact of trace and adversary models on location privacy provided by K-anonymity. Volkan Cambazoglu, Christian Rohner, and Björn Victor. In Proc. 1st Workshop on Measurement, Privacy, and Mobility, ACM Press, New York, 2012. (DOI).
  61. Towards business processes orchestrating the physical enterprise with wireless sensor networks. Fabio Casati, Florian Daniel, Guenadi Dantchev, Joakim Eriksson, Niclas Finne, Stamatis Karnouskos, Patricio Moreno Montera, Luca Mottola, Felix Jonathan Oppermann, Gian Pietro Picco, Antonio Quartulli, Kay Römer, Patrik Spiess, Stefano Tranquillini, and Thiemo Voigt. In ICSE, pp 1357-1360, 2012.
  62. A succinct canonical register automaton model for data domains with binary relations. Sofia Cassel, Bengt Jonsson, F. Howar, and B. Steffen. In Automated Technology for Verification and Analysis: 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012. Proceedings, volume 7561 of Lecture Notes in Computer Science, pp 57-71, Springer, 2012. (DOI).
  63. Model predictive zooming power control in future cellular systems under coarse quantization. Mauricio G. Cea, Graham C. Goodwin, and Torbjörn Wigren. In Proc. 76th Vehicular Technology Conference, IEEE, Piscataway, NJ, 2012. (DOI).
  64. Cluster detection in cytology images using the cellgraph method. P. S. Chandran, N. B. Byju, R. U. Deepak, R. Rajesh Kumar, S. Sudhamony, Patrik Malm, and Ewert Bengtsson. In Information Technology in Medicine and Education (ITME), 2012 International Symposium, volume 2 of Proceedings of 2012 International Symposium on Information Technologies in Medicine and Education, ITME 2012, pp 923-927, 2012. (DOI).
  65. Fully automated cellular-resolution vertebrate screening platform with parallel animal processing. Tsung-Yao Chang, Carlos Pardo-Martin, Amin Allalou, Carolina Wählby, and Mehmet Fatih Yanik. In Lab on a Chip, volume 12, number 4, pp 711-716, 2012. (DOI).
  66. A Compositional Specification Theory for Component Behaviours. Taolue Chen, Chris Chilton, Bengt Jonsson, and Marta Kwiatkowska. In Programming Languages and Systems - 21st European Symposium on Programming, ESOP 2012,, Lecture Notes in Computer Science, pp 148-168, 2012. (DOI).
  67. A Compositional Specification Theory for Component Behaviours. Taolue Chen, Chris Chilton, Bengt Jonsson, and Marta Kwiatkowska. 2012. (External link).
  68. Privacy preserving data publishing for recommender system. Xiaoqiang Chen and Vincent Huang. In Proc. 36th International Computer Software and Applications Conference Workshops, pp 128-133, IEEE Computer Society, 2012. (DOI).
  69. Assume-Guarantee Reasoning for Safe Component Behaviours. Chris Chilton, Bengt Jonsson, and Marta Kwiatkowska. In Proc. FACS: Formal Aspects of Component Software, 9th Int. Symp., volume 7684 of Lecture Notes in Computer Science, pp 92-109, Springer, 2012. (DOI, External link).
  70. A state observer for continuous oscillating systems under intrinsic pulse-modulated feedback. Alexander Churilov, Alexander Medvedev, and Alexander Shepeljavyi. In Automatica, volume 48, number 6, pp 1117-1122, 2012. (DOI).
  71. Adaptive structuring elements based on salience distance transform. Vladimir Curic, Cris L. Luengo Hendriks, and Gunilla Borgefors. In In Proceedings of Swedish Society for Image Analysis, SSBA 2012, KTH, Stockholm, 2012.
  72. Adaptive structuring elements based on salience information. Vladimir Curic and Cris L. Hendriks Luengo. In Computer Vision and Graphics, volume 7594 of Lecture Notes in Computer Science, pp 321-328, Springer, 2012. (DOI).
  73. Salience adaptive structuring elements. Vladimir Curic, Cris L. Luengo Hendriks, and Gunilla Borgefors. In IEEE Journal on Selected Topics in Signal Processing, volume 6, number 7, pp 809-819, 2012. (DOI).
  74. An ellipsoid based, two-stage screening test for BPDN. Liang Dai and Kristiaan Pelckmans. In Proc. 20th European Signal Processing Conference, pp 654-658, IEEE, 2012.
  75. An online algorithm for controlling a monotone Wiener system. Liang Dai and Kristiaan Pelckmans. In Proceedings of the 2012 24th Chinese Control and Decision Conference (CCDC), Chinese Control and Decision Conference, pp 1585-1590, IEEE, Piscataway, NJ, 2012. (DOI).
  76. Models and methods for computing education research. Mats Daniels and Arnold Pears. In Australian Computer Science Communications, volume 34, number 2, pp 95-102, 2012. (External link).
  77. Canonical eigenvalue distribution of multilevel block Toeplitz sequences with non-Hermitian symbols. Marco Donatelli, Maya Neytcheva, and Stefano Serra-Capizzano. In Spectral Theory, Mathematical System Theory, Evolution Equations, Differential and Difference Equations, volume 221 of Operator Theory: Advances and Applications, pp 269-291, Springer, Basel, Switzerland, 2012. (DOI).
  78. URDME: a modular framework for stochastic simulation of reaction-transport processes in complex geometries. Brian Drawert, Stefan Engblom, and Andreas Hellander. In BMC Systems Biology, volume 6, pp 76:1-17, 2012. (DOI).
  79. A well-posed and discretely stable perfectly matched layer for elastic wave equations in second order formulation. Kenneth Duru and Gunilla Kreiss. In Communications in Computational Physics, volume 11, pp 1643-1672, 2012. (DOI).
  80. Boundary waves and stability of the perfectly matched layer. Kenneth Duru and Gunilla Kreiss. Technical report / Department of Information Technology, Uppsala University nr 2012-007, 2012. (External link).
  81. Numerical interaction of boundary waves with perfectly matched layers in elastic waveguides. Kenneth Duru and Gunilla Kreiss. Technical report / Department of Information Technology, Uppsala University nr 2012-008, 2012. (External link).
  82. On the accuracy and stability of the perfectly matched layer in transient waveguides. Kenneth Duru and Gunilla Kreiss. In Journal of Scientific Computing, volume 53, pp 642-671, 2012. (DOI).
  83. Perfectly Matched Layers and High Order Difference Methods for Wave Equations. Kenneth Duru. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 931, Acta Universitatis Upsaliensis, Uppsala, 2012. (fulltext).
  84. Bounding and shaping the demand of mixed-criticality sporadic tasks. Pontus Ekberg and Wang Yi. In Proc. 24th Euromicro Conference on Real-Time Systems, pp 135-144, IEEE Computer Society, 2012. (DOI).
  85. A Profiling Method for Analyzing Scalability Bottlenecks on Multicores. David Eklöv. 2012.
  86. Bandwidth bandit: Quantitative characterization of memory contention. David Eklöv, Nikkos Nikoleris, David Black-Schaffer, and Erik Hägersten. In Parallel Architectures and Compilation Techniques - Conference Proceedings, PACT, pp 457-458, 2012. (DOI).
  87. Profiling Methods for Memory Centric Software Performance Analysis. David Eklöv. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1000, Acta Universitatis Upsaliensis, Uppsala, 2012. (fulltext).
  88. Quantitative Characterization of Memory Contention. David Eklöv, Nikos Nikoleris, David Black-Schaffer, and Erik Hägersten. Technical report / Department of Information Technology, Uppsala University nr 2012-029, Uppsala universitet, Uppsala, 2012. (on department web, fulltext).
  89. Finite element multiscale methods for Poisson's equation with rapidly varying heterogeneous coefficients. Daniel Elfverson and Axel Målqvist. In Proc. 10th World Congress on Computational Mechanics, p 10, International Association for Computational Mechanics, Barcelona, Spain, 2012.
  90. Hur ser lärare på undervisning och lärande?. Maja Elmgren, Staffan Andersson, and Arnold Pears. In Proc. NU 2012: Gränslöst lärande, Chalmers University of Technology, Göteborg, Sweden, 2012. (Abstract).
  91. Impact of stroke on anterior–posterior force generation prior to seat-off during sit-to-walk. Gunilla Elmgren Frykberg, Tomas Thierfelder, Anna Cristina Åberg, Kjartan Halvorsen, Jörgen Borg, and Helga Hirschfeld. In Gait & Posture, volume 35, number 1, pp 56-60, 2012. (DOI).
  92. On the stability of stochastic jump kinetics. Stefan Engblom. Technical report / Department of Information Technology, Uppsala University nr 2012-005, 2012. (External link).
  93. Exact non-reflecting boundary conditions revisited: well-posedness and stability. Sofia Eriksson and Jan Nordström. Technical report / Department of Information Technology, Uppsala University nr 2012-032, 2012. (External link).
  94. Stable Numerical Methods with Boundary and Interface Treatment for Applications in Aerodynamics. Sofia Eriksson. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 985, Acta Universitatis Upsaliensis, Uppsala, 2012. (fulltext).
  95. Nonparametric density estimation for randomly perturbed elliptic problems III: Convergence, computational cost, and generalizations. Donald Estep, Michael J. Holst, and Axel Målqvist. In Journal of Applied Mathematics and Computing, volume 38, pp 367-387, 2012. (DOI).
  96. Analyzing Tubular Tissue in Histopathological Thin Sections. Azadeh Fakhrzadeh, Ellinor Spörndly-Nees, Lena Holm, and Cris L. Luengo Hendriks. In 2012 INTERNATIONAL CONFERENCE ON DIGITAL IMAGE COMPUTING TECHNIQUES AND APPLICATIONS (DICTA), pp 1-6, IEEE conference proceedings, 2012. (DOI).
  97. Automated measurement of epithelial height of testicular tissue. Azadeh Fakhrzadeh, Ellinor Spörndly-Nees, Lena Holm, and Cris L. Luengo Hendriks. In Proceedings of Swedish Society for Image Analysis, SSBA 2012, KTH Royal Institute of Technology, Stockholm, 2012.
  98. Least-Squares Support Vector Machines for the identification of Wiener-Hammerstein systems. Tillmann Falck, Philippe Dreesen, Kris De Brabanter, Kristiaan Pelckmans, Bart De Moor, and Johan A. K. Suykens. In Control Engineering Practice, volume 20, number 11, pp 1165-1174, 2012. (DOI).
  99. Poster Abstract: A Testbed for Measuring Battery Discharge Behavior. Laura Marie Feeney, Lars Andersson, Anders Lindgren, Stina Starborg, and Annika Ahlberg Tidblad. In Proc. of 7th ACM Int’l Workshop on Wireless Network Testbeds, Experimental Evaluation and Characterization (WiNTECH’12), 2012.
  100. Poster Abstract: Using batteries wisely. Laura Marie Feeney, Lars Andersson, Anders Lindgren, Stina Starborg, and Annika Ahlberg Tidblad. In , 2012.
  101. Towards trustworthy simulation of wireless MAC/PHY layers: A comparison framework. Laura Marie Feeney. In Proc. of 15th ACM Int’l Conf. on Modeling, Analysis and Simulation of Wireless and Mobile Systems (MSWiM’12), 2012.
  102. Constraint Programming for Air Traffic Management: Preface. Pierre Flener, Justin Pearson, and Marc Bourgois. In Knowledge engineering review (Print), volume 27, number 3, pp 287-289, 2012. (DOI).
  103. A guide to RBF-generated finite differences for nonlinear transport: Shallow water simulations on a sphere. Natasha Flyer, Erik Lehto, Sébastien Blaise, Grady B. Wright, and Amik St-Cyr. In Journal of Computational Physics, volume 231, pp 4078-4095, 2012. (DOI).
  104. A computer-assisted proof of the existence of traveling wave solutions to the scalar Euler equations with artificial viscosity. Oswald Fogelklou, Warwick Tucker, and Gunilla Kreiss. In NoDEA. Nonlinear differential equations and applications (Printed ed.), volume 19, pp 97-131, 2012. (DOI).
  105. Stable calculation of Gaussian-based RBF-FD stencils. Bengt Fornberg, Erik Lehto, and Collin Powell. Technical report / Department of Information Technology, Uppsala University nr 2012-018, 2012. (External link).
  106. Timed Model Checking with Abstractions: Towards Worst-Case Response Time Analysis in Resource-Sharing Manycore Systems. Georgia Giannopoulou, Kai Lampka, Nikolay Stoimenov Nikolay Stoimenov, and Lothar Thiele. In Proc. International Conference on Embedded Software (EMSOFT), pp 63-72, ACM Press, 2012.
  107. Adaptive fast multipole methods on the GPU. Anders Goude and Stefan Engblom. Technical report / Department of Information Technology, Uppsala University nr 2012-012, 2012. (External link).
  108. An algebraic approach for controlling cascade of reaches in irrigation canals. Mouhamadou Samsidy Goudiaby, Abdou Sene, and Gunilla Kreiss. In Problems, Perspectives and Challenges of Agricultural Water Management, pp 369-390, InTech, Rijeka, Croatia, 2012.
  109. Fixed-Priority Multiprocessor Scheduling: Critical Instant, Response Time and Utilization Bound. Nan Guan and Wang Yi. In 2012 IEEE 26TH INTERNATIONAL PARALLEL AND DISTRIBUTED PROCESSING SYMPOSIUM WORKSHOPS & PHD FORUM (IPDPSW), IEEE International Symposium on Parallel and Distributed Processing Workshops and PhD Forum-IPDPSW, pp 2470-2473, 2012. (DOI).
  110. Parametric Utilization Bounds for Fixed-Priority Multiprocessor Scheduling. Nan Guan, Martin Stigge, Wang Yi, and Ge Yu. In 2012 IEEE 26th International Parallel and Distributed Processing Symposium (IPDPS), International Parallel and Distributed Processing Symposium IPDPS, pp 261-272, 2012. (DOI).
  111. WCET analysis with MRU caches: Challenging LRU for predictability. Nan Guan, Mingsong Lv, Wang Yi, and Ge Yu. In Proc. 18th Real-Time and Embedded Technology and Applications Symposium, pp 55-64, IEEE Computer Society, 2012. (DOI).
  112. Designing a flexible and low-cost testbed for Wireless Sensor Networks. Cheng Guo, Venkatesha Prasad, JiangJie He, Martin Jacobsson, and Ignas Niemegeers. In International Journal of Ad Hoc and Ubiquitous Computing, volume 9, number 2, pp 111-121, InderScience Publishers, 2012. (DOI).
  113. Communication-efficient algorithms for numerical quantum dynamics. Magnus Gustafsson, Katharina Kormann, and Sverker Holmgren. In Applied Parallel and Scientific Computing: Part II, volume 7134 of Lecture Notes in Computer Science, pp 368-378, Springer-Verlag, Berlin, 2012. (DOI).
  114. Numerical evaluation of the Communication-Avoiding Lanczos algorithm. Magnus Gustafsson, James Demmel, and Sverker Holmgren. Technical report / Department of Information Technology, Uppsala University nr 2012-001, 2012. (External link).
  115. Towards an adaptive solver for high-dimensional PDE problems on clusters of multicore processors. Magnus Gustafsson. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2012-003, Uppsala University, 2012. (fulltext).
  116. Forest automata for verification of heap manipulation. Peter Habermehl, Lukáš Holík, Adam Rogalewicz, Ji?í Šimá?ek, and Tomas Vojnar. In Formal methods in system design, volume 41, number 1, pp 83-106, 2012. (DOI).
  117. Pharmacological characterization of <sup>18</sup>F-labeled vorozole analogs. Håkan Hall, Kayo Takahashi, Maria Erlandsson, Sergio Estrada, Pasha Razifar, Elisabeth Bergström, and Bengt Långström. In Journal of labelled compounds & radiopharmaceuticals, volume 55, number 14, pp 484-490, 2012. (DOI).
  118. Acute Effects of Reducing Vertical Displacement and Step Frequency on Running Economy. Kjartan Halvorsen, Martin Eriksson, and Lennart Gullstrand. In Journal of Strength and Conditioning Research, volume 26, number 8, pp 2065-2070, 2012. (DOI).
  119. An optimisation-based approach for wireless sensor deployment in mobile sensing environments. Farshid Hassani Bijarbooneh, Pierre Flener, Edith C.-H. Ngai, and Justin Pearson. In Proc. Wireless Communications and Networking Conference 2012, pp 2108-2112, IEEE Communications Society, 2012. (DOI).
  120. Macroprogramming of Wireless Sensor Networks using Task Graphs and Constraint Solving. Farshid Hassani Bijarbooneh and Martin Jacobsson. 8th Swedish National Computer Networking Workshop (SNCNW), 7-8 June, 2012, Stockholm, Sweden, 2012.
  121. Do Sensor Networks need Mobile MAC Protocols. Navid Hassanzadeh, Thiemo Voigt, Olaf Landsiedel, Frederik Hermans, and Olof Rensfelt. In Proc. of Third International Workshop on Networks of Cooperating Objects (CONET 2012), held in conjunction with IPSN 2012, April 2012, Beijing, China., 2012.
  122. Ef?cient Mobile Data Collection with Mobile Collect. Navid Hassanzadeh, Olaf Landsiedel, Frederik Hermans, Olof Rensfelt, and Thiemo Voigt. In Proceedings of the 8th IEEE International Conference on Distributed Computing in Sensor Systems (DCOSS), pp 25-32, IEEE Computer Society, 2012. (DOI).
  123. An Efficient Preconditioner and a Modified RANSAC for Fast and Robust Feature Matching.. Anders Hast and Andrea Marchetti. In International Conferences in Central Europe on Computer Graphics, Visualization and Computer Vision: Communcations Paper, pp 11-18, 2012.
  124. Putative Match Analysis: A Repeatable Alternative to RANSAC for Matching of Aerial Images. Anders Hast and Andrea Marchetti. In VISAPP 2012 - Proceedings of the International Conference on Computer Vision Theory and Applications, Volume 2, pp 341-344, SciTePress, 2012.
  125. Waveform Design for Active Sensing Systems: a computational approach. Hao He, Jian Li, and Peter Stoica. Cambridge University Press, UK, 2012. (MATLAB CODES and PRESENTATION SLIDES AVAILABLE FOR DOWNLOAD).
  126. Solution neighbourhoods for constraint-directed local search. Jun He, Pierre Flener, and Justin Pearson. In Proc. 27th ACM Symposium on Applied Computing, pp 74-79, ACM Press, New York, 2012. (DOI).
  127. Efficiently parallel implementation of the inverse Sherman–Morrison algorithm. Xin He, Marcus Holm, and Maya Neytcheva. Technical report / Department of Information Technology, Uppsala University nr 2012-017, 2012. (External link).
  128. On preconditioning incompressible non-Newtonian flow problems. Xin He and Maya Neytcheva. Technical report / Department of Information Technology, Uppsala University nr 2012-016, 2012. (External link).
  129. On some Numerical Methods and Solution Techniques for Incompressible Flow Problems. Xin He. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 954, Acta Universitatis Upsaliensis, Uppsala, 2012. (fulltext).
  130. Preconditioning the incompressible Navier-Stokes equations with variable viscosity. Xin He and Maya Neytcheva. In Journal of Computational Mathematics, volume 30, pp 461-482, 2012. (DOI).
  131. Coupled mesoscopic and microscopic simulation of stochastic reaction-diffusion processes in mixed dimensions. Andreas Hellander, Stefan Hellander, and Per Lötstedt. In Multiscale Modeling & simulation, volume 10, pp 585-611, 2012. (DOI).
  132. Reaction-diffusion master equation in the microscopic limit. Stefan Hellander, Andreas Hellander, and Linda Petzold. In Physical Review E. Statistical, Nonlinear, and Soft Matter Physics, volume 85, pp 042901:1-5, 2012. (DOI).
  133. A Lightweight Approach to Online Detection and Classification of Interference in 802.15.4-based Sensor Networks. Frederik Hermans, Olof Rensfelt, Lars-Åke Larzon, and Per Gunningberg. In ACM SIGBED Review, volume 9, number 3, pp 11-20, 2012. (DOI).
  134. Global Source Mobility in the Content-Centric Networking Architecture. Frederik Hermans, Edith Ngai, and Per Gunningberg. In Proc. 1st ACM Workshop on Emerging Name-Oriented Mobile Networking Design: Architecture, Algorithms, and Applications, pp 13-18, ACM Press, New York, 2012. (DOI).
  135. Identification of a pulsatile endocrine model from hormone concentration data. Egi Hidayat and Alexander Medvedev. In 2012 IEEE INTERNATIONAL CONFERENCE ON CONTROL APPLICATIONS (CCA), IEEE International Conference on Control Applications, pp 356-363, 2012.
  136. Laguerre domain identification of continuous linear time-delay systems from impulse response data. Egi Hidayat and Alexander Medvedev. In Automatica, volume 48, number 11, pp 2902-2907, 2012. (DOI).
  137. On identification of endocrine systems. Egi Hidayat. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2012-005, Uppsala University, 2012. (fulltext).
  138. Accelerating interpolants. H. Hojjat, R. Iosif, F. Kone?ný, V. Kuncak, and Phillipp Rümmer. In Automated Technology for Verification and Analysis: 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012. Proceedings, volume 7561 of Lecture Notes in Computer Science, pp 187-202, 2012. (DOI).
  139. A verification toolkit for numerical transition systems. Hossein Hojjat, Filip Konecný, Florent Garnier, Radu Iosif, Viktor Kuncak, and Philipp Rümmer. In FM 2012: Formal Methods, volume 7436 of Lecture Notes in Computer Science, pp 247-251, Springer Berlin/Heidelberg, 2012. (DOI).
  140. Efficiently implementing Monte Carlo electrostatics simulations on multicore accelerators. Marcus Holm and Sverker Holmgren. In Applied Parallel and Scientific Computing: Part II, volume 7134 of Lecture Notes in Computer Science, pp 379-388, Springer-Verlag, Berlin, 2012. (DOI).
  141. Inferring semantic interfaces of data structures. F. Howar, M. Isberner, B. Steffen, O. Bauer, and Bengt Jonsson. In Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I, volume 7609 of Lecture Notes in Computer Science, pp 554-571, 2012. (DOI).
  142. Inferring Canonical Register Automata. Falk Howar, Bernhard Steffen, Bengt Jonsson, and Sofia Cassel. In Verification, Model Checking, and Abstract Interpretation - 13th International Conference,, volume 7148 of Lecture Notes in Computer Science, pp 251-266, Springer, 2012. (DOI).
  143. A location-based publish/subscribe framework for wireless sensors and mobile phones. He Huang, Edith C.-H. Ngai, and Jiangchuan Liu. In Proc. Wireless Communications and Networking Conference 2012, pp 2173-2178, IEEE Communications Society, 2012. (DOI).
  144. On the exploration, expansion and expression of experiencing technological systems across contexts: Learning technology in the Swedish compulsory school. Åke Ingerman, Anders Berglund, Shirley Booth, Jonas Emanuelsson, and Maria Svensson. In EARLI SIG 9 Conference on Phenomenography and Variation Theory, Jönköping University, Sweden, 2012.
  145. Technological systems across contexts: Designing and exploring learning possibilities in Swedish compulsory technology education. Åke Ingerman, Maria Svensson, Anders Berglund, Shirley Booth, and Jonas Emanuelsson. In Proc. PATT 26 Conference: Technology Education in the 21st Century, volume 73 of Linköping Electronic Conference Proceedings, pp 232-238, Linköping University Electronic Press, 2012. (Free fulltext available).
  146. SNR Requirements for T1 and T2 Estimation using bSSFP. R. Reeve Ingle, Joëlle K. Barral, Marcus Björk, Erik Gudmundson, Peter Stoica, and Dwight G. Nishimura. In Proceedings of the ISMRM 20th annual meeting, 2012.
  147. All or nothing: Deployment must also be user-centred. Gunnika Isaksson-Lutteman, Bengt Sandblad, Arne W. Andersson, and Simon Tschirner. In Ergonomics Open Journal, 2012. Publication status: Submitted
  148. Future Train Traffic Control: Development and deployment of new principles and systems in train traffic control. Gunnika Isaksson-Lutteman. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2012-001, Uppsala University, 2012. (fulltext).
  149. An image based high-throughput assay for chemical screening using zebrafish.. Omer Ishaq, Joseph Negri, Mark-Anthony Bray, Alexandra Pacureanu, and Carolina Wählby. In , 2012.
  150. Software risk management modeling using goal-driven approach from early requirements engineering. Shareeful Islam and Anca-Juliana Stoica. In Risk Assessment and Management, pp 385-401, Publishing Services LLC, Cheyenne, WY, 2012. (External link).
  151. An Investigation on Nuclei of Histopathological Images using Curvelet Statistical Features. Swamidoss Issac Niwas, P. Palanisamy, and Ewert Bengtsson. SSBA'12, Symposium on Image Analysis, KTH-Stockholm, 2012.
  152. Automated classification of immunostaining patterns in breast tissue from the Human Protein Atlas. Swamidoss Issac Niwas, Andreas Kårsnäs, Virginie Uhlmann, P. Palanisamy, Caroline Kampf, Martin Simonsson, Carolina Wählby, and Robin Strand. In Histopathology Image Analysis (HIMA): a MICCAI 2012 workshop, 2012. (External link).
  153. Interpretation and Adoption of the Concept of Enterprise-wide and Best of Breed Health IT within the New Zealand eHealth Community. Rebecka Janols, Karen Day, and Martin Orr. In Health Informatics New Zeeland, 2012. (External link, fulltext:postprint).
  154. Time Does Not Heal Usability Issues!: Results from a Longitudinal Evaluation of a Health IT Deployment Performed at Three Swedish Hospital Units. Rebecka Janols. In OzCHI '12 Proceedings of the 24th Australian Computer-Human Interaction Conference, pp 273-280, ACM Press, New York, NY, USA, 2012. (DOI, External link).
  155. The usage of usability techniques in Scrum projects. Yuan Jia, Marta Kristín Lárusdóttir, and Åsa Cajander. In Human-Centered Software Engineering, volume 7623 of Lecture Notes in Computer Science, pp 331-341, Springer Berlin/Heidelberg, 2012. (DOI).
  156. Computing Strong and Weak Bisimulations for Psi-Calculi. Magnus Johansson, Björn Victor, and Joachim Parrow. In Journal of Logic and Algebraic Programming, volume 81, number 3, pp 162-180, Elsevier, 2012. (DOI).
  157. Using refinement calculus techniques to prove linearizability. Bengt Jonsson. In Formal Aspects of Computing, volume 24, number 4-6, pp 537-554, 2012. (DOI).
  158. Positioning in LTE. Ari Kangas, Iana Siomina, and Torbjörn Wigren. In Handbook of Position Location: Theory, Practice, and Advances, pp 1081-1127, John Wiley & Sons, Hoboken, NJ, 2012. (DOI).
  159. Trace-based performance analysis of opportunistic forwarding under imperfect node cooperation. Merkourios Karaliopoulos and Christian Rohner. In Proceedings of the 31st Annual IEEE International Conference on Computer Communications (IEEE INFOCOM 2012), IEEE Communications Society, Orlando, 2012.
  160. Assessing and acquiring ethical leadership competence. Iordanis Kavathatzopoulos. In Leadership through the Classics: leadership and management in a changing world - lessons from ancient eastern and western philosophy, pp 389-400, Springer Berlin/Heidelberg, 2012. (DOI).
  161. Assessing usability of IT systems. Iordanis Kavathatzopoulos. In Ergonomics for sustainability and growth, KTH Royal Institute of Technology, Stockholm, 2012. (External link, fulltext:print).
  162. Computerized support of personal and group skills for sustainability. Iordanis Kavathatzopoulos and Mikael Laaksoharju. International Conference on new technologies, education for sustainable development and critical pedagogy, 2012. (External link).
  163. ICT as a horsefly. Iordanis Kavathatzopoulos. In Critique, Democracy and Philosophy in 21st Century Information Society: Towards Critical Theories of Social Media, pp 38-38, 2012. (External link).
  164. Training and supporting education in sustainability by the use of an ICT tool. Iordanis Kavathatzopoulos and Mikael Laaksoharju. In New technologies, education for sustainable development and critical pedagogy, pp 225-231, ICTeESD, University of Crete, Rethymnon, Greece, 2012.
  165. Low Overhead Instruction-Cache Modeling Using Instruction Reuse Profiles. Muneeb Khan, Andreas Sembrant, and Erik Hagersten. In International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD'12), Computer Architecture and High Performance Computing, pp 260-269, IEEE Computer Society, 2012. (DOI).
  166. Typed PSI workbench. Amin Khorsandi. 2012. (software).
  167. An adaptive pseudospectral method for wave packet dynamics. Emil Kieri, Sverker Holmgren, and Hans O. Karlsson. In Journal of Chemical Physics, volume 137, pp 044111:1-12, 2012. (DOI, fulltext:print).
  168. Report on the Model Checking Contest at Petri Nets 2011. Fabrice Kordon, Alban Linard, Didier Buchs, Maximilien Colange, Sami Evangelista, Kai Lampka, Niels Lohmann, Emmanuel Paviot-Adet, Yann Thierry-Mieg, and Harro Wimmel. In Transactions on Petri Nets and Other Models of Concurrency: VI, volume 7400 of Lecture Notes in Computer Science, pp 169-196, Springer Berlin/Heidelberg, 2012. (DOI, fulltext:postprint).
  169. A time–space adaptive method for the Schrödinger equation. Katharina Kormann. Technical report / Department of Information Technology, Uppsala University nr 2012-023, 2012. (External link).
  170. An RBF–Galerkin approach to the time-dependent Schrödinger equation. Katharina Kormann and Elisabeth Larsson. Technical report / Department of Information Technology, Uppsala University nr 2012-024, 2012. (External link).
  171. Derivation of strictly stable high order difference approximations for variable-coefficient PDE. Katharina Kormann, Martin Kronbichler, and Bernhard Müller. In Journal of Scientific Computing, volume 50, pp 167-197, 2012. (DOI).
  172. Efficient and Reliable Simulation of Quantum Molecular Dynamics. Katharina Kormann. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 970, Acta Universitatis Upsaliensis, Uppsala, 2012. (fulltext).
  173. A generic interface for parallel cell-based finite element operator application. Martin Kronbichler and Katharina Kormann. In Computers & Fluids, volume 63, pp 135-147, 2012. (DOI).
  174. High accuracy mantle convection simulation through modern numerical methods. Martin Kronbichler, Timo Heister, and Wolfgang Bangerth. In Geophysical Journal International, volume 191, pp 12-29, 2012. (DOI).
  175. A Hybrid Approach to Cyber-Physical Systems Verification. Pratyush Kumar, Dip Goswami, Samarjit Chakraborty, Anuradha Annaswamy, Kai Lampka, and Lothar Thiele. In Proc. 49th Design Automation Conference, pp 688-696, Association for Computing Machinery (ACM), 2012. (fulltext:postprint).
  176. Segmentation of virus particle candidates in transmission electron microscopy images. Gustaf Kylberg, Mats Uppström, Kjell-Olof Hedlund, Gunilla Borgefors, and Ida-Maria Sintorn. In Journal of Microscopy, volume 245, number 2, pp 140-147, Blackwell Publishing, 2012. (DOI).
  177. Learning histopathological patterns. Andreas Kårsnäs, Anders L. Dahl, and Rasmus Larsen. In Journal of Pathology Informatics, volume 2, p 12, 2012. (DOI).
  178. The Vectorial Minimum Barrier Distance. Andreas Kårsnäs, Robin Strand, and Punam K. Saha. In International Conference on Pattern Recognition, pp 792-795, 2012. (External link).
  179. In Support of Democratic Dialogue. Mikael Laaksoharju. Critique, Democracy and Philosophy in 21st Century Information Society. Towards Critical Theories of Social Media. The Fourth ICTs and Society-Conference.Uppsala University. May 2nd-4th, 2012, 2012.
  180. Tools for ethical and sustainable IT systems. Mikael Laaksoharju and Iordanis Kavathatzopoulos. In Creating and applying socially, ethically and professionally acceptable ICT systems: Current challenges and what is next?, pp 4-5, 2012. (External link).
  181. Stable computation of differentiation matrices and scattered node stencils based on Gaussian radial basis functions. Elisabeth Larsson, Erik Lehto, Alfa Heryudono, and Bengt Fornberg. Technical report / Department of Information Technology, Uppsala University nr 2012-020, 2012. (External link).
  182. High Order Local Radial Basis Function Methods for Atmospheric Flow Simulations. Erik Lehto. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 951, Acta Universitatis Upsaliensis, Uppsala, 2012. (fulltext).
  183. Evaluation of the Uppsala University ROLE Prototype. Thomas Lind and Mikael Laaksoharju. Department of Information Technology Division of Visual Information and Interaction Uppsala University,, 2012. (fulltext).
  184. Coverage segmentation based on linear unmixing and minimization of perimeter and boundary thickness. Joakim Lindblad and Natasa Sladoje. In Pattern Recognition Letters, volume 33, number 6, pp 728-738, 2012. (DOI).
  185. Comparison of Restoration Quality on Square and Hexagonal Grids using Normalized Convolution. Elisabeth Linner and Robin Strand. In Proceedings of the 21st International Conference on Pattern Recognition (ICPR), 2012.
  186. Aliasing Properties of Voxels in Three-Dimensional Sampling Lattices. Elisabeth Linnér and Robin Strand. In Large Scale Scientific Computing, volume 7116 of Lecture Notes in Computer Science, pp 507-514, 2012. (DOI).
  187. Comparison of restoration quality on square and hexagonal grids using normalized convolution. Elisabeth Linnér and Robin Strand. In Proc. 21st International Conference on Pattern Recognition, pp 3046-3049, 2012.
  188. Detection of Line Features in Digital Images of Building Structures. Fei Liu and Stefan Seipel. In Proceedings of IADIS International Conference Computer Graphics, Visualization, Computer Vision and Image Processing 2012 (CGVCVIP 2012), pp 163-167, 2012.
  189. Identifying all individuals in a honeybee hive: progress towards mapping all social interactions. Cris Luengo Hendriks, Ziquan Yu, Antoine Lecocq, Teatske Bakker, Barbara Locke, and Olle Terenius. In Visual observation and analysis of animal and insect behavior, pp 5-8, 2012. (fulltext:postprint).
  190. A map based estimator for inverse complex covariance matricies. Magnus Lundberg Nordenvaad and Lennart Svensson. In 2012 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP), pp 3369-3372, 2012. (DOI).
  191. Broadband synchronization of underwater acoustic communication signals using superimposed pilots. Magnus Lundberg Nordenvaad, Jaehak Chung, and Seongil Kim. In OCEANS, 2012 - YEOSU, OCEANS-IEEE, 2012.
  192. The big picture of UX is missing in Scrum projects. Marta Kristín Lárusdóttir, Åsa Cajander, and Jan Gulliksen. In Interplay between User Experience and Software Development: I-UxSED 2012, volume 922 of CEUR Workshop Proceedings, pp 43-48, RWTH Aachen University, 2012. (Fulltext).
  193. Det är pedagoger som bryr sig om vårt barn: En studie av påverkande faktorer vid föräldrars val av förskola. Anette Löfström. 2012. (fulltext).
  194. Using cultural analysis as a tool to increase quality in organisational ergonomics. Anette Löfström and Lars Oestreicher. Ergonomic for Sustainability and Growth, 2012. (External link).
  195. What is cross-cultural?. Anette Löfström. In Advances in Design for Cross-Cultural Activities: Part 2, pp 408-416, 2012.
  196. Seasonal Affective Disorder Monitoring System. Negar Makvandian and Edith Ngai. 8th Swedish National Computer Networking Workshop (SNCNW), Stockholm, Sweden, 2012.
  197. Seeded Segmentation Based on Object Homogeneity. Filip Malmberg, Robin Strand, Richard Nordenskjöld, and Joel Kullberg. In Proceedings of the 21st International Conference on Pattern Recognition (ICPR), pp 21-24, 2012. (External link, External link).
  198. Smart Paint: A New Interactive Segmentation Method\\ Applied to MR Prostate Segmentation. Filip Malmberg, Robin Strand, Joel Kullberg, Richard Nordenskjöld, and Ewert Bengtsson. In Prostate MR Image Segmentation Grand Challenge (PROMISE'12), a MICCAI 2012 workshop, 2012. (External link).
  199. A glimpse of energy-efficient location-triggered mobile application design and implementation in data collection scenarios. Yemao Man, Edith C.-H. Ngai, and Liu Yang. In Proc. 8th International Conference on Mobile Ad Hoc and Sensor Networks, pp 108-115, IEEE, Piscataway, NJ, 2012. (DOI).
  200. Towards an energy-efficient framework for location-triggered mobile application. Yemao Man and Yan Liu. In Australasian Telecommunication Networks and Applications Conference, ATNAC 2012, pp 1-6, 2012. (DOI).
  201. Combinatorial problem solving over relational databases: View synthesis through constraint-based local search. Toni Mancini, Pierre Flener, and Justin K. Pearson. In Proc. 27th ACM Symposium on Applied Computing, pp 80-87, ACM Press, New York, 2012. (DOI).
  202. Adaptive control of propofol-induced hypnosis in anesthesia using a minimally parameterized Wiener model. Margarida Martins da Silva and Torbjörn Wigren. In Proc. Reglermöte, 2012.
  203. Control of rocuronium-induced neuromuscular blockade via online identification of a two-parameters Wiener model. Margarida Martins da Silva, Rui Rabiço, Teresa Mendonça, and Torbjörn Wigren. In , volume 45:16 of IFAC-PapersOnLine, pp 571-576, 2012. (DOI).
  204. Exactly linearizing adaptive control of propofol and remifentanil using a reduced Wiener model for the depth of anesthesia. Margarida Martins da Silva, Torbjörn Wigren, and Teresa Mendonça. In Proc. 51st Conference on Decision and Control, pp 368-373, IEEE, Piscataway, NJ, 2012. (DOI).
  205. Nonlinear identification of a minimal neuromuscular blockade model in anesthesia. Margarida Martins da Silva, Torbjörn Wigren, and Teresa Mendonça. In IEEE Transactions on Control Systems Technology, volume 20, number 1, pp 181-188, 2012. (DOI).
  206. System identification and control for general anesthesia based on parsimonious Wiener models. Margarida Martins da Silva. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2012-007, Uppsala University, 2012. (fulltext).
  207. Summation by parts operators for finite difference approximations of second-derivatives with variable coefficients. Ken Mattsson. In Journal of Scientific Computing, volume 51, pp 650-682, 2012. (DOI).
  208. Estimation of input impulses by means of continuous finite memory observers. Per Mattsson and Alexander Medvedev. In Proc. American Control Conference: ACC 2012, pp 6769-6774, American Automatic Control Council, 2012. (DOI).
  209. Student reflections on collaborative technology in a globally distributed student project. Roger McDermott, Mats Daniels, Åsa Cajander, Mats Cullhed, Tony Clear, and Cary Laxer. In Proc. 42nd ASEE/IEEE Frontiers in Education Conference, pp 365-370, IEEE, Piscataway, NJ, 2012. (DOI).
  210. Mining Conversations of Geographically Changing Users. Liam McNamara and Christian Rohner. In Proceedings of the World Wide Web 2012 Workshop on Social Web for Disaster (SWDM2012), Lion, 2012.
  211. On Resilience in Opportunistic Networks. Maria Mehrparvar, Fredrik Bjurefors, Christian Rohner, and Paul Smith. In 8th Swedish National Computer Networking Workshop SNCNW 2012, 2012.
  212. Comparing different identification approaches for the depth of anesthesia using BIS measurements. Teresa Mendonça, Hugo Alonso, Margarida Martins da Silva, Simao Esteves, and Manuel Seabra. In Proc. 16th IFAC Symposium on System Identification, pp 781-785, 2012.
  213. Demonstrating Learning of Register Automata. Maik Merten, Falk Howar, Bernhard Steffen, Sofia Cassel, and Bengt Jonsson. In Tools and Algorithms for the Construction and Analysis of Systems - 18th International Conference,, volume 7214 of Lecture Notes in Computer Science, pp 466-471, Springer Berlin/Heidelberg, Berlin, 2012. (DOI, External link).
  214. A non-destructive X-ray microtomography approach for measuring fibre length in short-fibre composites. Arttu Miettinen, Cris L. Luengo Hendriks, Gary Chinga-Carrasco, E. Kristofer Gamstedt, and Markku Kataja. In Composites Science And Technology, volume 72, number 15, pp 1901-1908, 2012. (DOI).
  215. Towards solver-independent propagators. Jean-Noël Monette, Pierre Flener, and Justin Pearson. In Principles and Practice of Constraint Programming: CP 2012, volume 7514 of Lecture Notes in Computer Science, pp 544-560, Springer Berlin/Heidelberg, 2012. (DOI, fulltext:postprint).
  216. Automated segmentation of free-lying cell nuclei in Pap smears for malignancy-associated change analysis. R. Moshavegh, B. E. Bejnordi, A. Mehnert, K. Sujathan, Patrik Malm, and Ewert Bengtsson. In Proceedings of the Annual International Conference of the IEEE Engineering in Medicine and Biology Society, EMBS, Proceedings of the Annual International Conference of the IEEE Engineering in Medicine and Biology Society, EMBS, pp 5372-5375, 2012. (DOI).
  217. Automated segmentation of free-lying cell nuclei in Pap smears for malignancy-associated change analysis. R. Moshavegh, B. E. Bejnordi, A. Mehnert, K. Sujathan, P. Malm, and E. Bengtsson. In Engineering in Medicine and Biology Society (EMBC), 2012 Annual International Conference of the IEEE, pp 5372-5375, 2012. (DOI).
  218. On covariance matching for multiple input multiple output errors-in-variables systems. Magnus Mossberg and Torsten Söderström. In Proc. 16th IFAC Symposium on System Identification, pp 1371-1376, International Federation of Automatic Control, 2012.
  219. Breakdown of methods for phasing and imputation in the presence of double genotype sharing. Carl Nettelblad. Technical report / Department of Information Technology, Uppsala University nr 2012-027, 2012. (External link).
  220. Coherent estimates of genetic effects with missing information. Carl Nettelblad, Örjan Carlborg, Ania Pino-Querido, and José M. Álvarez-Castro. In Open Journal of Genetics, volume 2, pp 31-38, 2012. (DOI, Fulltext).
  221. Inferring haplotypes and parental genotypes in larger full sib-ships and other pedigrees with missing or erroneous genotype data. Carl Nettelblad. Technical report / Department of Information Technology, Uppsala University nr 2012-026, 2012. (External link).
  222. Inferring haplotypes and parental genotypes in larger full sib-ships and other pedigrees with missing or erroneous genotype data. Carl Nettelblad. In BMC Genetics, volume 13, pp 85:1-13, 2012. (DOI, fulltext:print).
  223. Two Optimization Problems in Genetics: Multi-dimensional QTL Analysis and Haplotype Inference. Carl Nettelblad. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 973, Acta Universitatis Upsaliensis, Uppsala, 2012. (fulltext).
  224. Context-aware sensor data dissemination for mobile users in remote areas. Edith C.-H. Ngai, Mani B. Srivastava, and Jiangchuan Liu. In Proc. 31st International Conference on Computer Communications: Mini-Conference, pp 2711-2715, IEEE, Piscataway, NJ, 2012. (DOI).
  225. Quality-of-Information aware data collection for mobile sensor networks. Edith C.-H. Ngai and Per Gunningberg. In Proc. 10th International Conference on Pervasive Computing and Communications Workshops, pp 38-43, IEEE Communications Society, 2012. (DOI).
  226. Performance and stability of the Chelonia storage system. Jon Kerr Nilsen, Salman Toor, Zsombor Nagy, Bjarte Mohn, and Alex Read. In Proc. International Symposium on Grids and Clouds 2012, volume 153 of Proceedings of Science, pp 009:1-14, SISSA, Trieste, Italy, 2012.
  227. A Novel Algorithm for Computing Riemannian Geodesic Distance in Rectangular 2D Grids. Ola Nilsson, Martin Reimers, Ken Museth, and Anders Brun. In Advances in Visual Computing: 8th International Symposium, ISVC 2012, Rethymnon, Crete, Greece, July 16-18, 2012, Revised Selected Papers, Part II, volume 7432 of Springer Lecture Notes in Computer Science, pp 265-274, 2012.
  228. Stability at nonconforming grid interfaces for a high order discretization of the Schrödinger equation. Anna Nissen, Gunilla Kreiss, and Margot Gerritsen. In Journal of Scientific Computing, volume 53, pp 528-551, 2012. (DOI).
  229. Energy decay of vortices in viscous fluids: an applied mathematics view. Jan Nordström and Björn Lönn. In Journal of Fluid Mechanics, volume 709, pp 593-609, 2012. (DOI).
  230. Weak and strong wall boundary procedures and convergence to steady-state of the Navier-Stokes equations. Jan Nordström, Sofia Eriksson, and Peter Eliasson. In Journal of Computational Physics, volume 231, pp 4867-4884, 2012. (DOI).
  231. A cooperative decentralized PI control strategy: discrete-time analysis and nonlinear feedback. Johannes Nygren and Kristiaan Pelckmans. In Proc. 3rd IFAC Workshop on Distributed Estimation and Control in Networked Systems, pp 103-108, 2012. (fulltext:postprint).
  232. Progression i skrivfärdigheter hos studenter i datavetenskap. Aletta Nylén. In Proc. NU 2012: Gränslöst lärande, Chalmers University of Technology, Göteborg, Sweden, 2012. (Abstract).
  233. Towards User-Guided Quantitative Evaluation of Wrist Fractures in CT Images. Johan Nysjö, Albert Christersson, Filip Malmberg, Ida-Maria Sintorn, and Ingela Nyström. In Computer Vision and Graphics: ICCVG 2012, volume 7594 of Lecture Notes in Computer Science, pp 204-211, Springer Berlin/Heidelberg, 2012. (DOI).
  234. Physically Co-Located Haptic Interaction with 3D Displays. Pontus Olsson, Fredrik Nysjö, Stefan Seipel, and Ingrid Carlbom. In Proc. Haptics Symposium (HAPTICS), 2012 IEEE, pp 267-272, 2012. (DOI).
  235. Rendering stiffness with a prototype haptic glove actuated by an integrated piezoelectric motor. Pontus Olsson, Stefan Johansson, Fredrik Nysjö, and Ingrid Carlbom. In Haptics: Perception, Devices, Mobility, and Communication: Part I, volume 7282 of Lecture Notes in Computer Science, pp 361-372, Springer Berlin/Heidelberg, 2012. (DOI).
  236. 3D nano-CT: a new approach for imaging at cellular scale. Alexandra Pacureanu, Max Langer, Jean-Loïc Rose, Chantal Revol-Muller, and Francoise Peyrin. General Assembly of the French Society for Signal and Image Processing in Life Sciences (Invited talk), 2012.
  237. Imaging of the Bone Cell Network with Nanoscale Synchrotron Radiation Computed Tomography. Alexandra Pacureanu, Max Langer, Chantal Revol-Muller, and Francoise Peyrin. SSBA Symposium, 2012.
  238. Isotropic 3D imaging of biological specimens at micro and nano scale. Alexandra Pacureanu, Francoise Peyrin, Max Langer, Omer Ishaq, Amin Allalou, and Carolina Wählby. In , 2012.
  239. Making isotropic 3D imaging at microscopic scale accessible to every lab. Alexandra Pacureanu, Omer Ishaq, Amin Allalou, and Carolina Wählby. BioImage Informatics, 2012.
  240. Predicting the Cost of Lock Contention in Parallel Applications on Multicores using Analytic Modeling. Xiaoyue Pan, Jonatan Lindén, and Bengt Jonsson. In Proc. 5th Swedish Workshop on Multi-Core Computing, 2012.
  241. On preserving term sharing in the Erlang virtual machine. Nikolaos Papaspyrou and Konstantinos Sagonas. In Proc. 11th ACM SIGPLAN Workshop on Erlang, pp 11-20, ACM Press, New York, 2012. (DOI).
  242. Beyond cloud computing: why should society be allowed to say a word about it. Norberto Patrignani. In Creating and applying socially, ethically and professionally acceptable ICT systems: Current challenges and what is next?, p 4, 2012. (External link).
  243. Is the post-Turing ICT sustainable?. Norberto Patrignani and Iordanis Kavathatzopoulos. In ICT critical infrastructure and society: 10th IFIP TC 9 International Conference on Human Choice and Computers, HCC10 2012, Amsterdam, The Netherlands, September 27-28, 2012. Proceedings, volume 386 of IFIP Advances in Information and Communication Technology, pp 183-191, Springer, Amsterdam, 2012. (DOI, External link).
  244. Challenges in Developing Global Collaborative Project Courses. Arnold Pears, Neena Thota, Henrik Forsberg, Jonny Gunnarsson, Anders Hedström, and David Skoglund. In Proc. 1st Forum on International Collaborative Academic Programs, BrownWalker Press, 2012.
  245. Harnessing theory in the service of engineering education research. Arnold Pears, Neena Thota, Päivi Kinnunen, and Anders Berglund. In Proc. 42nd ASEE/IEEE Frontiers in Education Conference, pp 391-395, IEEE, Piscataway, NJ, 2012. (DOI).
  246. Hur ser Teknisk-naturvetenskapliga fakultetens lärare på undervisning och lärande. Arnold Pears, Staffan Andersson, and Maja Elmgren. In Universitetspedagogisk utveckling och kvalitet - i praktiken!, pp 21-44, 2012.
  247. Investigating Swedish Teacher's Approaches to Their Teaching Practice. Arnold Pears and Judy Sheard. Annual Conference of the American Society for Engineering Education, San Antonio, TX, 2012.
  248. Teachers' conceptions of teaching practice. Arnold Pears, Maja Elmgren, and Staffan Andersson. In Improving Student Learning through Research and Scholarship (ISL 2012), Lund University, Sweden, 2012. (Abstract).
  249. On the Convergence Analysis of the MINLIP Estimator. Kristiaan Pelckmans, Liang Dai, and Er-Wei Bai. In Proceedings of the 16th IFAC Symposium on System Identification, volume Vol. 16, Part 1 of System Identification, pp 482-487, 2012. (DOI).
  250. Students' experiences and attitudes towards learning Computer Science. Anne-Kathrin Peters and Arnold Pears. In Proc. 42nd ASEE/IEEE Frontiers in Education Conference, pp 88-93, IEEE, Piscataway, NJ, 2012. (DOI).
  251. Finite element discretization of multiscale elliptic problems. Daniel Peterseim and Axel Målqvist. In Advanced Computational Engineering, volume 9 of Oberwolfach Reports, pp 516-518, EMS Publishing House, Zürich, Switzerland, 2012. (DOI).
  252. A Roe variable based chaos method for the Euler equations under uncertainty. Per Pettersson, Gianluca Iaccarino, and Jan Nordström. Technical report / Department of Information Technology, Uppsala University nr 2012-021, 2012. (External link).
  253. A stochastic Galerkin method for the Euler equations with Roe variable transformation. Per Pettersson, Gianluca Iaccarino, and Jan Nordström. Technical report / Department of Information Technology, Uppsala University nr 2012-033, 2012. (External link).
  254. An intrusive hybrid method for discontinuous two-phase flow under uncertainty. Per Pettersson, Gianluca Iaccarino, and Jan Nordström. Technical report / Department of Information Technology, Uppsala University nr 2012-035, 2012. (External link).
  255. On stability and monotonicity requirements of discretized stochastic conservation laws with random viscosity. Per Pettersson, Alireza Doostan, and Jan Nordström. Technical report / Department of Information Technology, Uppsala University nr 2012-028, 2012. (External link).
  256. Synchrotron radiation CT from the micro to nanoscale for the investigation of bone tissue. Francoise Peyrin, Pei Dong, Alexandra Pacureanu, Maria Zuluaga, Cecile Olivier, Max Langer, and Peter Cloetens. In Proceedings of SPIE: The International Society for Optical Engineering, volume 8506 of Proceedings of SPIE - The International Society for Optical Engineering, p 85060L, 2012. (DOI).
  257. Proof Exchange for Theorem Proving: PxTP 2012. David Pichardie and Tjark Weber (eds). Volume 878 of CEUR Workshop Proceedings, 2012. (Proceedings).
  258. Democracy has arrived!: A model for ethical decision making of players in MMOs. Patrick Prax and Mikael Laaksoharju. Meaningful Play 2012, 2012.
  259. Design of Embedded Filters for Inner-Loop Power Control in Wireless CDMA Communication Systems. Daniel E. Quevedo and Torbjörn Wigren. In Asian journal of control, volume 14, number 4, pp 891-900, 2012. (DOI).
  260. Extending psi-calculi and their formal proofs. Palle Raabjerg. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2012-008, Uppsala University, 2012. (fulltext).
  261. Non-Random mtDNA Segregation Patterns Indicate a Metastable Heteroplasmic Segregation Unit in m.3243A&gt;G Cybrid Cells. A. K. Raap, R. S. Jahangir Tafrechi, F. M. van de Rijke, A. Pyle, Carolina Wählby, K. Szuhai, R. B. G. Ravelli, R. F. M. de Coo, H. K. Rajasimha, Mats Nilsson, P. F. Chinnery, D. C. Samuels, and G. M. C. Janssen. In PLoS ONE, volume 7, number 12, p e52080, 2012. (DOI, fulltext:print).
  262. Experimental Challenges in Wireless Sensor Networks — Environment, Mobility, and Interference. Olof Rensfelt. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 965, Acta Universitatis Upsaliensis, Uppsala, 2012. (fulltext).
  263. SoNIC: Classifying and Surviving Interference in 802.15.4-based Sensor Networks. Olof Rensfelt, Frederik Hermans, Thiemo Voigt, Edith Ngai, Lars-Åke Nordén, and Per Gunningberg. Technical report / Department of Information Technology, Uppsala University nr 2012-022, 2012. (External link).
  264. On location privacy and quality of information in participatory sensing. Ioana Rodhe, Christian Rohner, and Edith C.-H. Ngai. In Proc. 8th ACM Symposium on QoS and Security for Wireless and Mobile Networks, pp 55-62, ACM Press, New York, 2012. (DOI).
  265. Secure and Privacy-Aware Data Collection in Wireless Sensor Networks. Ioana Rodhe. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 968, Acta Universitatis Upsaliensis, Uppsala, 2012. (fulltext).
  266. Making the Most of Your Contacts: Transfer Ordering in Data-Centric Opportunistic Networks. Christian Rohner, Fredrik Bjurefors, Per Gunningberg, Liam McNamara, and Erik Nordström. In Proceedings of the 2012 ACM MobiOpp Workshop on Mobile Opportunistic Networks, ACM Press, Zürich, 2012.
  267. Complexity-effective multicore coherence. Alberto Ros and Stefanos Kaxiras. In Proc. 21st International Conference on Parallel Architectures and Compilation Techniques, pp 241-251, ACM Press, New York, 2012. (DOI).
  268. An on-line algorithm for anomaly detection in trajectory data. Olov Rosén and Alexander Medvedev. In Proc. American Control Conference: ACC 2012, pp 1117-1122, American Automatic Control Council, 2012. (DOI).
  269. Parallelization of the Kalman filter for banded systems on multicore computational platforms. Olov Rosén and Alexander Medvedev. In Proc. 51st Conference on Decision and Control, pp 2022-2027, IEEE, Piscataway, NJ, 2012. (DOI).
  270. Comment on "On the optimal symmetric purification scheme of the one-particle density matrix" [Chem. Phys. Lett. 511 (2011) 159–160]. Emanuel H. Rubensson. In Chemical Physics Letters, volume 527, pp 84-85, 2012. (DOI).
  271. Controlling errors in recursive Fermi–Dirac operator expansions with applications in electronic structure theory. Emanuel H. Rubensson. In SIAM Journal on Scientific Computing, volume 34, pp B1-B23, 2012. (DOI).
  272. Difficulties in applying pure Kohn–Sham density functional theory electronic structure methods to protein molecules. Elias Rudberg. In Journal of Physics: Condensed Matter, volume 24, pp 072202:1-7, 2012. (DOI).
  273. E-matching with free variables. Philipp Rümmer. In Logic for Programming, Artificial Intelligence, and Reasoning, volume 7180 of Lecture Notes in Computer Science, pp 359-374, Springer Berlin/Heidelberg, 2012. (DOI).
  274. Adaptive Parallelization of Queries to Data Providing Web Service Operations. Manivasakan Sabesan and Tore Risch. In Transactions on Large-Scale Data- and Knowledge-Centered Systems V, volume 7100 of Lecture Notes in Computer Science, pp 49-69, Springer, 2012. (DOI).
  275. ErLLVM: An LLVM backend for Erlang. Konstantinos Sagonas, Chris Stavrakakis, and Yiannis Tsiouris. In Proc. 11th ACM SIGPLAN Workshop on Erlang, pp 21-32, ACM Press, New York, 2012. (DOI).
  276. Efficient techniques for predicting cache sharing and throughput. Andreas Sandberg, David Black-Schaffer, and Erik Hagersten. In Proc. 21st International Conference on Parallel Architectures and Compilation Techniques, pp 305-314, ACM Press, New York, 2012. (DOI, fulltext:postprint).
  277. Threshold concepts and threshold skills in computing. Kate Sanders, Jonas Boustedt, Anna Eckerdal, Robert McCartney, Jan Erik Moström, Lynda Thomas, and Carol Zander. In Proc. 8th International Computing Education Research Conference, pp 23-30, ACM Press, New York, 2012. (DOI).
  278. On moving average parameter estimation. Niclas Sandgren, Peter Stoica, and Prabhu Babu. 20th European Signal Processing Conference (EUSIPCO), 27-31 Aug, 2012, Bucharest, ROmania, 2012. (External link).
  279. Topic 14: Mobile and Ubiquitous Computing. Paolo Santi, Sotiris E. Nikoletseas, Cecilia Mascolo, and Thiemo Voigt. In Euro-Par, 2012.
  280. Computer Science at School / CS Teacher Education: Koli working-group report on CS at school. Carsten Schulte, Malte Hornung, Sue Sentance, Valentina Dagiene, Tatjana Jevsikova, Neena Thota, Anna Eckerdal, and Anne-Kathrin Peters. In Proc. 12th International Conference on Computing Education Research: Koli Calling, pp 29-38, ACM Press, New York, 2012. (DOI).
  281. Online evaluation of a changes detection algorithm for depth of anesthesia signals. Raquel Sebastiao, Margarida Martins da Silva, Rui Rabico, Joao Gama, and Teresa Mendonça. In Proc. 8th IFAC Symposium on Biological and Medical Systems, pp A-0076, 2012.
  282. Contributions to a decision support system based on depth of anesthesia signals. Raquel Sebastião, Margarida Martins da Silva, João Gama, and Teresa Mendonça. In Proc. 25th International Symposium on Computer-Based Medical Systems, p 6, IEEE, Piscataway, NJ, 2012. (DOI).
  283. Solving combined geospatial tasks using 2D and 3D bar charts. Stefan Seipel and L. Carvalho. In Information Visualisation (IV), 2012 16th International Conference, Proceedings of the International Conference on Information Visualisation, pp 157-163, 2012. (DOI).
  284. Automatic measurement of compression wood cell attributes in fluorescence microscopy images. Bettina Selig, Cris L. Luengo Hendriks, Stig Bardage, Geoffrey Daniel, and Gunilla Borgefors. In Journal of Microscopy, volume 246, number 3, pp 298-308, 2012. (DOI).
  285. Stochastic watershed – an analysis. Bettina Selig and Cris L. Luengo Hendriks. In Proceedings of Swedish Society for Image Analysis, SSBA 2012, KTH Royal Institute of Technology, Stockholm, 2012.
  286. Efficient techniques for detecting and exploiting runtime phases. Andreas Sembrant. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2012-009, Uppsala University, 2012. (fulltext).
  287. Phase Behavior in Serial and Parallel Applications. Andreas Sembrant, David Black-Schaffer, and Erik Hagersten. In International Symposium on Workload Characterization (IISWC'12), IEEE Computer Society, 2012.
  288. Phase Guided Profiling for Fast Cache Modeling. Andreas Sembrant, David Black-Schaffer, and Erik Hagersten. In International Symposium on Code Generation and Optimization (CGO'12), pp 175-185, ACM Press, 2012. (DOI).
  289. Optimization of semi-automated cell tracking using application-expert feed-back. Martin Simonsson, Ahmet Tugrul Bayrak, and Carolina Wählby. In , 2012.
  290. Regional Zernike Moments for Texture Recognition. Ida-Maria Sintorn and Gustaf Kylberg. In Proceedings of the 21st International Conference on Pattern Recognition (ICPR), pp 1635-1638, 2012.
  291. Computational Design of Sequences With Good Correlation Properties. Mojtaba Soltanalian and Peter Stoica. In IEEE Transactions on Signal Processing, volume 60, number 5, pp 2180-2193, 2012. (DOI).
  292. Design of perfect phase-quantized sequences with low peak-to-average-power ratio. Mojtaba Soltanalian and Peter Stoica. In Proc. 20th European Signal Processing Conference, European Signal Processing Conference (EUSIPCO), pp 2576-2580, 2012.
  293. Logics and Algorithms for Verification of Concurrent Systems. Rafa? Somla. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 964, Acta Universitatis Upsaliensis, Uppsala, 2012. (fulltext).
  294. Power-Sleuth: A Tool for Investigating your Program's Power Behavior. Vasileios Spiliopoulos, Andreas Sembrant, and Stefanos Kaxiras. In International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems (MASCOTS'12), pp 241-250, 2012. (DOI).
  295. Hardness Results for Static Priority Real-Time Scheduling. Martin Stigge and Wang Yi. In Proceedings Of The 24th Euromicro Conference On Real-Time Systems (Ecrts 2012), Euromicro Workshop on Real-Time Systems-Proceedings, pp 189-198, 2012. (DOI, External link).
  296. Concurrent view modeling for software risk management at early development stage. Anca-Juliana Stoica and Shareeful Islam. In Proc. 1st International Conference on Theory and Practice in Modern Computing, pp 35-44, IADIS Press, 2012.
  297. Educational methods for software and systems development. Anca-Juliana Stoica and Shareeful Islam. In Proc. 15th International Conference on Interactive Collaborative Learning, p 8, IEEE, Piscataway, NJ, 2012. (DOI).
  298. On the Exponentially Embedded Family (EEF) Rule for Model Order Selection. Peter Stoica and Prabhu Babu. In IEEE Signal Processing Letters, volume 19, number 9, pp 551-554, 2012. (DOI).
  299. On the LIMES approach to spectral analysis of irregularly sampled data. Peter Stoica and Prabhu Babu. In Electronics Letters, volume 48, number 4, pp 218-219, 2012. (DOI).
  300. On the Proper Forms of BIC for Model Order Selection. Peter Stoica and Prabhu Babu. In IEEE Transactions on Signal Processing, volume 60, number 9, pp 4956-4961, 2012. (DOI).
  301. SPICE and LIKES: Two hyperparameter-free methods for sparse-parameter estimation. Peter Stoica and Prabhu Babu. In Signal Processing, volume 92, number 7, pp 1580-1590, 2012. (DOI).
  302. Sparse estimation of spectral lines: Grid selection problems and their solutions. Peter Stoica and Prabhu Babu. In IEEE Transactions on Signal Processing, volume 60, number 2, pp 962-967, 2012. (DOI).
  303. Optimization of the Receive Filter and Transmit Sequence for Active Sensing. Petre Stoica, Hao He, and Jian Li. In IEEE Transactions on Signal Processing, volume 60, number 4, pp 1730-1740, 2012. (DOI).
  304. Distance transform computation for digital distance functions. Robin Strand and Nicolas Normand. In Theoretical Computer Science, volume 448, pp 80-93, 2012. (DOI).
  305. Contingency plans for air traffic flow and capacity management using constraint programming. Karl Sundequist Blomdahl, Pierre Flener, and Justin Pearson. In Journal of Aerospace Operations, volume 1, pp 249-266, 2012. (DOI).
  306. Rigid registration for MET image exploration using CUDA. Lennart Svensson, Johan Nysjö, Anders Brun, Ingela Nyström, and Ida-Maria Sintorn. In Proceedings SSBA 2012, 2012.
  307. Rigid template registration in MET images using CUDA. Lennart Svensson, Johan Nysjö, Anders Brun, Ingela Nyström, and Ingela Sintorn. In VISAPP 2012: Proceedings of the International Conference on Computer Vision Theory and Applications, pp 418-422, SciTePress, Rome, 2012.
  308. A generalised instrumental variable estimator for multivariable errors-in-variables identification problems. Torsten Söderström. In International Journal of Control, volume 85, number 3, pp 287-303, 2012. (DOI).
  309. Accuracy analysis of a covariance matching method for continuous-time errors-in-variables system identification. Torsten Söderström, Yasir Irshad, Magnus Mossberg, and Wei Xing Zheng. In Proc. 16th IFAC Symposium on System Identification, pp 1383-1388, International Federation of Automatic Control, 2012.
  310. Estimation of material functions using system identification techniques. Torsten Söderström and Agnes Rensfelt. In Control Engineering Practice, volume 20, number 10, pp 972-990, 2012. (DOI).
  311. How accurate can instrumental variable models become?. Torsten Söderström. In System Identification, Environmental Modelling, and Control System Design, pp 3-25, Springer London, 2012. (DOI).
  312. Model order determination based on rank properties of almost singular covariance matrices. Torsten Söderström. In Proc. 16th IFAC Symposium on System Identification, pp 1653-1658, International Federation of Automatic Control, 2012.
  313. On model order determination for errors-in-variables estimation. Torsten Söderström and Liuping Wang. In Proc. 16th IFAC Symposium on System Identification, pp 1347-1352, International Federation of Automatic Control, 2012.
  314. System identification for the errors-in-variables problem. Torsten Söderström. In Transactions of the Institute of Measurement and Control, volume 34, number 7, pp 780-792, 2012. (DOI).
  315. Convergence analysis and experiments using an RPEM based on nonlinear ODEs and midpoint integration. Soma Tayamon, Torbjörn Wigren, and Johan Schoukens. In Proc. 51st Conference on Decision and Control, pp 2858-2865, IEEE, Piscatway, NJ, 2012. (DOI).
  316. Convergence analysis of a recursive prediction error method. Soma Tayamon and Torbjörn Wigren. In , volume 45:16 of IFAC-PapersOnLine, pp 1496-1501, 2012. (DOI).
  317. Nonlinear system identification with applications to selective catalytic reduction systems. Soma Tayamon. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2012-004, Uppsala University, 2012. (fulltext).
  318. On the use of underspecified data-type semantics for type safety in low-level code. Hendrik Tews, Marcus Völp, and Tjark Weber. In Proc. 7th Conference on Systems Software Verification: SSV 2012, volume 102 of Electronic Proceedings in Theoretical Computer Science, pp 73-87, 2012. (DOI).
  319. At the crossroad of computer science and intercultural interactions: A framework for analysis and interpretation. Neena Thota and Anders Berglund. In EARLI SIG 9 Conference on Phenomenography and Variation Theory, Jönköping University, Sweden, 2012. (fulltext:preprint).
  320. Illustration of paradigm pluralism in computing education research. Neena Thota, Anders Berglund, and Tony Clear. In Australian Computer Science Communications, volume 34, number 2, pp 103-112, 2012. (External link, fulltext:print).
  321. Leveraging multicore processors for scientific computing. Martin Tillenius. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2012-006, Uppsala University, 2012. (fulltext).
  322. A ubiquitous publish/subscribe platform for wireless sensor networks with mobile mules. Xiaoyu Tong and Edith C.-H. Ngai. In Proc. 8th International Conference on Distributed Computing in Sensor Systems, pp 99-108, IEEE Computer Society, 2012. (DOI).
  323. Investigating an open source cloud storage infrastructure for CERN-specific data analysis. Salman Toor, Rainer Töebbicke, Maitane Zotes Resines, and Sverker Holmgren. In Proc. 7th International Conference on Networking, Architecture, and Storage, pp 84-88, IEEE Computer Society, Los Alamitos, CA, 2012. (DOI).
  324. Managing Applications and Data in Distributed Computing Infrastructures. Salman Zubair Toor. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 940, Acta Universitatis Upsaliensis, Uppsala, 2012. (fulltext).
  325. An analytical energy consumption model for packet transfer over wireless links. Javad Vazifehdan, Venkatesha Prasad, Martin Jacobsson, and Ignas Niemegeers. In IEEE Communications Letters, volume 16, number 1, pp 30-33, 2012. (DOI).
  326. On the Performance of Optimal Input Signals for Frequency Response Estimation. Bo Wahlberg, Hakan Hjalmarsson, and Peter Stoica. In IEEE Transactions on Automatic Control, volume 57, number 3, pp 766-771, 2012. (DOI).
  327. Graph Based Line Segmentation on Cluttered Handwritten Manuscripts. Fredrik Wahlberg and Anders Brun. In Proceedings of the 21st International Conference on Pattern Recognition, 2012, pp 1570-1573, IEEE, 2012. (fulltext:postprint).
  328. Word Spotting in Pre-Modern Manuscripts using Dynamic Time Warping. Fredrik Wahlberg, Mats Dahllöf, Lasse Mårtensson, and Anders Brun. In Proceedings of SSBA, 2012, 2012.
  329. Stochastic reaction–diffusion processes with embedded lower dimensional structures. Siyang Wang, Johan Elf, Stefan Hellander, and Per Lötstedt. Technical report / Department of Information Technology, Uppsala University nr 2012-034, 2012. (External link).
  330. Visualising individual sequence-specific protein-DNA interactions in situ. Irene Weibrecht, Milan Gavrilovic, Lena Lindbom, Ulf Landegren, Carolina Wählby, and Ola Söderberg. In New Biotechnology, volume 29, number 5, pp 589-598, 2012. (DOI).
  331. A Long-Term Study on the Effects of Meteorological Conditions on 802.15.4 Links. Hjalmar Wennerström, Frederik Hermans, Olof Rensfelt, Christian Rohner, and Lars-Åke Nordén. In 8th Swedish National Computer Networking Workshop, Stockholm, June 7-8, 2012.
  332. Enhanced WCDMA fingerprinting localization using OTDOA positioning measurements from LTE. Torbjörn Wigren, Ylva Jading, Iana Siomina, Ari Kangas, and Claes Tidestav. In Proc. 76th Vehicular Technology Conference, IEEE, Piscataway, NJ, 2012. (DOI).
  333. Fingerprinting localization using RTT and TA. Torbjörn Wigren. In IET Communications, volume 2012, number 6, pp 419-427, 2012. (DOI).
  334. LTE fingerprinting localization with altitude. Torbjörn Wigren. In Proc. 76th Vehicular Technology Conference, IEEE, Piscataway, NJ, 2012. (DOI).
  335. WCDMA uplink load estimation with generalized rake receivers. Torbjörn Wigren. In IEEE Transactions on Vehicular Technology, volume 61, number 5, pp 2394-2400, 2012. (DOI).
  336. Optimal prior knowledge-based direction of arrival estimation. P. Wirfält, G. Bouleux, M. Jansson, and Peter Stoica. In IET Signal Processing, volume 6, number 8, pp 731-742, 2012. (DOI).
  337. Conformance testing for cyber-physical systems. Matthias Woehrle, Kai Lampka, and Lothar Thiele. In ACM Transactions on Embedded Computing Systems, volume 11, number 4, pp 84:1-23, Association for Computing Machinery (ACM), New York, 2012. (DOI).
  338. Structured Aliasing. Tobias Wrigstad. In ECOOP 2012 – Object-Oriented Programming, volume 7313 of Lecture Notes in Computer Science, pp 232-232, Springer Berlin/Heidelberg, 2012. (DOI).
  339. An image analysis toolbox for high-throughput <em>C. elegans </em>assays. Carolina Wählby, Lee Kamentsky, Zihan H Liu, Tammy Riklin-Raviv, Annie L Conery, Eyleen O'Rourke, Katherine Sokolnicki, Orane Visvikis, Vebjorn Ljosa, Javier E Irazoqui, Polina Golland, Gary Ruvkun, Frederick M Ausubel, and Anne E Carpenter. In Nature Methods, volume 9, number 7, pp 714-716, 2012. (DOI).
  340. High throughput phenotyping of model organisms. Carolina Wählby. In BioImage Informatics 2012, pp 45-45, Dresden, Germany, 2012.
  341. Load control for multi-stage interference cancellation. Gu Xinyu, Zhang Zhang, Stephen Grant, Torbjörn Wigren, Niklas Johansson, and Ari Kangas. In Proc. 23rd International Symposium on Personal, Indoor, and Mobile Radio Communications, pp 339-344, IEEE, Piscataway, NJ, 2012. (DOI).
  342. MIMO radar waveform design. Ming Xue, Jian Li, and Peter Stoica. In Waveform Design and Diversity for Advanced Radar Systems, IET Press, 2012.
  343. Sparse representations and sphere decoding for array signal processing. T. Yardibi, J. Li, Peter Stoica, and Cattafesta, L. N. , I I I. In Digital signal processing (Print), volume 22, number 2, pp 253-262, 2012. (DOI).
  344. Programming models based on data versioning for dependency-aware task-based parallelisation. Afshin Zafari, Martin Tillenius, and Elisabeth Larsson. In Proc. 15th International Conference on Computational Science and Engineering, pp 275-280, IEEE Computer Society, Los Alamitos, CA, 2012. (DOI).
  345. Spurious currents in finite element based level set methods for two-phase flow. Sara Zahedi, Martin Kronbichler, and Gunilla Kreiss. In International Journal for Numerical Methods in Fluids, volume 69, pp 1433-1456, 2012. (DOI).
  346. Multiple-model approach for identification and control of a Selective Catalytic Reduction system. Darine Zambrano, Soma Tayamon, and Bengt Carlsson. Reglermöte 2012, Uppsala, 2012.
  347. Self-Directed Learning: stories from industry. Carol Zander, Jonas Boustedt, Anna Eckerdal, Robert McCartney, Jan Erik Moström, Kate Sanders, and Lynda Thomas. In Proc. 12th International Conference on Computing Education Research: Koli Calling, pp 111-117, ACM Press, New York, 2012. (DOI).
  348. An investigation of link quality assessment for mobile multi-hop and multi-rate wireless networks. Jinglong Zhou, Martin Jacobsson, Ertan Onur, and Ignas Niemegeers. In Wireless personal communications, volume 65, number 2, pp 405-423, 2012. (DOI).
  349. Bifurcation phenomena in an impulsive model of non-basal testosterone regulation. Zhanybai T. Zhusubaliyev, Alexander N. Churilov, and Alexander Medvedev. In Chaos, volume 22, number 1, p 013121, 2012. (DOI).
  350. Energy efficient ammonium feedback control. Linda Åmand and Bengt Carlsson. In New Developments in IT &amp; Water, 2012.
  351. Optimal aeration control in a nitrifying activated sludge process. Linda Åmand and Bengt Carlsson. In Water Research, volume 46, number 7, pp 2101-2110, 2012. (DOI).
  352. Abstractions for scaling eScience applications to distributed computing environments: A StratUm integration case study in molecular systems biology. Per-Olov Östberg, Andreas Hellander, Brian Drawert, Erik Elmroth, Sverker Holmgren, and Linda Petzold. In Proc. 3rd International Conference on Bioinformatics Models, Methods and Algorithms, pp 290-294, SciTePress, Setúbal, Portugal, 2012. (DOI).
  353. Reducing complexity in management of eScience computations. Per-Olov Östberg, Andreas Hellander, Brian Drawert, Erik Elmroth, Sverker Holmgren, and Linda Petzold. In Proc. 12th International Symposium on Cluster, Cloud and Grid Computing, pp 845-852, IEEE Computer Society, Los Alamitos, CA, 2012. (DOI).
  354. Multiple Aggregate Entry Points for Ownership Types. Johan Östlund and Tobias Wrigstad. In ECOOP 2012 – Object-Oriented Programming, volume 7313 of Lecture Notes in Computer Science, pp 156-180, Springer Berlin/Heidelberg, 2012. (DOI).
  355. The Joelle Programming Language: Evolving Java Programs Along Two Axes of Parallel Eval. Johan Östlund, Stephan Brandauer, and Tobias Wrigstad. 2012 International Workshop on Languages for the Multi-core Era, 2012.

Updated  2013-01-03 23:32:27 by Kurt Otto.