Hoppa till huvudinnehållet
Institutionen för informationsteknologi

Publikationer 2012

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

Uppdaterad  2013-01-04 01:38:27 av Kurt Otto.