Publikationer 2013

1. All for the price of few: (Parameterized verification through view abstraction). Parosh Aziz Abdulla, Frédéric Haziza och Lukáš Holík. I Verification, Model Checking, and Abstract Interpretation, volym 7737 av Lecture Notes in Computer Science, pp 476-495, Springer Berlin/Heidelberg, 2013. (DOI, fulltext:postprint).
2. An Integrated Specification and Verification Technique for Highly Concurrent Data Structures. Parosh Aziz Abdulla, Frédéric Haziza, Lukas Holik, Bengt Jonsson och Ahmed Rezine. I Tools and Algorithms for the Construction and Analysis of Systems, 2013. (fulltext:postprint).
3. Analysis of message passing programs using SMT-solvers. Parosh Aziz Abdulla, Mohamed Faouzi Atig och Jonathan Cederberg. I Automated Technology for Verification and Analysis: ATVA 2013, volym 8172 av Lecture Notes in Computer Science, pp 272-286, Springer Berlin/Heidelberg, 2013. (DOI).
4. MEMORAX, a Precise and Sound Tool for Automatic 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 7795 av Lecture Notes in Computer Science, pp 530-536, Springer Berlin/Heidelberg, 2013. (DOI, fulltext:postprint).
5. Monotonic abstraction for programs with multiply-linked structures. Parosh Aziz Abdulla, Jonathan Cederberg och Tomás Vojnar. I International Journal of Foundations of Computer Science, volym 24, nummer 2, pp 187-210, 2013. (DOI, fulltext:postprint).
6. Priced timed Petri nets. Parosh Aziz Abdulla och Richard Mayr. I Logical Methods in Computer Science, volym 9, nummer 4, pp 10:1-51, 2013. (DOI).
7. Push-down automata with gap-order constraints. Parosh Aziz Abdulla, Mohamed Faouzi Atig, Giorgio Delzanno och Andreas Podelski. I Fundamentals of Software Engineering: FSEN 2013, volym 8161 av Lecture Notes in Computer Science, pp 199-216, Springer Berlin/Heidelberg, 2013. (DOI).
8. Solving parity games on integer vectors. Parosh Aziz Abdulla, Richard Mayr, Arnaud Sangnier och Jeremy Sproston. I CONCUR 2013 – Concurrency Theory, volym 8052 av Lecture Notes in Computer Science, pp 106-120, Springer Berlin/Heidelberg, 2013. (DOI).
9. Tools for software verification: Introduction to the special section from the seventeenth international conference on tools and algorithms for the construction and analysis of systems. Parosh Aziz Abdulla och K. Rustan M. Leino. I International Journal on Software Tools for Technology Transfer (STTT), volym 15, nummer 2, pp 85-88, 2013. (DOI).
10. Veri?cation of heap manipulating programs with ordered data by extended forest automata. Parosh Aziz Abdulla, Lukás Holík, Bengt Jonsson, Ondrej Lengál, Cong Quy Trinh och Tomás Vojnar. I Automated Technology for Verification and Analysis: ATVA 2013, volym 8172 av Lecture Notes in Computer Science, pp 224-239, Springer Berlin/Heidelberg, 2013. (DOI, fulltext:postprint).
11. Verification of Directed Acyclic Ad Hoc Networks. Parosh Aziz Abdulla, Mohamed Faouzi Atig och Othmane Rezine. I Formal Techniques for Distributed Systems: FORTE 2013, volym 7892 av Lecture Notes in Computer Science, pp 193-208, Springer Berlin/Heidelberg, 2013. (DOI, fulltext:postprint).
12. Verifying safety and liveness for the FlexTM hybrid transactional memory. Parosh Aziz Abdulla, Sandhya Dwarkadas, Ahmed Rezine, Arrvindh Shriraman och Zhu Yunyun. I , pp 785-790, Grenoble, France, 2013.
13. Geomemories - A Platform for Visualizing Historical, Environmental and Geospatial Changes of the Italian Landscape. Matteo Abrate, Clara Bacciu, Anders Hast, Andrea Marchetti, Salvatore Minutoli och Maurizio Tesconi. I ISPRS International Journal of Geo-Information. Special issue: Geospatial Monitoring and Modelling of Environmental Change, volym 2, nummer 2, pp 432-455, MDPI - Open Access Publishing, 2013. (DOI, Fulltext).
14. A numerical study of scaling relations for non-Newtonian thin-film flows with applications in ice sheet modelling. Josefin Ahlkrona, Nina Kirchner och Per Lötstedt. I Quarterly Journal of Mechanics and Applied Mathematics, volym 66, pp 417-435, 2013. (DOI).
15. Accuracy of the zeroth and second order shallow ice approximation: numerical and theoretical results. Josefin Ahlkrona, Nina Kirchner och Per Lötstedt. I Geoscientific Model Development Discussions, volym 6, pp 4281-4325, 2013. (DOI).
16. Accuracy of the zeroth- and second-order shallow-ice approximation: numerical and theoretical results. Josefin Ahlkrona, Nina Kirchner och Per Lötstedt. I Geoscientific Model Development, volym 6, pp 2135-2152, 2013. (DOI).
17. Atmospheric sound propagation over large-scale irregular terrain. Martin Almquist, Ilkka Karasalo och Ken Mattsson. Technical report / Department of Information Technology, Uppsala University nr 2013-018, 2013. (Extern länk).
18. Stable and accurate simulation of phenomena in relativistic quantum mechanics. Martin Almquist, Ken Mattsson och Tomas Edvinsson. I Proc. 11th International Conference on Mathematical and Numerical Aspects of Waves, pp 213-214, ENIT, Tunisia, 2013.
19. Bounds on the Lifetime of WSNs. Juan M. Alonso, Thiemo Voigt och Ambuj Varshney. I , 2013. (DOI).
20. Recognizing complexity: Visualization for skilled professionals in complex work situations. Arne W. Andersson, Anders Jansson, Bengt Sandblad och Simon Tschirner. I Building Bridges: HCI, Visualization, and Cognitive Ergonomics, Springer Berlin/Heidelberg, 2013. (fulltext:preprint).
21. Scientific analysis by queries in extended SPARQL over a scalable e-Science data store. Andrej Andrejev, Salman Toor, Andreas Hellander, Sverker Holmgren och Tore Risch. I Proc. 9th International Conference on e-Science, pp 98-106, IEEE Computer Society, Los Alamitos, CA, 2013. (DOI).
22. A theory for control-flow graph exploration. Stephan Arlt, Philipp Rümmer och Martin Schäf. I Automated Technology for Verification and Analysis: ATVA 2013, volym 8172 av Lecture Notes in Computer Science, pp 506-515, Springer Berlin/Heidelberg, 2013. (DOI).
23. Kleene Algebra. Alasdair Armstrong, Georg Struth och Tjark Weber. I Archive of Formal Proofs, 2013. (Extern länk).
24. Program Analysis and Verification Based on Kleene Algebra in Isabelle/HOL. Alasdair Armstrong, Georg Struth och Tjark Weber. I Interactive Theorem Proving: ITP 2013, volym 7998 av Lecture Notes in Computer Science, pp 197-212, Springer Berlin/Heidelberg, 2013. (DOI, fulltext:postprint).
25. On using Erlang for parallelization: Experience from parallelizing Dialyzer. Stavros Aronis och Konstantinos Sagonas. I Trends in Functional Programming, volym 7829 av Lecture Notes in Computer Science, pp 295-310, Springer Berlin/Heidelberg, 2013. (DOI).
26. ?????????????????(What is "gender equal society"?): ??????????????? ???????????????? (Think about our life-style together). Ryoko Asai. Sumida municipality (Tokyo metropolitan government), Tokyo, 2013. (Extern länk, summary).
27. Designing "Open Education": How does the ICT-based system function as a new medium of participation for sustainability?. Ryoko Asai. I The possibilities of ethical ICT, pp 33-36, University of Southern Denmark, Kolding, 2013.
28. ICT supported crisis communication and dialog. Ryoko Asai och Iordanis Kavathatzopoulos. I The possibilities of ethical ICT, pp 37-41, University of Southern Denmark, Kolding, 2013.
29. Research in Computer/Information Ethics: A Gender Gap Analysis and Consequences. Ryoko Asai. I Ambiguous Technologies: Philosophical Issues, Practical Solutions, Human Nature, Universidade Autonoma de Lisboa, Lisbon, 2013.
30. Social Influence on Cooperation and Coordination. Ryoko Asai. I ICT-ethics: Sweden and Japan, volym 15 av Studies in Applied Ethics, pp 24-30, LiU Tryck, Linköping, 2013.
31. Social Media Supporting Democratic Dialogue. Ryoko Asai. I Ambiguous Technologies: Philosophical Issues, Practical Solutions, Human Nature, pp 36-43, Autónoma University, Lisbon, 2013.
32. Performing Decision-Theoretic Inference in Bayesian Network Ensemble Models. Michael Ashcroft. I Twelfth Scandinavian Conference on Artificial Intelligence, volym 257 av Frontiers in Artificial Intelligence and Applications, pp 25-34, 2013. (DOI).
33. Cluster detection and field-of-view quality rating: Applied to automated Pap-smear analysis. Marine Astruc, Patrik Malm, Rajesh Kumar och Ewert Bengtsson. I Proc. 2nd International Conference on Pattern Recognition Applications and Methods, pp 355-364, SciTePress, 2013. (fulltext:postprint).
34. Adjacent ordered multi-pushdown systems. Mohamed Faouzi Atig, K. Narayan Kumar och Prakash Saivasan. I Developments in Language Theory: DLT 2013, volym 7907 av Lecture Notes in Computer Science, pp 58-69, Springer Berlin/Heidelberg, 2013. (DOI).
35. A comparison of iterative methods to solve complex valued linear algebraic systems. Owe Axelsson, Maya Neytcheva och Bashir Ahmad. Technical report / Department of Information Technology, Uppsala University nr 2013-005, 2013. (Extern länk).
36. A general approach to analyse preconditioners for two-by-two block matrices. Owe Axelsson och Maya Neytcheva. I Numerical Linear Algebra with Applications, volym 20, pp 723-742, 2013. (DOI).
37. Numerical and computational efficiency of solvers for two-phase problems. Owe Axelsson, Petia Boyanova, Martin Kronbichler, Maya Neytcheva och Xunxun Wu. I Computers and Mathematics with Applications, volym 65, pp 301-314, 2013. (DOI).
38. Response to Comment on "Preconditioning of matrices partitioned in 2×2 block form: Eigenvalue estimates and Schwarz DD for mixed FEM". Owe Axelsson och Radim Blaheta. I Numerical Linear Algebra with Applications, volym 20, pp 536-539, 2013. (DOI, Fulltext).
39. Grand challenge: Implementation by frequently emitting parallel windows and user-defined aggregate functions. Sobhan Badiozamany, Lars Melander, Thanh Truong, Cheng Xu och Tore Risch. I Proc. 7th ACM International Conference on Distributed Event-Based Systems, pp 325-330, ACM Press, New York, 2013. (DOI).
40. Combined Secure Storage and Communication for the Internet of Things. Ibrahim Bagci, Shahid Raza, Antony Chung, Utz Roedig och Thiemo Voigt. I IEEE International Conference on Sensing, Communication and Networking (IEEE SECON), 2013.
41. Efficient sampling in event-driven algorithms for reaction-diffusion processes. Mohammad Hossein Bani-Hashemian, Stefan Hellander och Per Lötstedt. I Communications in Computational Physics, volym 13, pp 958-984, 2013. (DOI).
42. Computational precision of traffic equilibria sensitivities in automatic network design and road pricing. Hillel Bar-Gera, Fredrik Hellman och Michael Patriksson. I Procedia - Social and Behavioral Sciences, volym 80, pp 41-60, 2013. (DOI).
43. Computational precision of traffic equilibria sensitivities in automatic network design and road pricing. Hillel Bar-Gera, Fredrik Hellman och Michael Patriksson. I Transportation Research Part B: Methodological, volym 57, pp 485-500, 2013. (DOI).
44. An Algorithm for Parallel Calculation of Trigonometric and Exponential Functions. Tony Barrera, Anders Hast och Ewert Bengtsson. I ACM International Conference on Computing Frontiers, 2013.
45. On matrices, automata, and double counting in constraint programming. Nicolas Beldiceanu, Mats Carlsson, Pierre Flener och Justin Pearson. I Constraints, volym 18, nummer 1, pp 108-140, 2013. (DOI).
46. On the reification of global constraints. Nicolas Beldiceanu, Mats Carlsson, Pierre Flener och Justin Pearson. I Constraints, volym 18, nummer 1, pp 1-6, 2013. (DOI).
47. Automated Mediator Synthesis: Combining Behavioural and Ontological Reasoning. Amel Benaceur, Chris Chilton, Malte Isberner och Bengt Jonsson. I SEFM 2013, 11th Int. Conf. on Software Engineering and Formal Methods, volym 8137 av Lecture Notes in Computer Science, pp 274-288, Springer, 2013. (DOI, Extern länk).
48. A Weight Sequence Distance Function. Nagy Benedek, Robin Strand och Nicolas Normand. I : Mathematical Morphology and Its Applications to Signal and Image Processing, volym 7883 av Lecture Notes in Computer Science, pp 292-301, Springer Berlin/Heidelberg, 2013. (DOI).
49. Duality based boundary conditions and dual consistent finite difference discretizations of the Navier–Stokes and Euler equations. Jens Berg och Jan Nordström. Technical report / Department of Information Technology, Uppsala University nr 2013-013, 2013. (Extern länk).
50. Duality based boundary treatment for the Euler and Navier-Stokes equations. Jens Berg och Jan Nordström. I Proc. 21st AIAA CFD Conference, volym 2013-2959 av Conference Proceeding Series, AIAA, 2013. (DOI).
51. On the impact of boundary conditions on dual consistent finite difference discretizations. Jens Berg och Jan Nordström. I Journal of Computational Physics, volym 236, pp 41-55, 2013. (DOI).
52. Stable and High-Order Finite Difference Methods for Multiphysics Flow ProblemsStabila finita differensmetoder med hög noggrannhetsordning för multifysik- och flödesproblem. Jens Berg. Doktorsavhandling, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1004, Acta Universitatis Upsaliensis, Uppsala, 2013. (fulltext).
53. The Sino–Swedish Master Programme in Computer Science and Software Engineering: Chinese students' experiences. Anders Berglund, Neena Thota och Yemao Man. I Collaborative Academic Programs as a Contribution to Developing Nations: FICAP-1 Proceedings, pp 37-45, BrownWalker Press, Boca Raton, Fl, USA, 2013. (Extern länk, fulltext:postprint).
54. Improving the stochastic watershed. Karl B. Bernander, Kenneth Gustavsson, Bettina Selig, Ida-Maria Sintorn och Cris L. Luengo Hendriks. I Pattern Recognition Letters, volym 34, nummer 9, pp 993-1000, 2013. (DOI, fulltext:postprint).
55. Deriving Probability Density Functions from Probabilistic Functional Programs. Sooraj Bhat, Johannes Borgström, Andrew D. Gordon och Claudio Russo. I Tools and Algorithms for the Construction and Analysis of Systems: 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings, volym 7795 av Lecture Notes in Computer Science, pp 508-522, Springer Berlin/Heidelberg, Berlin/Heidelberg, 2013. (DOI, fulltext:postprint).
56. Dual B-spline Snake for Interactive Myocardial Segmentation. Kevin Bianchi, Antoine Vacavant, Robin Strand, Pierre Terve och Laurent Sarry. I , 2013.
57. Flexible and High-Speed System-Level Performance Analysis using Hardware-Accelerated Simulation. Sascha Bischoff, Andreas Sandberg, Andreas Hansson, Sunwoo Dam, Ali Saidi, Matthew Horsnell och Bashir Al-Hashimi. I , Design, Automation & Test in Europe (DATE), Grenoble, France, 2013. (fulltext:postprint).
58. Resilience and Opportunistic Forwarding: Beyond Average Value Analysis. Fredrik Bjurefors, Merkourios Karaliopoulos, Christian Rohner, Paul Smith, George Theodoropoulos och Per Gunningberg. I CHANTS '13 Proceedings of the 8th ACM MobiCom workshop on Challenged networks, 2013.
59. Fast denoising techniques for transverse relaxation time estimation in MRI. Marcus Björk och Peter Stoica. I Proc. 21st European Signal Processing Conference, 2013. (PDF).
60. Hot Packets: A systematic evaluation of the effect of temperature on low power wireless transceivers. Carlo Alberto Boano, Hjalmar Wennerström, Marco Antonio Zúñiga, James Brown, Chamath Keppitiyagama, Felix Jonathan Oppermann, Utz Roedig, Lars-Åke Nordén, Thiemo Voigt och Kay Römer. I Proc. 5th Extreme Conference on Communication, pp 7-12, ACM Press, New York, 2013.
61. ISMM 2013 - 11th International Symposium on Mathematical Morphology. Gunilla Borgefors. I IAPR Newsletter, volym 35, nummer 4, pp 15-16, 2013.
62. A Parametric Tool for Applied Process Calculi. Johannes Borgström, Ramunas Gutkovas, Ioana Rodhe och Björn Victor. I 13th International Conference on Application of Concurrency to System Design (ACSD 2013), International Conference on Application of Concurrency to System Design, pp 180-185, IEEE Computer Society, 2013. (DOI).
63. Measure transformer semantics for Bayesian machine learning. Johannes Borgström, Andrew D. Gordon, Michael Greenberg, James Margetson och Jurgen van Gael. I Logical Methods in Computer Science, volym 9, nummer 3, p 11, 2013. (DOI, arXiv page).
64. Proceedings Combined 20th International Workshop on Expressiveness in Concurrency and 10th Workshop on Structural Operational Semantics. Johannes Borgström och Bas Luttik (red). Volym 120 av Electronic Proceedings in Theoretical Computer Science, Open Publishing Association, 2013. (DOI, Fulltext).
65. RELEASE: A high-level paradigm for reliable large-scale server software. Olivier Boudeville, Francesco Cesarini, Natalia Chechina, Kenneth Lundin, Nikolaos Papaspyrou, Konstantinos Sagonas, Simon Thompson, Phil Trinder och Ulf Wiger. I Trends in Functional Programming, volym 7829 av Lecture Notes in Computer Science, pp 263-278, Springer Berlin/Heidelberg, 2013. (DOI).
66. A fast and reliable approach to cell nuclei segmentation in PAP stained cervical smears. Balakrishnan Bujy, Vilayil Sujathan, Patrik Malm och Rajesh Kumar. I CSI Transactions on ICT, Springer India, 2013. (DOI, Extern länk).
67. Efficient GPU-based skyline computation. Kenneth S Bøgh, Ira Assent och Matteo Magnani. I Proceedings of the Ninth International Workshop on Data Management on New Hardware (DaMoN @ SIGMOD), 2013. (DOI, Extern länk).
68. Design of depth of anesthesia controllers in the presence of model uncertainty. Daniela V. Caiado, Joao M. Lemos, Bertinho A. Costa, Margarida Martins da Silva och Teresa Mendonça. I Proc. 21st Mediterranean Conference on Control and Automation, pp 213-218, 2013. (DOI).
69. Existing but not explicit: The user perspective in Scrum projects in practice. Åsa Cajander, Marta Lárusdóttir och Jan Gulliksen. I Human-Computer Interaction – INTERACT 2013: Part III, volym 8119 av Lecture Notes in Computer Science, pp 762-779, Springer Berlin/Heidelberg, 2013. (DOI).
70. Computer science students’ perception of computer network security. Volkan Cambazoglu och Neena Thota. I Proc. 1st International Conference on Learning and Teaching in Computing and Engineering, pp 204-207, IEEE Computer Society, Los Alamitos, CA, 2013. (DOI, fulltext:postprint).
71. Towards adaptive zero-knowledge protocols: A case study with Fiat–Shamir identification protocol. Volkan Cambazoglu och Christian Rohner. I Proc. 9th Swedish National Computer Networking Workshop, pp 67-70, 2013.
72. DIAMOND: AdvanceD data management and InformAtics for the optimuM operatiON anD control of WWTPs. Bengt Carlsson och Mikel Maixa. I 11th IWA conference on Instrumentation, Control and Automation, 2013.
73. Fault detection of sensors in aeration control systems: the airflow ratio method. Bengt Carlsson och Jesús Zambrano. I 11th IWA conference on Instrumentation, Control and Automation, 2013.
74. Increasing the number of DO sensors for aeration control in wastewater treatment: how much is gained?. Bengt Carlsson och Johannes Nygren. I 11th IWA conference on Instrumentation, Control and Automation, 2013.
75. Instrumentation, Control and Automation in wastewater—from London 1973 to Narbonne 2013. Bengt Carlsson och Gustaf Olsson. I 11th IWA conference on Instrumentation, Control and Automation, 2013.
76. Long-term evaluation of full-scale ammonium control in three large WWTPs. Bengt Carlsson och Linda Åmand. I 11th IWA conference on Instrumentation, Control and Automation, 2013.
77. Parameter scheduling in ammonium feedback control. Bengt Carlsson och Linda Åmand. I 11th IWA conference on Instrumentation, Control and Automation, 2013.
78. Fördjupat lärande genom aktiverande examination. Sofia Cassel och Björn Victor. I 4:e Utvecklingskonferensen för Sveriges ingenjörsutbildningar, pp 51-54, 2013.
79. Shared Resource Sensitivity in Task-Based Runtime Systems. Germán Ceballos och David Black-Schaffer. I Proc. 6th Swedish Workshop on Multi-Core Computing, Halmstad University Press, 2013. (fulltext:postprint).
80. Efficient inter-core power and thermal balancing for multicore processors. Juan M. Cebrian, Daniel Sanchez, Juan L. Aragon och Stefanos Kaxiras. I Computing, volym 95, nummer 7, pp 537-566, 2013. (DOI).
81. Assume-guarantee reasoning for safe component behaviours. C. Chilton, Bengt Jonsson och M. Kwiatkowska. I Formal Aspects of Component Software: 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers, volym 7684 LNCS av Lecture Notes in Computer Science, pp 92-109, 2013. (DOI).
82. An Algebraic Theory of Interface Automata. Chris Chilton, Bengt Jonsson och Marta Kwiatkowska. University of Oxford, 2013. (Extern länk).
83. Systematic testing for detecting concurrency errors in Erlang programs. Maria Christakis, Alkis Gotovos och Konstantinos Sagonas. I Proc. 6th International Conference on Software Testing, Verification and Validation, pp 154-163, IEEE Computer Society, 2013. (DOI).
84. Bayesian Inference Using Data Flow Analysis. Guillaume Claret, Sriram Rajamani, Aditya Nori, Andrew D. Gordon och Johannes Borgström. I ESEC/FSE '13: Proceedings of the 9th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, pp 92-102, ACM Press, New York, NY, USA, 2013. (DOI).
85. Beyond the Geneva Convention on the Treatment of Object Aliasing. Dave Clarke, James Noble och Tobias Wrigstad. I Aliasing in Object-Oriented Programming: Types, Analysis, and Verification, volym 7850 av Lecture Notes in Computer Science, pp 1-6, Springer Berlin/Heidelberg, 2013. (DOI).
86. Ownership Types: A Survey. Dave Clarke, Johan Östlund, Ilya Sergey och Tobias Wrigstad. I Aliasing in Object-Oriented Programming: Types, Analysis, and Verification, volym 7850 av Lecture Notes in Computer Science, pp 15-58, Springer Berlin/Heidelberg, 2013. (DOI).
87. Struntar regeringen i rätten till personlig integritet?. Göran Collste, Iordanis Kavathatzopoulos och Elin Palm. I Svenska Dagbladet, volym 1 nov., Stockholm, 2013. (Extern länk).
88. Ranking function synthesis for bit-vector relations. Byron Cook, Daniel Kroening, Philipp Rümmer och Christoph M. Wintersteiger. I Formal methods in system design, volym 43, nummer 1, pp 93-120, 2013. (DOI).
89. Spatio-Temporal Keyword Queries in Social Networks. Vittoria Cozza, Antonio Messina, Danilo Montesi, Luca Arietta och Matteo Magnani. I 17th East-European Conference on Advances in Databases and Information Systems (ADBIS), pp 70-83, 2013. (DOI, Extern länk).
90. Salience-Based Parabolic Structuring Functions. Vladimir Curic och Cris L. Luengo Hendriks. I Mathematical Morphology and Its Applications to Signal and Image Processing, volym 7883 av Lecture Notes in Computer Science, pp 183-194, Springer Berlin/Heidelberg, 2013. (DOI).
91. Using open-ended group projects in HCI courses. Mats Daniels, Åsa Cajander och Roger McDermott. I Challenges from the Future: Bridging the gaps through HCI education, University of Cape Town, South Africa, 2013.
92. System and method for data classification and efficient virtual cache coherence without reverse translation. Mahdad Davari, Alberto Ros och Stefanos Kaxiras. 2013.
93. Control of shallow water and sediment continuity coupled system. Ababacar Diagne och Abdou Sène. I MCSS. Mathematics of Control, Signals and Systems, volym 25, pp 387-406, 2013. (DOI).
94. The well-posedness of diffuse interface modeling of surfactants in two-phase fluid flow. Minh Do-Quang, Stefan Engblom, Anna-Karin Tornberg och Gustav Amberg. I Wetting and Evaporation: Droplets of Pure and Complex Fluids, pp 80-81, Aix-Marseille Université, France, 2013.
95. A new quantitative approach for estimating bone cell connections from nano-CT images. Pei Dong, Alexandra Pacureanu, Maria Zuluaga, Cecile Olivier, Frederique Frouin, Quentin Grimal och Francoise Peyrin. I Engineering in Medicine and Biology Society (EMBC), 2013 35th Annual International Conference of the IEEE, pp 3694-3697, IEEE, 2013. (DOI).
96. Let the Tree Bloom: Scalable Opportunistic Routing with ORPL. Simon Duquennoy, Olaf Landsiedel och Thiemo Voigt. I , 2013.
97. Boundary waves and stability of perfectly matched layers II: Extensions to first order systems and numerical stability. Kenneth Duru, Jeremy E. Kozdon och Gunilla Kreiss. I Proc. 11th International Conference on Mathematical and Numerical Aspects of Waves, pp 301-302, ENIT, Tunisia, 2013.
98. Stable and high order accurate difference methods for the elastic wave equation in discontinuous media. Kenneth Duru och Kristoffer Virta. I Proc. 11th International Conference on Mathematical and Numerical Aspects of Waves, pp 197-198, ENIT, Tunisia, 2013.
99. Analysing the enacted object of learning in lab assignments in programming education. Anna Eckerdal och Michael Thuné. I Proc. 1st International Conference on Learning and Teaching in Computing and Engineering, pp 208-211, IEEE Computer Society, Los Alamitos, CA, 2013. (DOI, fulltext:postprint).
100. Bandwidth Bandit: Quantitative Characterization of Memory Contention. David Eklöv, Nikos Nikoleris, David Black-Schaffer och Erik Hagersten. I Proc. 11th International Symposium on Code Generation and Optimization: CGO 2013, pp 99-108, IEEE Computer Society, 2013. (DOI).
101. An adaptive discontinuous Galerkin multiscale method for elliptic problems. Daniel Elfverson, Emmanuil H. Georgoulis och Axel Målqvist. I Multiscale Modeling & simulation, volym 11, pp 747-765, 2013. (DOI).
102. Convergence of a discontinuous Galerkin multiscale method. Daniel Elfverson, Emmanuil H. Georgoulis, Axel Målqvist och Daniel Peterseim. I SIAM Journal on Numerical Analysis, volym 51, pp 3351-3372, 2013. (DOI).
103. Discontinuous Galerkin multiscale methods for convection dominated problems. Daniel Elfverson och Axel Målqvist. Technical report / Department of Information Technology, Uppsala University nr 2013-011, 2013. (Extern länk).
104. On discontinuous Galerkin multiscale methods. Daniel Elfverson. Licentiatavhandling, IT licentiate theses / Uppsala University, Department of Information Technology nr 2013-003, Uppsala University, 2013. (fulltext).
105. Scaffolding pedagogic excellence in higher education. Maja Elmgren, Staffan Andersson, Arnold Pears och Stefan Pålsson. I Improving Student Learning through Research and Scholarship, pp 164-176, Oxford Brookes University, UK, 2013. (fulltext:print).
106. On diffuse interface modeling and simulation of surfactants in two-phase fluid flow. Stefan Engblom, Minh Do-Quang, Gustav Amberg och Anna-Karin Tornberg. I Communications in Computational Physics, volym 14, pp 879-915, 2013. (DOI).
107. Well-posedness and stability of exact non-reflecting boundary conditions. Sofia Eriksson och Jan Nordström. I Proc. 21st AIAA CFD Conference, volym 2013-2960 av Conference Proceeding Series, AIAA, 2013. (DOI).
108. Verbal reports and domain-specific knowledge: a comparison between collegial and retrospective verbalisation. Mikael Erlandsson och Anders Jansson. I Cognition, Technology & Work, volym 15, nummer 3, pp 239-254, Springer London, 2013. (DOI).
109. Epithelial Cell Layer Segmentation UsingGraph-cut and Its Application in TesticularTissue. Azadeh Fakhrzadeh, Ellinor Spörndly-Nees, Lena Holm och Cris L. Luengo Hendriks. I , 2013.
110. Epithelial Cell Segmentation in Histological Images of Testicular Tissue Using Graph-Cut. Azadeh Fakhrzadeh, Ellinor Spörndly-Nees, Lena Holm och Cris L. Luengo Hendriks. I Image Analysis and Processing – ICIAP 2013: Part II, volym 8157 av Lecture Notes in Computer Science, pp 201-208, 2013. (DOI).
111. Convergence of methods for coupling of microscopic and mesoscopic reaction-diffusion simulations. Mark B. Flegg, Stefan Hellander och Radek Erban. Technical report / Department of Information Technology, Uppsala University nr 2013-010, 2013. (Extern länk).
112. Automatic airspace sectorisation: A survey. Pierre Flener och Justin Pearson. Computing Research Repository nr 1311.0653, 2013. (Extern länk).
113. Stable calculation of Gaussian-based RBF-FD stencils. Bengt Fornberg, Erik Lehto och Collin Powell. I Computers and Mathematics with Applications, volym 65, pp 627-637, 2013. (DOI).
114. Dynamic landscapes: A model of context and contingency in evolution. David V. Foster, Mary M. Rorick, Tanja Gesell, Laura Marie Feeney och Jacob G. Foster. I Journal of Theoretical Biology, volym 334, pp 162-172, 2013. (DOI).
115. Generation of implied constraints for automaton-induced decompositions. María Andreína Francisco Rodríguez, Pierre Flener och Justin Pearson. I Proc. 25th International Conference on Tools with Artificial Intelligence, pp 1076-1083, IEEE Computer Society, 2013. (DOI).
116. Blind Color Decomposition of Histological Images. Milan Gavrilovic, Jimmy Azar, Joakim Lindblad, Carolina Wählby, Ewert Bengtsson, Christer Busch och Ingrid Carlbom. I IEEE Transactions on Medical Imaging, volym 32, nummer 6, pp 983-994, 2013. (DOI).
117. A socio-technical comparison of rail traffic control between GB and Sweden. David Golightly, Bengt Sandblad, Nastaran Dadashi, Arne W. Andersson, Simon Tschirner och Sarah Sharples. I Rail Human Factors: Supporting reliability, safety and cost reduction, pp 367-376, Taylor & Francis, London, 2013. (fulltext:preprint).
118. A Model-Learner Pattern for Bayesian Reasoning. Andrew D. Gordon, Mihhail Aizatulin, Johannes Borgström, Guillaume Claret, Thore Graepel, Aditya Nori, Sriram Rajamani och Claudio Russo. I Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages, volym 48 av ACM SIGPLAN NOTICES, pp 403-416, Association for Computing Machinery (ACM), New York, NY, 2013. (DOI).
119. Adaptive fast multipole methods on the GPU. Anders Goude och Stefan Engblom. I Journal of Supercomputing, volym 63, pp 897-918, 2013. (DOI).
120. A Riemann problem at a junction of open canals. Mouhamadou Samsidy Goudiaby och Gunilla Kreiss. I Journal of Hyperbolic Differential Equations, volym 10, pp 431-460, 2013. (DOI).
121. A delayed feedback control for network of open canals. Mouhamadou Samsidy Goudiaby, Abdou Sene och Gunilla Kreiss. I International Journal of Dynamics and Control, volym 1, pp 316-329, 2013. (DOI).
122. Transcription factor binding kinetics constrain noise suppression via negative feedback. Andreas Grönlund, Per Lötstedt och Johan Elf. I Nature Communications, volym 4, pp 1864:1-5, 2013. (DOI).
123. Improving OCBP-based scheduling for mixed-criticality sporadic task systems. Chuancai Gu, Nan Guan, Qingxu Deng och Wang Yi. I Proc. 19th International Conference on Embedded and Real-Time Computing Systems and Applications, IEEE Computer Society, 2013.
124. FIFO cache analysis for WCET estimation: A quantitative approach. Nan Guan, Xinping Yang, Mingsong Lv och Wang Yi. I Proc. 16th Conference on Design, Automation and Test in Europe, pp 296-301, IEEE, Piscataway, NJ, 2013. (DOI).
125. Finitary Real-Time Calculus: Efficient Performance Analysis of Distributed Embedded Systems. Nan Guan och Wang Yi. I Proc. Real-Time Systems Symposium: RTSS 2013, IEEE Computer Society, 2013.
126. New Techniques for Building Timing-Predictable Embedded Systems. Nan Guan. Doktorsavhandling, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1094, Acta Universitatis Upsaliensis, Uppsala, 2013. (fulltext, preview image).
127. Time-Dependent Problems and Difference Methods. Bertil Gustafsson, Heinz-Otto Kreiss och Joseph Oliger. John Wiley & Sons, Hoboken, NJ, 2013. (DOI).
128. Characteristic cut finite element methods for convection-diffusion problems on time dependent surfaces. Peter Hansbo, Mats G. Larson och Sara Zahedi. Technical report / Department of Information Technology, Uppsala University nr 2013-004, 2013. (Extern länk).
129. Optimising quality of information in data collection for mobile sensor networks. Farshid Hassani Bijarbooneh, Pierre Flener, Edith Ngai och Justin Pearson. I Proc. 21st International Symposium on Quality of Service, pp 163-172, IEEE Communications Society, 2013. (DOI, Fulltext).
130. Optimal RANSAC - Towards a Repeatable Algorithm for Finding the Optimal Set. Anders Hast och Johan Nysjö. I Journal of WSCG, volym 21, nummer 1, pp 21-30, 2013.
131. Rotation Invariant Feature Matching - Based on Gaussian Filtered Log Polar Transform and Phase Correlation.. Anders Hast och Andrea Marchetti. I 8th International Symposium on Image and Signal Processing and Analysis: (ISPA 2013), pp 1-6, 2013.
132. Shortest Diagonal Triangulation of Convex Layers. Anders Hast, Peter Jenke och Stefan Seipel. I The IASTED International Conference on Signal Processing, Pattern Recognition and Applications., pp 1-7, 2013.
133. UCHPC 2012: Fifth Workshop on UnConventional High Performance Computing. Anders Hast, Josef Weidendorfer och Jan-Philipp Weiss. I Euro-Par 2012: Parallel Processing Workshops, volym 7640 av Lecture Notes in Computer Science, pp 505-506, Springer Berlin/Heidelberg, 2013. (DOI).
134. Constraints for Membership in Formal Languages under Systematic Search and Stochastic Local Search. Jun He. Doktorsavhandling, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1027, Acta Universitatis Upsaliensis, Uppsala, 2013. (fulltext).
135. Solving string constraints: The case for constraint programming. Jun He, Pierre Flener, Justin Pearson och Wei Ming Zhang. I Principles and Practice of Constraint Programming: CP 2013, volym 8124 av Lecture Notes in Computer Science, pp 381-397, Springer Berlin/Heidelberg, 2013. (DOI).
136. Underestimating the cost of a soft constraint is dangerous: Revisiting the edit-distance based soft regular constraint. Jun He, Pierre Flener och Justin Pearson. I Journal of Heuristics, volym 19, nummer 5, pp 729-756, 2013. (DOI).
137. Parallel implementation of the Sherman–Morrison matrix inverse algorithm. Xin He, Marcus Holm och Maya Neytcheva. I Applied Parallel and Scientific Computing, volym 7782 av Lecture Notes in Computer Science, pp 206-219, Springer-Verlag, Berlin, 2013. (DOI).
138. Droplet: A New Denial-of-Service Attack on Low Power Wireless Sensor Networks. Zhitao He och Thiemo Voigt. I , 2013.
139. Single molecule simulations in complex geometries with embedded dynamic one-dimensional structures. Stefan Hellander. Technical report / Department of Information Technology, Uppsala University nr 2013-009, 2013. (Extern länk).
140. Single molecule simulations in complex geometries with embedded dynamic one-dimensional structures. Stefan Hellander. I Journal of Chemical Physics, volym 139, pp 014103:1-11, 2013. (DOI).
141. Stochastic Simulation of Reaction-Diffusion Processes. Stefan Hellander. Doktorsavhandling, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1042, Acta Universitatis Upsaliensis, Uppsala, 2013. (fulltext).
142. Oversampling for the multiscale finite element method. Patrick Henning och Daniel Peterseim. I Multiscale Modeling & simulation, volym 11, pp 1149-1175, 2013. (DOI).
143. SoNIC: Classifying interference in 802.15.4 sensor networks. Frederik Hermans, Olof Rensfelt, Thiemo Voigt, Edith Ngai, Lars-Åke Nordén och Per Gunningberg. I Proc. 12th International Conference on Information Processing in Sensor Networks, pp 55-66, ACM Press, New York, 2013. (DOI).
144. Towards TCP Communication with the Low Power Wireless Bus. Kasun Hewage och Thiemo Voigt. I , ACM SenSys, ACM, 2013. (DOI, Extern länk).
145. Laguerre Domain Identification of the Elementary Motion Detector Model in Insect Vision. Egi Hidayat, Alexander Medvedev och Karin Nordström. I Adaptation and Learning in Control and Signal Processing, pp 623-628, International Federation of Automatic Control, 2013. (DOI).
146. On identification of elementary motion detectors. Egi Hidayat, Alexander Medvedev och Karin Nordström. I Computational Models for Life Sciences: CMLS 2013, volym 1559 av AIP Conference Proceedings, pp 14-23, American Institute of Physics (AIP), Melville, NY, 2013. (DOI).
147. Scientific computing on hybrid architectures. Marcus Holm. Licentiatavhandling, IT licentiate theses / Uppsala University, Department of Information Technology nr 2013-002, Uppsala University, 2013. (fulltext).
148. Skitracker: Measuring skiing performance using a body-area network. Thomas Homewood, Christer Norström och Per Gunningberg. I Proc. 12th International Conference on Information Processing in Sensor Networks, pp 319-320, ACM Press, New York, 2013. (DOI).
149. Empowerment or anxiety?: Research on deployment of online medical e-health services in Sweden. Isto Huvila, Gunilla Myreteg och Åsa Cajander. I Bulletin of the American Society for Information Science and Technology, volym 39, nummer 5, pp 30-33, 2013. (DOI).
150. Experiences and attitudes of patients reading their medical records: Differences between readers and recurrent readers. Isto Huvila, Mats Daniels, Åsa Cajander och Rose-Marie Åhlfeldt. I Information: Interactions and Impact (i³) 2013, Robert Gordon University, Aberdeen, UK, 2013.
151. System identification in a networked environment using second order statistical properties. Yasir Irshad, Magnus Mossberg och Torsten Söderström. I Automatica, volym 49, nummer 2, pp 652-659, 2013. (DOI).
152. Automated quantification of Zebrafish tail deformation for high-throughput drug screening. Omer Ishaq, Joseph Negri, Mark-Anthony Bray, Alexandra Pacureanu, Randall T. Peterson och Carolina Wählby. I Proc. 10th International Symposium on Biomedical Imaging: From Nano to Macro, pp 902-905, IEEE, Piscataway, NJ, 2013. (DOI).
153. Image-based screening of zebrafish. Omer Ishaq, Joseph Negri, Mark-Bray Anthony, Alexandra Pacureanu, Randall Peterson och Carolina Wählby. I , 2013.
154. Light Tomography. Omer Ishaq, Alexandra Pacureanu och Carolina Wählby. I , 2013.
155. Analysis of nuclei textures of fine needle aspirated cytology images for breast cancer diagnosis using complex Daubechies wavelets. Swamidoss Issac Niwas, P. Palanisamy, K. Sujathan och Ewert Bengtsson. I Signal Processing, volym 93, nummer 10, pp 2828-2837, 2013. (DOI).
156. Automated classification of immunostaining patterns in breast tissue from the Human Protein Atlas. Swamidoss Issac Niwas, Andreas Kårsnäs, Virginie Uhlmann, Palanisamy Ponnusamy, Caroline Kampf, Martin Simonsson, Carolina Wählby och Robin Strand. I Journal of Pathology Informatics, volym 4, nummer 14, 2013. (DOI, Extern länk).
157. Color deconvolution method for breast tissue core biopsy images cell nuclei detection and analysis using multiresolution techniques. Swamidoss Issac Niwas, P. Palanisamy och Ewert Bengtsson. I International Journal of Imaging and Robotics, volym 9, nummer 1, pp 61-72, 2013.
158. Comparing wireless flooding protocols using trace-based simulations. Martin Jacobsson och Christian Rohner. I EURASIP Journal on Wireless Communications and Networking, pp 169:1-15, 2013. (DOI, Fulltext, fulltext:print).
159. Evolving Systems – Engaged Users: Key Principles for Improving Region-wide Health IT Adoption. Rebecka Janols. Doktorsavhandling, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1030, Acta Universitatis Upsaliensis, Uppsala, 2013. (fulltext).
160. Interpretation of the Concepts of Enterprise-wide and Best of Breed IT within the New Zealand eHealth Community. Rebecka Janols, Karen Day och Martin Orr. I Health Care and Informatics Review Online, volym 17, nummer 1, pp 11-17, 2013.
161. Secondary Users Interpretations on Key Concerns for Achieving an Effective and Efficient Region-wide Electronic Patient Record Usage. Rebecka Janols och Bengt Göransson. I The 21st European Conference on Information Systems (ECIS 2013), AIS Electronic Library, 2013.
162. Collegial collaboration for safety: Assessing situation awareness by exploring cognitive strategies. Anders Jansson, Mikael Erlandsson, Camilla Fröjd och Marcus Arvidsson. I Past History and Future Challenges of Human Work Interaction Design (HWID): Generating Cross-domain Knowledge about Connecting Work Analysis and Interaction Design, Workshop Proceedings Series of the INTERACT 2013 Conference, pp 35-40, 2013. (fulltext:print).
163. En resa genom tänkandets labyrinter. Anders Jansson. I Uppsala Nya Tidning, volym 02/04, Uppsala, 2013. (Extern länk).
164. Recognizing complexity: A prerequisite for skilled intuitive judgments and dynamic decisions. Anders Jansson och Mikael Erlandsson. I SPUDM24: Subjective Probability, Utility, and Decision Making, p 194, 2013. (Conference website, fulltext:postprint).
165. Non-parametric analysis of eye-tracking data by anomaly detection. Daniel Jansson, Olov Rosén och Alexander Medvedev. I Proc. 12th European Control Conference, pp 632-637, IEEE, 2013.
166. Parametric and non-parametric stochastic anomaly detection in analysis of eye-tracking data. Daniel Jansson och Alexander Medvedev. I Proc. 52nd Conference on Decision and Control, pp 2532-2537, IEEE, Piscataway, NJ, 2013. (DOI).
167. Stochastic anomaly detection in eye-tracking data for quantification of motor symptoms in Parkinson's disease. Daniel Jansson, Alexander Medvedev, Hans Axelson och Dag Nyholm. I International Symposium on Computational Models for Life Sciences: CMLS 2013, volym 1559 av AIP Conference Proceedings, pp 98-107, American Institute of Physics (AIP), Melville, NY, 2013. (DOI).
168. Visual stimulus design in parameter estimation of the human smooth pursuit system from eye-tracking data. Daniel Jansson och Alexander Medvedev. I Proc. American Control Conference: ACC 2013, pp 887-892, American Automatic Control Council, 2013. (DOI).
169. Finite element convergence for the Joule heating problem with mixed boundary conditions. Max Jensen och Axel Målqvist. I BIT Numerical Mathematics, volym 53, pp 475-496, 2013. (DOI).
170. Dynamic and speculative polyhedral parallelization of loop nests using binary code patterns. Alexandra Jimborean, Philippe Clauss, Jean-François Dollinger, Vincent Loechner och Juan Manuel Martinez Caamaño. I ICCS 2013, volym 18 av Procedia Computer Science, pp 2575-2578, 2013. (DOI, fulltext:postprint).
171. Online dynamic dependence analysis for speculative polyhedral parallelization. Alexandra Jimborean, Philippe Clauss, Juan Manuel Martinez Caamaño och Aravind Sukumaran-Rajam. I Euro-Par 2013 Parallel Processing, volym 8097 av Lecture Notes in Computer Science, pp 191-202, Springer Berlin/Heidelberg, 2013. (DOI, fulltext:postprint).
172. Swelling of cellulose fibres in composite materials: Constraint effects of the surrounding matrix. Thomas Joffre, Erik L. G. Wernersson, Arttu Miettinen, Cris L. Luengo Hendriks och E. Kristofer Gamstedt. I Composites Science And Technology, volym 74, pp 52-59, 2013. (DOI).
173. Detecting multiple aliases in social media. Fredrik Johansson, Lisa Kaati och Amendra Shrestha. I Proc. 5th International Conference on Advances in Social Networks Analysis and Mining, pp 1004-1011, ACM Press, New York, 2013. (DOI).
174. Airspace sectorisation using constraint-based local search. Peter Jägare, Pierre Flener och Justin Pearson. I Proc. 10th USA/Europe Air Traffic Management Research and Development Seminar, Federal Aviation Administration, 2013. (fulltext:postprint).
175. A quadratic extended edge-finding filtering algorithm for cumulative resource constraints. Roger Kameugne, Laure Pauline Fotso och Joseph Scott. I International Journal of Planning and Scheduling, volym 1, nummer 4, pp 264-284, 2013. (DOI).
176. Angle of arrival localization in LTE using MIMO pre-coder index feedback. Ari Kangas och Torbjörn Wigren. I IEEE Communications Letters, volym 17, nummer 8, pp 1584-1587, 2013. (DOI).
177. Can machines make ethical decisions?. Iordanis Kavathatzopoulos och Ryoko Asai. I Artificial Intelligence Applications and Innovations, volym 412 av IFIP Advances in Information and Communication Technology, pp 693-699, Springer Berlin/Heidelberg, 2013. (DOI).
178. How to handle issues of security and privacy. Iordanis Kavathatzopoulos. I ICT-ethics: Sweden and Japan, volym 15 av Studies in Applied Ethics, pp 54-60, LiU Tryck, Linköping, 2013.
179. IT security and sustainability. Iordanis Kavathatzopoulos och Ryoko Asai. I ICT for Sustainability: Sustainability, Social Accountability and Computing, ETH, Zurich, 2013. (Extern länk).
180. Methods for IT security and privacy. Iordanis Kavathatzopoulos och Ryoko Asai. I ICT, society and human beings, pp 155-158, IADIS Press, Prague, 2013.
181. Philosophizing as a usability method. Iordanis Kavathatzopoulos. I Ambiguous Technologies: Philosophical Issues, Practical Solutions, Human Nature, pp 194-201, The International Society of Ethics and Information Technology, Lisbon, 2013. (Extern länk).
182. Tools and methods for security: Stimulating the skill to philosophize. Iordanis Kavathatzopoulos, Ryoko Asai och Mikael Laaksoharju. I European Intelligence and Security Informatics Conference: 2013, pp 163-165, IEEE Computer Society, 2013. (DOI).
183. A New Perspective for Efficient Virtual-Cache Coherence. Stefanos Kaxiras och Alberto Ros. I Proceedings of the 40th Annual International Symposium on Computer Architecture, pp 535-546, 2013. (DOI).
184. In situ sequencing for RNA analysis in preserved tissue and cells. Rongqin Ke, Marco Mignardi, Alexandra Pacureanu, Jessica Svedlund, Johan Botling, Carolina Wählby och Mats Nilsson. I Nature Methods, volym 10, nummer 9, pp 857-860, 2013. (DOI).
185. Large-Scale Analysis of Live Cells. Sajith Kecheril Sadanandan och Carolina Wählby. I , Lund University, 2013. (fulltext:print).
186. Shape and volume of craniofacial cavities in intentional skull deformations. R H Khonsari, M. Friess, Johan Nysjö, G. Odri, Filip Malmberg, Ingela Nyström, Elias Messo, Jan M Hirsch, E A M Cabanis, K H Kunzelmann, J M Salagnac, P. Corre, A. Ohazama, P T Sharpe, P. Charlier och R. Olszewski. I American Journal of Physical Anthropology, volym 151, nummer 1, pp 110-119, 2013. (DOI).
187. Accelerated convergence for Schrödinger equations with non-smooth potentials. Emil Kieri. Technical report / Department of Information Technology, Uppsala University nr 2013-007, 2013. (Extern länk).
188. Coupling of Gaussian beam and finite difference solvers for semiclassical Schrödinger equations. Emil Kieri, Gunilla Kreiss och Olof Runborg. Technical report / Department of Information Technology, Uppsala University nr 2013-019, 2013. (Extern länk).
189. Numerical Quantum Dynamics. Emil Kieri. Licentiatavhandling, IT licentiate theses / Uppsala University, Department of Information Technology nr 2013-005, Uppsala University, 2013. (fulltext).
190. On the scalability of the Erlang term storage. David Klaftenegger, Konstantinos Sagonas och Kjell Winblad. I Proc. 12th ACM SIGPLAN Workshop on Erlang, pp 15-26, ACM Press, New York, 2013. (DOI).
191. A Galerkin radial basis function method for the Schrödinger equation. Katharina Kormann och Elisabeth Larsson. I SIAM Journal on Scientific Computing, volym 35, pp A2832-A2855, 2013. (DOI).
192. Towards Power Efficiency on Task-Based, Decoupled Access-Execute Models. Konstantinos Koukos, David Black-Schaffer, Vasileios Spiliopoulos och Stefanos Kaxiras. I PARMA 2013, 4th Workshop on Parallel Programming and Run-Time Management Techniques for Many-core Architectures, 2013. (Conference website, fulltext:postprint).
193. Towards more efficient execution: a decoupled access-execute approach. Konstantinos Koukos, David Black-Schaffer, Vasileios Spiliopoulos och Stefanos Kaxiras. I Proc. 27th ACM International Conference on Supercomputing, pp 253-262, ACM Press, New York, 2013. (DOI, fulltext:print).
194. Femtosecond pump-probe spectroscopy for single trapped molecular ions. Markus Kowalewski, Steffen Kahra, Günther Leschhorn, Tobias Schätz och Regina de Vivie-Riedle. I Proc. 18th International Conference on Ultrafast Phenomena, volym 41 av EPJ Web of Conferences, pp 02028:1-3, EDP Sciences, 2013. (DOI).
195. Errors-in-variables identification using covariance matching and structural equation modeling. David Kreiberg, Torsten Söderström och Fan Yang-Wallentin. I Proc. 52nd Conference on Decision and Control, pp 5852-5857, IEEE, Piscataway, NJ, 2013. (DOI).
196. Boundary waves and stability of perfectly matched layers I. Gunilla Kreiss och Kenneth Duru. I Proc. 11th International Conference on Mathematical and Numerical Aspects of Waves, pp 299-300, ENIT, Tunisia, 2013.
197. Discrete stability of perfectly matched layers for anisotropic wave equations in first and second order formulation. Gunilla Kreiss och Kenneth Duru. I BIT Numerical Mathematics, volym 53, pp 641-663, 2013. (DOI).
198. Evaluation of noise robustness for local binary pattern descriptors in texture classification. Gustaf Kylberg och Ida-Maria Sintorn. I EURASIP Journal on Image and Video Processing, nummer 17, Springer, 2013. (DOI, Fulltext, fulltext:print).
199. Democracy, human fallibility and ICT. Mikael Laaksoharju och Iordanis Kavathatzopoulos. I The possibilities of ethical ICT, pp 295-301, University of Southern Denmark, Kolding, 2013.
200. A Symbolic Approach to the Analysis of Multi-Formalism Markov Reward Models. Kai Lampka och Markus Siegle. I Theory and Application of Multi-Formalism Modeling, IGI Global, Pennsylvania, 2013. (Extern länk).
201. Component-based system design: analytic real-time interfaces for state-based component implementations. Kai Lampka, Simon Perathoner och Lothar Thiele. I International Journal on Software Tools for Technology Transfer (STTT), volym 15, nummer 3, pp 155-170, Springer Berlin/Heidelberg, 2013. (DOI).
202. With Real-time Performance Analysis and Monitoring to Timing Predictable Use of Multi-core Architectures. Kai Lampka. I Runtime Verification, volym 8174 av Lecture Notes in Computer Science, pp 400-402, Springer Berlin/Heidelberg, 2013.
203. Brain pathology after mild traumatic brain injury: An exploratory study by repeated magnetic resonance examination. Marianne Lannsjö, Raili Raininko, Mariana Bustamante, Charlotta von Seth och Jörgen Borg. I Journal of Rehabilitation Medicine, volym 45, nummer 8, pp 721-728, 2013. (DOI, Fulltext).
204. A variational multiscale method for Poisson's equation in mixed form. Mats G. Larson, Axel Målqvist och Robert Söderlund. I Numerical Mathematics and Advanced Applications: 2011, pp 713-721, Springer-Verlag, Berlin, 2013. (DOI).
205. Gender-aware course reform in Scientific Computing. Elisabeth Larsson, Stefan Pålsson, Jarmo Rantakokko, Lina von Sydow och Michael Thuné. I International journal of engineering education, volym 29, nummer 2, pp 403-414, 2013.
206. Radial basis function methods in computational finance. Elisabeth Larsson, Sônia M. Gomes, Alfa Heryudono och Ali Safdari-Vaighani. I Proc. 13th International Conference on Computational and Mathematical Methods in Science and Engineering: Volume III, pp 895-906, Universidad de Almería, Spain, 2013.
207. Skors skönhet ur en matematikers perspektiv. Elisabeth Larsson. I Skor är huvudsaken: Sjutton kvinnliga forskares funderingar om skor, pp 30-31, Uppsala universitet, 2013.
208. Stable computation of differentiation matrices and scattered node stencils based on Gaussian radial basis functions. Elisabeth Larsson, Erik Lehto, Alfa Heryudono och Bengt Fornberg. I SIAM Journal on Scientific Computing, volym 35, pp A2096-A2119, 2013. (DOI).
209. Uplink load based scheduling for CDMA systems. Katrina Lau, Graham C. Goodwin, Erik Geijer-Lundin, Torbjörn Wigren och Stephen Craig. I IEEE Communications Letters, volym 17, nummer 11, pp 2136-2139, 2013. (DOI).
210. Preface: e-Science Applications and Tools. Erwin Laure och Sverker Holmgren. I Future generations computer systems, volym 29, nummer 8, pp 2115-2116, 2013. (DOI).
211. Perceived 3D metric (or Euclidean) shape is merely ambiguous, not systematically distorted. Young Lim Lee, Mats Lind och Geoffrey P. Bingham. I Experimental Brain Research, volym 224, nummer 4, pp 551-555, 2013. (DOI).
212. Coverage segmentation of thin structures by linear unmixing and local centre of gravity attraction. Kristína Lidayová, Joakim Lindblad, Nataša Sladoje och Hans Frimmel. I Proc. 8th International Symposium on Image and Signal Processing and Analysis, pp 83-88, IEEE Signal Processing Society, 2013. (DOI).
213. Införande av verksamhetsstödjande IT-system: Problem, effekter och nytta. Thomas Lind, Fredrik Brattlöf, Åsa Cajander, Bengt Sandblad, Bengt Göransson och Anders Jansson. Technical report / Department of Information Technology, Uppsala University nr 2013-024, 2013. (Extern länk).
214. Mind the gap: Towards a framework for analysing the deployment of IT systems from a sociotechnical perspective. Thomas Lind och Åsa Cajander. I Past History and Future Challenges of Human Work Interaction Design: Generating Cross-domain Knowledge about Connecting Work Analysis and Interaction Design, pp 28-33, University of Cape Town, South Africa, 2013.
215. A Skiplist-based Concurrent Priority Queue with Minimal Memory Contention. Jonatan Lindén och Bengt Jonsson. I OPODIS 2013: 17th International Conference On Principles Of DIstributed Systems, volym 8304 av Lecture Notes in Computer Science, pp 206-220, Springer Berlin/Heidelberg, Berlin, 2013. (DOI, Extern länk).
216. Interactive visual simulation for photovoltaic design and planning in the built environment. David Lingfors, Joakim Widén och Stefan Seipel. I , 2013.
217. A cellular-centric service architecture for machine-to-machine (M2M) communications. Anthony Lo, Yee Wei Law och Martin Jacobsson. I IEEE wireless communications, volym 20, nummer 5, pp 143-151, IEEE Communications Society, 2013. (DOI).
218. Identifying all individuals in a honeybee hive: progress towards mapping all social interactions. Cris L. Luengo Hendriks, Zi Quan Yu, Antoine Lecocq, Teatske Bakker, Barbara Locke och Olle Terenius. I , 2013.
219. Mathematical Morphology and Its Applications to Signal and Image Processing: 11th International Symposium, ISMM 2013; Uppsala, Sweden, May 2013; Proceedings. Cris L. Luengo Hendriks, Gunilla Borgefors och Robin Strand (red). Volym 7883 av Lecture Notes in Computer Science, Springer, Berlin Heidelberg, 2013. (DOI).
220. A priori power estimation of linear solvers on multi-core processors. Dimitar Lukarski och Tobias Skoglund. Technical report / Department of Information Technology, Uppsala University nr 2013-020, 2013. (Extern länk).
221. Suggesting a method to increase student activity and cultural awareness by inclusion of ethnographical elements in HCI education. Anette Löfström. I Challenges from the Future: Bridging the gaps through HCI education, University of Cape Town, South Africa, 2013.
222. Using the intranet as a leadership strategy... and moving on. Anette Löfström. I Abstracts. Arbetslivets föränderlighet: Individ-, Organisations- och Metodperspektiv, Stockholm, 2013.
223. Network-Wide Sensornet Checkpointing Made Practical. Andreas Löscher, Nicolas Tsiftes, Thiemo Voigt och Vlado Handziski. I 10th European Conference on Wireless Sensor Networks, 2013.
224. Factors Enabling Information Propagation in a Social Network Site. Matteo Magnani, Danilo Montesi och Luca Rossi. I The Influence of Technology on Social Network Analysis and Mining, pp 411-426, Springer Vienna, 2013. (DOI, Extern länk).
225. Formation of multiple networks. Matteo Magnani och Luca Rossi. I Social Computing, Behavioral-Cultural Modeling and Prediction, pp 257-264, Springer Berlin Heidelberg, 2013. (DOI, Extern länk).
226. From stars to galaxies: skyline queries on aggregate data. Matteo Magnani och Ira Assent. I Proceedings of the 16th International Conference on Extending Database Technology, pp 477-488, 2013. (DOI, Extern länk).
227. On multidimensional network measures. Matteo Magnani, Anna Monreale, Giulio Rossetti och Fosca Giannotti. I Italian Conference on Sistemi Evoluti per le Basi di Dati (SEBD), 2013.
228. Pareto Distance for Multi-layer Network Analysis. Matteo Magnani och Luca Rossi. I Social Computing, Behavioral-Cultural Modeling and Prediction, volym 7812 av Lecture Notes in Computer Science, pp 249-256, 2013. (DOI, Extern länk).
229. SkyView: a user evaluation of the skyline operator. Matteo Magnani, Ira Assent, Kasper Hornbæ k, Mikkel R. Jakobsen och Ken Friis Larsen. I Proceedings of the ACM Conference on Information and Knowledge Management (CIKM), pp 2249-2254, 2013. (DOI, Extern länk).
230. Debris removal in Pap-smear images. Patrik Malm, Byju N. Balakrishnan, Vilayil K. Sujathan, Rajesh Kumar och Ewert Bengtsson. I Computer Methods and Programs in Biomedicine, volym 111, nummer 1, pp 128-138, 2013. (DOI, Fulltext).
231. Image Analysis in Support of Computer-Assisted Cervical Cancer Screening. Patrik Malm. Doktorsavhandling, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1106, Acta Universitatis Upsaliensis, Uppsala, 2013. (fulltext, preview image).
232. Multi-resolution Cervical Cell Dataset. Patrik Malm. External report (Blue series) nr 37, Centre for Image Analysis, Swedish University of Agricultural Sciences, Uppsala, Sweden, 2013. (fulltext).
233. Faster Fuzzy Connectedness via Precomputation. Filip Malmberg och Robin Strand. I Mathematical Morphology and Its Applications to Signal and Image Processing, volym 7883 av Lecture Notes in Computer Science, pp 476-483, Springer, 2013.
234. Quantification of the multiplicative uncertainty in the linearized minimally parameterized parsimonious Wiener model for the neuromuscular blockade in closed-loop anesthesia. Margarida Martins da Silva, Torbjörn Wigren, Alexander V. Medvedev och Teresa Mendonça. I Proc. 21st Mediterranean Conference on Control and Automation, pp 703-708, IEEE, Piscataway, NJ, 2013. (DOI).
235. A solution to the stability issues with block norm summation by parts operators. Ken Mattsson och Martin Almquist. I Journal of Computational Physics, volym 253, pp 418-442, 2013. (DOI).
236. Optimal diagonal-norm SBP operators. Ken Mattsson, Martin Almquist och Mark H. Carpenter. Technical report / Department of Information Technology, Uppsala University nr 2013-016, 2013. (Extern länk).
237. Stable and accurate wave simulations in complex geometries and discontinuous media. Ken Mattsson, Martin Almquist och Stefan Engblom. I Proc. 11th International Conference on Mathematical and Numerical Aspects of Waves, pp 201-202, ENIT, Tunisia, 2013.
238. Modeling of testosterone regulation by pulse-modulated feedback: An experimental data study. Per Mattsson och Alexander Medvedev. I International Symposium on Computational Models for Life Sciences: CMLS 2013, volym 1559 av AIP Conference Proceedings, pp 333-342, American Institute of Physics (AIP), Melville, NY, 2013. (DOI).
239. State estimation in linear time-invariant systems with unknown impulsive inputs. Per Mattsson och Alexander Medvedev. I Proc. 12th European Control Conference, pp 1675-1680, IEEE, 2013.
240. Can first-year students program yet?: a study revisited. Robert McCartney, Jonas Boustedt, Anna Eckerdal, Kate Sanders och Carol Zander. I Proc. 9th International Computing Education Research Conference, pp 91-98, ACM Press, New York, 2013. (DOI).
241. Contemplations on results from investigating the personal epistemology of computing students. Roger McDermott, Iain Pirie, Åsa Cajander, Mats Daniels och Cary Laxer. I Proc. 43rd ASEE/IEEE Frontiers in Education Conference, pp 825-831, IEEE, Piscataway, NJ, 2013. (DOI).
242. Investigation into the personal epistemology of Computer Science students. Roger McDermott, Iain Pirie, Åsa Cajander, Mats Daniels och Cary Laxer. I Proc. 18th Conference on Innovation and Technology in Computer Science Education, pp 231-236, ACM Press, New York, 2013. (DOI).
243. Stochastic diffusion processes on Cartesian meshes. Lina Meinecke och Per Lötstedt. Technical report / Department of Information Technology, Uppsala University nr 2013-022, 2013. (Extern länk).
244. Supporting cyber-physical systems with wireless sensor networks: An outlook of software and services. Prasant Misra, Luca Mottola, Shahid Raza, Simon Duquennoy, Nicolas Tsiftes, Joel Höglund och Thiemo Voigt. I Journal of the Indian Institute of Science, volym 93, nummer 3, pp 463-486, 2013.
245. A parametric propagator for discretely convex pairs of sum constraints. Jean-Noël Monette, Nicolas Beldiceanu, Pierre Flener och Justin Pearson. I Principles and Practice of Constraint Programming: CP 2013, volym 8124 av Lecture Notes in Computer Science, pp 529-544, Springer Berlin/Heidelberg, 2013. (DOI).
246. Des propagateurs indépendants des solveurs. Jean-Noël Monette, Pierre Flener och Justin Pearson. I Actes des Neuvièmes Journées Francophones de Programmation par Contraintes, pp 227-236, Aix-Marseille Université, France, 2013.
247. Electronically-switched Directional Antennas for Wireless Sensor Networks: A Full-stack Evaluation. Luca Mottola, Thiemo Voigt och G. P. Picco. I IEEE SECON, 2013.
248. Executable modelling of dynamic software product lines in the ABS language. Radu Muschevici, Dave Clarke och José Proenca. I Proc. 5th International Workshop on Feature-Oriented Software Development, pp 17-24, ACM Press, New York, 2013. (DOI, fulltext:postprint).
249. Numerical upscaling of eigenvalue problems. Axel Målqvist och Daniel Peterseim. I Numerical Upscaling for Media with Deterministic and Stochastic Heterogeneity, volym 10 av Oberwolfach Reports, pp 402-404, EMS Publishing House, Zürich, Switzerland, 2013. (DOI).
250. Majorization-minimization technique for multi-static radar code design. Mohammad Mahdi Naghsh, Mahmoud Modarres-Hashemi, Shahram ShahbazPanahi, Mojtaba Soltanalian och Peter Stoica. I , 2013.
251. Radar code optimization for moving target detection. Mohammad Mahdi Naghsh, Mojtaba Soltanalian, Peter Stoica och Mahmoud Modarres-Hashemi. I , 2013.
252. Unified Optimization Framework for Multi-Static Radar Code Design using Information-Theoretic Criteria. Mohammad Mahdi Naghsh, Mahmoud Modarres-Hashemi, Shahram ShahbazPanahi, Mojtaba Soltanalian och Peter Stoica. I IEEE Transactions on Signal Processing, volym 61, nummer 21, pp 5401-5416, 2013. (DOI).
253. MAPfastR: Quantitative trait loci mapping in outbred line crosses. Ronald M. Nelson, Carl Nettelblad, Mats E. Pettersson, Xia Shen, Lucy Crooks, François Besnier, José Álvarez-Castro, Lars Rönnegård, Weronica Ek, Zheya Sheng, Marcin Kierczak, Sverker Holmgren och Örjan Carlborg. I G3: Genes, Genomes, Genetics, volym 3, pp 2147-2149, 2013. (DOI, Fulltext).
254. Breakdown of methods for phasing and imputation in the presence of double genotype sharing. Carl Nettelblad. I PLOS ONE, volym 8, pp e60354:1-5, 2013. (DOI, fulltext:print).
255. Fast and accurate detection of multiple quantitative trait loci. Carl Nettelblad, Behrang Mahjani och Sverker Holmgren. I Journal of Computational Biology, volym 20, pp 687-702, 2013. (DOI).
256. Multi-Mode Monitoring for Mixed-Criticality Real-time Systems. Moritz Neukirchner, Kai Lampka, Sophie Quinton och Rolf Ernst. I Proc. 11th International Conference on Hardware/Software Codesign and System Synthesis, ACM Press, New York, 2013.
257. On providing location privacy for mobile sinks in wireless sensor networks. Edith C.-H. Ngai och Ioana Rodhe. I Wireless networks, volym 19, nummer 1, pp 115-130, 2013. (DOI).
258. Cooperative localization by dual foot-mounted inertial sensors and inter-agent ranging. John-Olof Nilsson, Dave Zachariah, Isaac Skog och Peter Händel. I EURASIP Journal on Advances in Signal Processing, volym 2013, pp 164:1-17, 2013. (DOI).
259. Kinematic, kinetic and electromyographic adaptation to speed and resistance in double poling cross country skiing. Johnny Nilsson, Fredrik Tinmark, Kjartan Halvorsen och Anton Arndt. I European Journal of Applied Physiology, volym 113, nummer 6, pp 1385-1394, 2013. (DOI).
260. A New Algorithm for Computing Riemannian Geodesic Distance in Rectangular 2-D and 3-D Grids. Ola Nilsson, Martin Reimers, Ken Museth och Anders Brun. I International journal on artificial intelligence tools, volym 22, nummer 6, p 1360020, World Scientific, 2013. (DOI).
261. High order stable finite difference methods for the Schrödinger equation. Anna Nissen, Gunilla Kreiss och Margot Gerritsen. I Journal of Scientific Computing, volym 55, pp 173-199, 2013. (DOI).
262. On Packet Size and Error Correction Optimisations in Low-Power Wireless Networks. Claro Noda, Shashi Prabh, Mario Alves och Thiemo Voigt. I IEEE International Conference on Sensing, Communication and Networking (IEEE SECON), 2013.
263. Intracranial volume estimated with commonly used methods could introduce bias in studies including brain volume measurements. Richard Nordenskjöld, Filip Malmberg, Elna-Marie Larsson, Andrew Simmons, Samantha J. Brooks, Lars Lind, Håkan Ahlström, Lars Johansson och Joel Kullberg. I NeuroImage, volym 83, pp 355-360, 2013. (DOI).
264. Conjugate heat transfer for the unsteady compressible Navier–Stokes equations using a multi-block coupling. Jan Nordström och Jens Berg. I Computers & Fluids, volym 72, pp 20-29, 2013. (DOI).
265. Parameter estimation from wave propagation tests on a tube perforated by helical slots. Hans Norlander, Urmas Valdek, Bengt Lundberg och Torsten Söderström. I Mechanical systems and signal processing, volym 40, nummer 1, pp 385-399, 2013. (DOI).
266. Digital Distances and Integer Sequences. Nicolas Normand och Robin Strand. I Lecture Notes in Computer Science, pp 169-179, 2013.
267. Minimal-delay distance transform for neighborhood-sequence distances in 2D and 3D. Nicolas Normand, Robin Strand, Pierre Evenou och Aurore Arlicot. I Computer Vision and Image Understanding, volym 117, nummer 4, pp 409-417, 2013. (DOI).
268. Novice students' perception of learning in small groups. Aletta Nylén och Karl Marklund. I Enhancement and Innovation in Higher Education conference: 11 - 13 June 2013: conference materials, pp 123-131, 2013. (Post-conference publication).
269. Professional communication skills for engineering professionals. Aletta Nylén och Arnold Pears. I Proc. 43rd ASEE/IEEE Frontiers in Education Conference, pp 257-263, IEEE, Piscataway, NJ, 2013. (DOI).
270. Using Competencies to Structure Scientific Writing Education. Aletta Nylén och Christina Dörge. I HDI 2012 – Informatik für eine nachhaltige Zukunft, volym 5 av Commentarii informaticae didacticae (CID), pp 33-44, Universitätsverlag Potsdam, Potsdam, 2013. (Extern länk).
271. Precise 3D Angle Measurements in CT Wrist Images. Johan Nysjö, Albert Christersson, Ida-Maria Sintorn, Ingela Nyström, Sune Larsson och Filip Malmberg. I Image Analysis and Processing – ICIAP 2013: Part II, volym 8157 av Lecture Notes in Computer Science, pp 479-488, Springer Berlin/Heidelberg, 2013. (DOI).
272. Challenges from the Future: Bridging the Gaps through HCI Education. Lars Oestreicher och Paula Alexandra Silva. I Human-Computer Interaction – INTERACT 2013: Part IV, volym 8120 av Lecture Notes in Computer Science, pp 779-779, Springer Berlin/Heidelberg, 2013.
273. A haptics-assisted cranio-maxillofacial surgery planning system for restoring skeletal anatomy in complex trauma cases. Pontus Olsson, Fredrik Nysjö, Jan-Michaél Hirsch och Ingrid B. Carlbom. I International Journal of Computer Assisted Radiology and Surgery, volym 8, nummer 6, pp 887-894, 2013. (DOI, fulltext:print).
274. Snap-to-fit, a Haptic 6 DOF Alignment Tool for Virtual Assembly. Pontus Olsson, Fredrik Nysjö, Jan-Michaél Hirsch och Ingrid B. Carlbom. I Proc. World Haptics (WHC), 2013 IEEE, pp 205-210, 2013. (DOI).
275. SplineGrip - An Eight Degrees-of-Freedom Flexible Haptic Sculpting Tool. Pontus Olsson, Fredrik Nysjö, Björn Aneer, Stefan Seipel och Ingrid B. Carlbom. I ACM SIGGRAPH 2013 Posters, 2013. (DOI).
276. Adaptive filtering for enhancement of the osteocyte cell network in 3D microtomography images. Alexandra Pacureanu, A. Larrue, M. Langer, C. Olivier, C. Muller, M. -H Lafage-Proust och F. Peyrin. I IRBM, volym 34, nummer 1-SI, pp 48-52, 2013. (DOI).
277. High-throughput hyperdimensional vertebrate phenotyping. Carlos Pardo-Martin, Amin Allalou, Jaime Medina, Peter M. Eimon, Carolina Wählby och Mehmet Fatih Yanik. I Nature Communications, volym 4, p 1467, 2013. (DOI).
278. Movement on Uneven Surfaces Displays Characteristic Features of Hop Diffusion. Ingela Parmryd, Jeremy Adler, Ida-Maria Sintorn och Robin Strand. I Biophysical Journal, volym 104, nummer 2, pp 524A-524A, 2013. (DOI).
279. Secure compilation of Object-Oriented components to protected module architectures. Marco Patrignani, Dave Clarke och Frank Piessens. I Programming Languages and Systems, volym 8301 av Lecture Notes in Computer Science, pp 176-191, Springer Berlin/Heidelberg, 2013. (fulltext:postprint).
280. It's not your father computing: Social and ethical issues of cloud computing. Norberto Patrignani. I ICT for sustainability: Sustainability, Social accountability, and Computing, ETH Zurich, Zurich, 2013. (Extern länk).
281. Slow tech: Towards good, clean and fair ICT. Norberto Patrignani och Diane Whitehouse. I The possibilities of ethical ICT, pp 384-390, University of Southern Denmark, Kolding, 2013.
282. The brave new world of socio-technical systems: Cloud computing. Norberto Patrignani och Iordanis Kavathatzopoulos. I The possibilities of ethical ICT, pp 377-383, University of Southern Denmark, Kolding, 2013.
283. Self-calibrating total-mass controller for the neuromuscular blockade matching the anesthesiologists´ mindset. Luis Paz, Margarida Martins da Silva, Simao Esteves och Teresa Mendonça. I Proc. 21st Mediterranean Conference on Control and Automation, pp 723-728, 2013. (DOI).
284. What is feedback?: Connecting student perceptions to assessment practices. Arnold Pears, James Harland, Margaret Hamilton och Roger Hadgraft. I Proc. 1st International Conference on Learning and Teaching in Computing and Engineering, pp 106-113, IEEE Computer Society, Los Alamitos, CA, 2013. (DOI).
285. An adaptive compression algorithm in a deterministic world. Kristiaan Pelckmans. I Algorithmic Probability and Friends: Bayesian Prediction and Artificial Intelligence, volym 7070 av Lecture Notes in Computer Science, pp 299-305, Springer Berlin/Heidelberg, 2013. (DOI).
286. Randomized gossip algorithms for achieving consensus on the majority vote. Kristiaan Pelckmans. I Proc. 11th IFAC International Workshop on Adaptation and Learning in Control and Signal Processing, 2013. (fulltext:print).
287. Engagement in Computer Science and IT — What!: A matter of identity?. Anne-Kathrin Peters och Arnold Pears. I Proc. 1st International Conference on Learning and Teaching in Computing and Engineering, pp 114-121, IEEE Computer Society, Los Alamitos, CA, 2013. (DOI, fulltext:postprint).
288. Identity development of CS and IT students: What's the role of higher education?. Anne-Kathrin Peters. I Proc. 9th International Computing Education Research Conference, pp 187-188, ACM Press, New York, 2013. (DOI).
289. Spectrum-preserving two-scale decompositions with applications to numerical homogenization and eigensolvers. Daniel Peterseim och Axel Målqvist. I Interplay of Theory and Numerics for Deterministic and Stochastic Homogenization, volym 10 av Oberwolfach Reports, pp 850-853, EMS Publishing House, Zürich, Switzerland, 2013. (DOI).
290. An intrusive hybrid method for discontinuous two-phase flow under uncertainty. Per Pettersson, Gianluca Iaccarino och Jan Nordström. I Computers & Fluids, volym 86, pp 228-239, 2013. (DOI).
291. On stability and monotonicity requirements of finite difference approximations of stochastic conservation laws with random viscosity. Per Pettersson, Alireza Doostan och Jan Nordström. I Computer Methods in Applied Mechanics and Engineering, volym 258, pp 134-151, 2013. (DOI).
292. Uncertainty Quantification and Numerical Methods for Conservation Laws. Per Pettersson. Doktorsavhandling, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1008, Acta Universitatis Upsaliensis, Uppsala, 2013. (fulltext).
293. Viewing and analyzing slide scanner data using CellProfiler (work in progress). Petter Ranefall, Alexandra Pacureanu och Carolina Wählby. I European BioImage Analysis Symposium 2013, p 58, 2013.
294. Lithe: Lightweight Secure CoAP for the Internet of Things. Shahid Raza, Hossein Shafagh, Kasun Hewage, René Hummen och Thiemo Voigt. I IEEE Sensors Journal, volym 13, nummer 10, pp 3711-3720, 2013. (DOI).
295. SVELTE: Real-time Intrusion Detection in the Internet of Things. Shahid Raza, Linus Wallgren och Thiemo Voigt. I Ad hoc networks, volym 11, nummer 8, pp 2661-2674, 2013. (DOI).
296. Service support system modelling language for simulation-driven development of functional products. Sean Reed, Magnus Löfstrand, Lennart Karlsson och John Andrews. I Procedia CIRP, volym 11, pp 420-424, 2013. (DOI).
297. Evaluating Battery Models in Wireless Sensor Networks. Christian Rohner, Laura Marie Feeney och Per Gunningberg. I Wired/Wireless Internet Communication, volym 7889 av Lecture Notes in Computer Science, pp 29-42, Springer Berlin/Heidelberg, 2013. (DOI).
298. Efficient parallel implementation of state estimation algorithms on multicore platforms. Olov Rosén och Alexander Medvedev. I IEEE Transactions on Control Systems Technology, volym 21, nummer 1, pp 107-120, 2013. (DOI).
299. Non-parametric anomaly detection in trajectorial data. Olov Rosén, Alexander Medvedev och Daniel Jansson. 2013.
300. Parallelization of stochastic estimation algorithms on multicore computational platforms. Olov Rosén. Licentiatavhandling, IT licentiate theses / Uppsala University, Department of Information Technology nr 2013-001, Uppsala University, 2013. (fulltext).
301. Parallelization of the Kalman filter on multicore computational platforms. Olov Rosén, Alexander Medvedev och Torbjörn Wigren. I Control Engineering Practice, volym 21, nummer 9, pp 1188-1194, 2013. (DOI).
302. Sparse iterative adaptive approach with application to source localization. Will Rowe, Jian Li och Peter Stoica. I Proceedings of the Fifth IEEE International Workshop on Computational Advances in Multi-Sensor Adaptive Processing, 2013.
303. Joint estimation of non-coherent returns for MIMO radar. William Rowe, Ode Ojowu, Peter Stoica och Jian Li. I Proc. 47th Asilomar Conference on Signals, Systems and Computers, IEEE, Piscataway, NJ, 2013.
304. Robust adaptive beamforming for MIMO monopulse radar. William Rowe, Marie Ström, Jian Li och Peter Stoica. I , 2013.
305. Bisphenol A exposure increases liver fat in juvenile fructose-fed Fischer 344 rats. Monika Rönn, Joel Kullberg, Helen Karlsson, Johan Berglund, Filip Malmberg, Jan Örberg, Lars Lind, Håkan Ahlström och P. Monica Lind. I Toxicology, volym 303, nummer 1, pp 125-132, 2013. (DOI).
306. Quantification of total and visceral adipose tissue in fructose-fed rats using water-fat separated single echo MRI. Monika Rönn, Monica P. Lind, Helen Karlsson, Katarina Cvek, Johan Berglund, Filip Malmberg, Jan Örberg, Lars Lind, Francisco Ortiz-Nieto och Joel Kullberg. I Obesity, volym 21, nummer 9, pp E388-E395, 2013. (DOI).
307. Classifying and Solving Horn Clauses for Verification. Philipp Rümmer, Hossein Hojjat och Viktor Kuncak. I Fifth Working Conference on Verified Software: Theories, Tools and Experiments (VSTTE), 2013.
308. Disjunctive Interpolants for Horn-Clause Verification. Philipp Rümmer, Hossein Hojjat och Viktor Kuncak. I Computer Aided Verification: CAV 2013, volym 8044 av Lecture Notes in Computer Science, pp 347-363, Springer Berlin/Heidelberg, 2013. (DOI).
309. Exploring Interpolants. Philipp Rümmer och Pavle Subotic. I Formal Methods in Computer-Aided Design (FMCAD), 2013.
310. A radial basis function partition of unity collocation method for convection-diffusion equations. Ali Safdari-Vaighani, Alfa Heryudono och Elisabeth Larsson. Technical report / Department of Information Technology, Uppsala University nr 2013-023, 2013. (Extern länk).
311. Precise explanation of success typing errors. Konstantinos Sagonas, Josep Silva och Salvador Tamarit. I Proc. ACM SIGPLAN 2013 Workshop on Partial Evaluation and Program Manipulation, pp 33-42, ACM Press, New York, 2013. (DOI).
312. Iterative methods for pricing American options under the Bates model. Santtu Salmi, Jari Toivanen och Lina von Sydow. I Procedia Computer Science, volym 18, pp 1136-1144, 2013. (DOI).
313. Modeling performance variation due to cache sharing. Andreas Sandberg, Andreas Sembrant, Erik Hagersten och David Black-Schaffer. I Proc. 19th IEEE International Symposium on High Performance Computer Architecture, pp 155-166, IEEE Computer Society, 2013. (DOI, fulltext:postprint).
314. Checklista för god arbetsmiljö vid datorstött arbete. Bengt Sandblad. Technical report / Department of Information Technology, Uppsala University nr 2013-027, 2013. (Extern länk).
315. Introducing a novel analysis technique for osseointegrated dental implants retrieved 29 years postsurgery. Hamid Sarve, Bertil Friberg, Gunilla Borgefors och Carina B. Johansson. I Clinical Implant Dentistry and Related Research, volym 15, nummer 4, pp 538-549, Wiley-Blackwell, 2013. (DOI).
316. Can users control their data in social software?: An ethical analysis of control systems. Rula Sayaf, James B. Rule och Dave Clarke. I Proc. Security and Privacy Workshops 2013, IEEE Computer Society, 2013. (DOI).
317. Development of novel eHealth services for citizen use: Current system engineering vs. best practice in HCI. Isabella Scandurra, Jesper Holgersson, Thomas Lind och Gunilla Myreteg. I Human-Computer Interaction – INTERACT 2013: Part II, volym 8118 av Lecture Notes in Computer Science, pp 372-379, Springer Berlin/Heidelberg, 2013. (DOI).
318. Development of patient access to electronic health records as a step towards ubiquitous public eHealth. Isabella Scandurra, Jesper Holgersson, Thomas Lind och Gunilla Myreteg. I European Journal of ePractice, volym 20, pp 21-36, 2013. (Extern länk).
319. Bounded strings for constraint programming. Joseph D. Scott, Pierre Flener och Justin Pearson. I Proc. 25th International Conference on Tools with Artificial Intelligence, pp 1036-1043, IEEE Computer Society, 2013. (DOI).
320. Real-time algorithm for changes detection in depth of anesthesia signals. Raquel Sebastião, Margarida Martins da Silva, Rui Rabiço, João Gama och Teresa Mendonça. I Evolving Systems, volym 4, pp 3-12, 2013. (DOI).
321. Dual-domain visual exploration of urban solar potential. Stefan Seipel, David Lingfors och Joakim Widén. I Proc. Eurographics Workshop on Urban Data Modelling and Visualisation, 2013.
322. Evaluating 2D and 3D geovisualisations for basic spatial assessment. Stefan Seipel. I Behavior and Information Technology, volym 32, nummer 8, pp 845-858, 2013. (DOI).
323. TLC: A tag-less cache for reducing dynamic first level cache energy. Andreas Sembrant, Erik Hagersten och David Black-Schaffer. I Proceedings of the 46th International Symposium on Microarchitecture, pp 49-61, ACM Press, New York, 2013. (DOI, Conference website).
324. One kilometer (1 km) electric solar wind sail tether produced automatically. Henri Seppänen, Timo Rauhala, Sergiy Kiprich, Jukka Ukkonen, Martin Simonsson, Risto Kurppa, Pekka Janhunen och Edward Hæggström. I Review of Scientific Instruments, volym 84, nummer 9, 2013. (DOI).
325. Cloud Gaming: Architecture and Performance. Ryan Shea, Jiangchuan Liu, Edith C.-H. Ngai och Yong Cui. I IEEE Network, volym 27, nummer 4, pp 16-21, 2013. (DOI).
326. A tool for visualizing and analyzing users on discussion boards. Amendra Shrestha. I European Intelligence and Security Informatics Conference: 2013, pp 229-229, IEEE Computer Society, 2013. (DOI, Fulltext).
327. Author recognition in discussion boards. Amendra Shrestha, Lisa Kaati, Sofia Cassel och Mohamed Faouzi Atig. I National Symposium on Technology and Methodology for Security and Crisis Management, 2013.
328. Factors influencing high quality low voltage TEM imaging of biological routinely stained specimen. Ida-Maria Sintorn, Rickard Nordström, Lars Haag, Eva Coufalova och Michal Drsticka. I Proceedings, part I, pp 321-322, 2013.
329. Towards automated Virus Detection and Identification using TEM. Ida-Maria Sintorn, Gustaf Kylberg, Rickard Nordström, Lars Haag, Eva Coufalova och Michal Drsticka. I Proceedings, Part II, pp 397-398, 2013.
330. Stepwise conformation transitions for a semi-stiff ring polymer confined in a conical trap induced by the increasing external field or by cone's opening angle variation. Alexey Siretskiy, Christer Elvingson och Pavel Vorontsov-Velyaminov. I Nanosystems: Physics, Chemistry, Mathematics, volym 4, nummer 2, pp 225-235, St. Petersburg National Research University of Information Technologies, Mechanics and Optics, 2013. (Fulltext).
331. A fast algorithm for designing complementary sets of sequences. Mojtaba Soltanalian, Mohammad Mahdi Naghsh och Peter Stoica. I Signal Processing, volym 93, nummer 7, pp 2096-2102, 2013. (DOI).
332. Joint design of the receive filter and transmit sequence for active sensing. Mojtaba Soltanalian, Bo Tang, Jian Li och Peter Stoica. I IEEE Signal Processing Letters, volym 20, nummer 5, pp 423-426, 2013. (DOI).
333. Introducing DVFS-Management in a Full-System Simulator. Vasileios Spiliopoulos, Akash Bagdia, Andreas Hansson, Peter Aldworth och Stefanos Kaxiras. I Proc. 21st International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems, IEEE Computer Society, 2013.
334. Scalable Preservation, Reconstruction, and Querying of Databases in terms of Semantic Web Representations. Silvia Stefanova. Doktorsavhandling, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1052, Acta Universitatis Upsaliensis, Uppsala, 2013. (fulltext).
335. Scalable reconstruction of RDF-archived relational databases. Silvia Stefanova och Tore Risch. I Proc. 5th International Workshop on Semantic Web Information Management, pp 5:1-4, ACM Press, New York, 2013. (DOI).
336. Combinatorial Abstraction Refinement for Feasibility Analysis. Martin Stigge och Wang Yi. I IEEE 34TH REAL-TIME SYSTEMS SYMPOSIUM (RTSS 2013), Real-Time Systems Symposium-Proceedings, pp 340-349, 2013. (DOI).
337. The fork-join real-time task model. Martin Stigge, Pontus Ekberg och Wang Yi. I ACM SIGBED Review, volym 10, nummer 2, pp 20-20, 2013. (DOI, fulltext:print).
338. Integrative educational approach oriented towards software and system development. Anca-Juliana Stoica och Shareeful Islam. I International Journal of Engineering Pedagogy, volym 3, nummer 1, pp 36-43, 2013.
339. Teaching information and software security courses in regular and distance learning programs: Education theory and practice, framework, and examples. Anca-Juliana Stoica och Shareeful Islam. I Proc. 4th Global Engineering Education Conference, pp 44-49, IEEE, Piscataway, NJ, 2013. (DOI).
340. Model order estimation via penalizing adaptively the likelihood (PAL). Peter Stoica och Prabhu Babu. I Signal Processing, volym 93, nummer 11, pp 2865-2871, 2013. (DOI).
341. Parameter estimation of exponential signals: a system identification approach. Peter Stoica och Prabhu Babu. I Digital signal processing (Print), volym 23, nummer 5, pp 1565-1577, 2013. (DOI).
342. The minimum barrier distance. Robin Strand, Krzysztof Chris Ciesielski, Filip Malmberg och Punam K. Saha. I Computer Vision and Image Understanding, volym 117, nummer 4, pp 429-437, 2013. (DOI).
343. Accurate surface embedding for higher order finite elements. Stefan Suwelack, Dimitar Lukarski, Vincent Heuveline, Rüdiger Dillmann och Stefanie Speidel. I Proc. 12th ACM SIGGRAPH/Eurographics Symposium on Computer Animation, pp 187-192, ACM Press, New York, 2013. (DOI).
344. A probabilistic template model for finding macromolecules in MET volume images. Lennart Svensson och Ida-Maria Sintorn. I Pattern Recognition and Image Analysis, volym 7887 av Lecture Notes in Computer Science, pp 855-862, Springer Berlin/Heidelberg, 2013. (DOI, fulltext:postprint).
345. Can errors-in-variables systems be identified from closed-loop experiments?. Torsten Söderström, Liuping Wang, Rik Pintelon och Johan Schoukens. I Automatica, volym 49, nummer 2, pp 681-684, 2013. (DOI).
346. Comparing some classes of bias-compensating least squares methods. Torsten Söderström. I Automatica, volym 49, nummer 3, pp 840-845, 2013. (DOI).
347. Model validation methods for errors-in-variables estimation. Torsten Söderström och Juan Yuz. I Proc. 52nd Conference on Decision and Control, pp 3882-3887, IEEE, Piscataway, NJ, 2013. (DOI).
348. On the accuracy of a covariance matching method for continuous-time errors-in-variables identification. Torsten Söderström, Yasir Irshad, Magnus Mossberg och Wei Xing Zheng. I Automatica, volym 49, nummer 10, pp 2982-2993, 2013. (DOI).
349. A multiple model-based controller for NOx reduction in a Selective Catalytic Reduction system. Soma Tayamon och Darine Zambrano. I Proc. 12th European Control Conference, pp 1970-1975, IEEE, 2013.
350. Molecular wave packet dynamics decelerated by solvent environment: A theoretical approach. Sebastian Thallmair, Markus Kowalewski, Benjamin P. Fingerhut, Christian F. Sailer och Regina de Vivie-Riedle. I Proc. 18th International Conference on Ultrafast Phenomena, volym 41 av EPJ Web of Conferences, pp 05043:1-3, EDP Sciences, 2013. (DOI).
351. A task parallel implementation of a scattered node stencil-based solver for the shallow water equations. Martin Tillenius, Elisabeth Larsson, Erik Lehto och Natasha Flyer. I Proc. 6th Swedish Workshop on Multi-Core Computing, pp 33-36, Halmstad University, Halmstad, Sweden, 2013.
352. Resource-aware task scheduling. Martin Tillenius, Elisabeth Larsson, Rosa M. Badia och Xavier Martorell. I 4th Workshop on Parallel Programming and Run-Time Management Techniques for Many-core Architectures (PARMA), p 6, Tech. Univ. Berlin, Germany, 2013. (fulltext:postprint).
353. INDIGO: Secure CoAP for Smartphones- Enabling E2E Secure Communication in the 6Io. Daniele Trabalza, Shahid Raza och Thiemo Voigt. I , 2013.
354. Accelerating COBAYA3 on multi-core CPU and GPU systems using PARALUTION. Nico Trost, Javier Jiménez, Dimitar Lukarski och Victor Sanchez. I Proc. 2nd Joint International Conference on Supercomputing in Nuclear Applications and Monte Carlo, La Société Française d'Energie Nucléaire, Paris, France, 2013.
355. Analysis of collaboration applied to train drivers and train traffic controllers in Sweden. Simon Tschirner, Bengt Sandblad, Arne W. Andersson, Peter Hellström och Gunnika Isaksson-Lutteman. I Rail Human Factors: Supporting reliability, safety and cost reduction, pp 389-398, Taylor & Francis, London, 2013. (fulltext:preprint).
356. Designing train driver advisory systems for situation awareness. Simon Tschirner, Arne W. Andersson och Bengt Sandblad. I Rail Human Factors: Supporting reliability, safety and cost reduction, pp 150-159, Taylor & Francis, London, 2013. (fulltext:preprint).
357. Improved Railway Service by Shared Traffic Information: Design Concepts for Traffic Control and Driver Advisory Systems. Simon Tschirner, Arne W. Andersson och Bengt Sandblad. I , pp 117-122, 2013. (DOI).
358. High-throughput gene expression analysis at the level of single proteins using a microfluidic turbidostat and automated cell tracking. Gustaf Ullman, Mats Walldén, Erik G. Marklund, Anel Mahmutovic, Ivan Razinkov och Johan Elf. I Philosophical Transactions of the Royal Society of London. Biological Sciences, volym 368, nummer 1611, pp 20120025:1-8, 2013. (DOI).
359. Case specific finite element analysis of the strains experienced by osteocytes<em></em>. Peter Varga, Alexandra Pacureanu, Max Langer, Bernhard Hesse, Francoise Peyrin och Kay Raum. I , 2013.
360. Investigation of the three-dimensional orientation of mineralized collagen fibrils in human lamellar bone using synchrotron X-ray phase nano-tomography. Peter Varga, Alexandra Pacureanu, Max Langer, Heikki Suhonen, Bernhard Hesse, Quentin Grimal, Peter Cloetens, Kay Raum och Françoise Peyrin. I Acta Biomaterialia, volym 9, nummer 9, pp 8118-8127, 2013. (DOI).
361. The 3D orientation of mineralized collagen fibrils in human lamellar bone and its mechanical consequences. Peter Varga, Alexandra Pacureanu, Max Langer, Heikki Suhonen, Bernhard Hesse, Quentin Grimal, Peter Cloetens, Kay Raum och Francoise Peyrin. I , 2013.
362. Directional transmissions and receptions for high throughput burst forwarding. Ambuj Varshney, Thiemo Voigt och Luca Mottola. I Proceedings of the 11th ACM Conference on Embedded Networked Sensor Systems, p 50, 2013. (DOI, Extern länk).
363. Difference methods with boundary and interface treatment for wave equations. Kristoffer Virta. Licentiatavhandling, IT licentiate theses / Uppsala University, Department of Information Technology nr 2013-006, Uppsala University, 2013. (fulltext).
364. Surface waves in almost incompressible elastic materials. Kristoffer Virta och Gunilla Kreiss. I Proc. 11th International Conference on Mathematical and Numerical Aspects of Waves, pp 375-376, ENIT, Tunisia, 2013. (Extern länk).
365. Understanding link dynamics in wireless sensor networks with dynamically steerable directional antennas. Thiemo Voigt, Luca Mottola och Kasun Hewage. I Wireless Sensor Networks: EWSN 2013, volym 7772 av Lecture Notes in Computer Science, pp 115-130, Springer Berlin/Heidelberg, 2013. (DOI, fulltext:postprint).
366. A uniformly well-conditioned, unfitted Nitsche method for interface problems. Eddie Wadbro, Sara Zahedi, Gunilla Kreiss och Martin Berggren. I BIT Numerical Mathematics, volym 53, pp 791-820, 2013. (DOI).
367. Feature Weight Optimization and Pruning in Historical Text Recognition. Fredrik Wahlberg och Anders Brun. I Advances of Visual Computing: 9th International Symposium, ISVC 2013, Rethymnon, Crete, Greece, July 29-31, 2013. Proceedings, Part II, volym 8034 av Lecture Notes in Computer Science, pp 98-107, Springer Berlin/Heidelberg, 2013. (DOI, fulltext:postprint).
368. Feature space denoising improves word spotting. Fredrik Wahlberg och Anders Brun. I Proc. 2nd International Workshop on Historical Document Imaging and Processing, pp 59-66, ACM Press, New York, 2013. (DOI, fulltext:postprint).
369. Routing Attacks and Countermeasures in the RPL-Based Internet of Things. Linus Wallgren, Shahid Raza och Thiemo Voigt. I International Journal of Distributed Sensor Networks, p 794326, 2013. (DOI, fulltext:print).
370. A Study of Packet Errors on Outdoor 802.15.4 Links. Hjalmar Wennerström, Liam McNamara, Christian Rohner och Lars-Åke Nordén. I The 9th Swedish National Computer Networking Workshop 2013, 2013.
371. A long-term study of correlations between meteorological conditions and 802.15.4 link performance. Hjalmar Wennerström, Frederik Hermans, Olof Rensfelt, Christian Rohner och Lars-Åke Nordén. I Proc. 10th International Conference on Sensing, Communications, and Networking, pp 221-229, IEEE Communications Society, 2013. (DOI).
372. Meteorological impact and transmission errors in outdoor wireless sensor networks. Hjalmar Wennerström. Licentiatavhandling, IT licentiate theses / Uppsala University, Department of Information Technology nr 2013-007, Uppsala University, 2013. (fulltext).
373. Transmission errors in a sensor network at the edge of the world. Hjalmar Wennerström, Liam McNamara, Christian Rohner och Lars-Åke Nordén. I Proc. 5th Extreme Conference on Communication, ACM Press, New York, 2013.
374. Postprocessing method for reducing phase effects in reconstructed microcomputed-tomography data. Erik L. G. Wernersson, Matthieu N. Boone, Jan Van den Bulcke, Luc Van Hoorebeke och Cris L. Luengo Hendriks. I Optical Society of America. Journal A: Optics, Image Science, and Vision, volym 30, nummer 3, pp 455-461, 2013.
375. From slow food to slow tech: A reflection paper. Diane Whitehouse och Norberto Patrignani. I ICT, society and human beings, pp 141-145, IADIS Press, Prague, 2013.
376. Data for benchmarking in nonlinear system identification. Torbjörn Wigren och Johan Schoukens. Technical report / Department of Information Technology, Uppsala University nr 2013-006, Uppsala University, Uppsala, 2013. (Extern länk, fulltext).
377. Three free data sets for development and benchmarking in nonlinear system identification. Torbjörn Wigren och Johan Schoukens. I Proc. 12th European Control Conference, pp 2933-2938, IEEE, 2013.
378. Structured Aliasing. Tobias Wrigstad. I Aliasing in Object-Oriented Programming: Types, Analysis, and Verification, volym 7850 av Lecture Notes in Computer Science, pp 512-513, Springer Berlin/Heidelberg, 2013. (DOI).
379. Model-based validation of streaming data. Cheng Xu, Daniel Wedlund, Martin Helgoson och Tore Risch. I Proc. 7th ACM International Conference on Distributed Event-Based Systems, pp 107-113, ACM Press, New York, 2013. (DOI).
380. Wideband source localization using sparse learning via iterative minimization. Luzhou Xu, Kexin Zhao, Li Jian och Peter Stoica. I Signal Processing, volym 93, nummer 12 SI, pp 3504-3514, 2013. (DOI).
381. Hybrid state observer with modulated correction for periodic systems under intrinsic impulsive feedback. Diana Yamalova, Alexander Churilov och Alexander Medvedev. I , volym 12 av IFAC Proceedings Volumes, pp 119-124, 2013. (DOI).
382. Enhanced Capon beamformer using regularized covariance matching. Dave Zachariah, Magnus Jansson och Saikat Chatterjee. I Proc. 5th International Workshop on Computational Advances in Multi-Sensor Adaptive Processing, pp 97-100, IEEE Press, Piscataway, NJ, 2013. (DOI).
383. Bifurcation analysis for PID-controller tuning based on a minimal neuromuscular blockade model in closed-loop anesthesia. Zhanybai T. Zhusubaliyev, Alexander Medvedev och Margarida Martins da Silva. I Proc. 52nd Conference on Decision and Control, pp 115-120, IEEE, Piscataway, NJ, 2013. (DOI).
384. On discontinuous Galerkin for time integration in option pricing problems with adaptive finite differences in space. Lina von Sydow. I Numerical Analysis and Applied Mathematics: ICNAAM 2013, volym 1558 av AIP Conference Proceedings, pp 2373-2376, American Institute of Physics (AIP), Melville, NY, 2013. (DOI).
385. Bells and Whistles: Advanced language features in psi-calculi. Johannes Åman Pohjola. Licentiatavhandling, IT licentiate theses / Uppsala University, Department of Information Technology nr 2013-004, Uppsala University, 2013. (fulltext).
386. Negative premises in applied process calculi. Johannes Åman Pohjola, Johannes Borgström, Joachim Parrow, Palle Raabjerg och Ioana Rodhe. Technical report / Department of Information Technology, Uppsala University nr 2013-014, 2013. (Extern länk).
387. Aeration control: a review. Linda Åmand, Gustaf Olsson och Bengt Carlsson. I Water Science and Technology, volym 67, nummer 11, pp 2374-2398, 2013. (DOI, fulltext:print).
388. The optimal dissolved oxygen profile in a nitrifying activated sludge process: comparisons with ammonium feedback control. Linda Åmand och Bengt Carlsson. I Water Science and Technology, volym 68, nummer 3, pp 641-649, 2013. (DOI).