Publikationer 2014

1. Distance Functions and Their Use in Adaptive Mathematical Morphology. Vladimir ?uri?. Doktorsavhandling, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1137, Acta Universitatis Upsaliensis, Uppsala, 2014. (fulltext, preview image).
2. Optimal dynamic partial order reduction. Parosh Abdulla, Stavros Aronis, Bengt Jonsson och Konstantinos Sagonas. I Proc. 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, volym 49:1 av ACM SIGPLAN NOTICES, pp 373-384, ACM Press, New York, 2014. (DOI).
3. Block me if you can!: Context-sensitive parameterized verification. Parosh Aziz Abdulla, Frédéric Haziza och Lukás Holík. I Static Analysis: SAS 2014, volym 8723 av Lecture Notes in Computer Science, pp 1-17, Springer, 2014. (DOI, fulltext:postprint).
4. Budget-bounded model-checking pushdown systems. Parosh Aziz Abdulla, Mohamed Faouzi Atig, Othmane Rezine och Jari Stenman. I Formal methods in system design, volym 45, nummer 2, pp 273-301, 2014. (DOI).
5. Computing optimal reachability costs in priced dense-timed pushdown automata. Parosh Aziz Abdulla, Mohamed Faouzi Atig och Jari Stenman. I Language and Automata Theory and Applications: LATA 2014, volym 8370 av Lecture Notes in Computer Science, pp 62-75, Springer Berlin/Heidelberg, 2014. (DOI).
6. Infinite-state energy games. Parosh Aziz Abdulla, Mohamed Faouzi Atig, Piotr Hofman, Richard Mayr, K. Narayan Kumar och Patrick Totzke. I Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), CSL-LICS '14, Vienna, Austria, July 14 - 18, 2014, ACM Press, New York, 2014. (DOI).
7. Mediating for reduction (on minimizing alternating Buchi automata). Parosh Aziz Abdulla, Yu-Fang Chen, Lukag Holik och Tomas Vojnar. I Theoretical Computer Science, volym 552, pp 26-43, 2014. (DOI).
8. Stochastic Parity Games on Lossy Channel Systems. Parosh Aziz Abdulla, Lorenzo Clemente, Richard Mayr och Sven Sandberg. I Logical Methods in Computer Science, volym 10, nummer 4, 2014. (DOI, fulltext:print).
9. String Constraints for Verification. Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Lukas Holik, Ahmed Rezine och Philipp Rümmer. I Computer Aided Verification - 26th International Conference, {CAV} 2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna, Austria, July 18-22, 2014. Proceedings, pp 150-166, Springer, 2014. (DOI).
10. Verification of Dynamic Register Automata. Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmet Kara och Othmane Rezine. I Leibniz International Proceedings in Informatics: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2014), 2014. (fulltext:postprint).
11. Zenoness for Timed Pushdown Automata. Parosh Aziz Abdulla, Mohamed Faouzi Atig och Jari Stenman. I Proceedings 15th International Workshop on Verification of Infinite-State Systems, {INFINITY} 2013, Hanoi, Vietnam, 14th October 2013., pp -47, 2014. (DOI).
12. Low-Power Listening Goes Multi-Channel. Beshr Al Nahas, Simon Duquennoy, Venkatraman Iyer och Thiemo Voigt. I 2014 IEEE INTERNATIONAL CONFERENCE ON DISTRIBUTED COMPUTING IN SENSOR SYSTEMS (IEEE DCOSS 2014), IEEE International Conference on Distributed Computing in Sensor Systems, pp 2-9, 2014. (DOI).
13. Impact of cultural and language background on learning Computer Science concepts. Ismat Aldmour och Aletta Nylén. I Proc. 2nd International Conference on Learning and Teaching in Computing and Engineering, International Conference on Teaching and Learning in Computing and Engineering, pp 37-40, IEEE Computer Society, Los Alamitos, CA, 2014. (DOI).
14. Computational predictions of glass-forming ability and crystallization tendency of drug molecules. Amjad Alhalaweh, Ahmad Alzghoul, Waseem Kaialy, Denny Mahlin och Christel A. S. Bergström. I Molecular Pharmaceutics, volym 11, nummer 9, pp 3123-3132, 2014. (DOI).
15. Atmospheric sound propagation over large-scale irregular terrain. Martin Almquist, Ilkka Karasalo och Ken Mattsson. I Journal of Scientific Computing, volym 61, pp 369-397, 2014. (DOI).
16. High-fidelity numerical solution of the time-dependent Dirac equation. Martin Almquist, Ken Mattsson och Tomas Edvinsson. I Journal of Computational Physics, volym 262, pp 86-103, 2014. (DOI).
17. Comparing a knowledge-based and a data-driven method in querying data streams for system fault detection: A hydraulic drive system application. Ahmad Alzghoul, Björn Backe, Magnus Löfstrand, Arne Byström och Bengt Liljedahl. I Computers in industry (Print), volym 65, nummer 8, pp 1126-1135, 2014. (DOI).
18. Experimental and Computational Prediction of Glass Transition Temperature of Drugs. Ahmad Alzghoul, Amjad Alhalaweh, Denny Mahlin och Christel A. S. Bergström. I JOURNAL OF CHEMICAL INFORMATION AND MODELING, volym 54, nummer 12, pp 3396-3403, 2014. (DOI).
19. 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 Non-formal Modeling, volym 8345 av Lecture Notes in Computer Science, pp 47-66, Springer Berlin/Heidelberg, Heidelberg, 2014. (DOI).
20. Ämnesdidaktisk forskning: Ett stöd för utbildningsexcellens. Staffan Andersson och Arnold Pears. I I stort och smått – med studenten i fokus, volym 1 av Rapportserie från Enheten för kvalitetsutveckling och universitetspedagogik, pp 241-249, Uppsala universitet, 2014.
21. Scientific data as RDF with arrays: Tight integration of SciSPARQL queries into MATLAB. Andrej Andrejev, Xueming He och Tore Risch. I Proc. ISWC 2014 Posters & Demonstrations Track, volym 1272 av CEUR Workshop Proceedings, pp 221-224, RWTH Aachen University, 2014. (Fulltext).
22. The Gradual Verifier. Stephan Arlt, Cindy Rubio-Gonzalez, Philipp Rümmer, Martin Schäf och Natarajan Shankar. I NASA Formal Methods: 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 – May 1, 2014. Proceedings, volym 8430 av Lecture Notes in Computer Science, pp 313-327, Switzerland, 2014. (DOI, fulltext:postprint).
23. Programming and automating mathematics in the Tarski-Kleene hierarchy. Alasdair Armstrong, Georg Struth och Tjark Weber. I Journal of Logical and Algebraic Methods in Programming, volym 83, nummer 2, pp 87-102, 2014. (DOI).
24. ?????????????????? (The range of gender perspective in computer ethics research). Ryoko Asai. I ??????? (The Japan Society of Management Information (JASMIN) Journal), volym 23, nummer 2, pp 158-161, The Japan Society for Management Information, Tokyo, 2014. (Extern länk).
25. Responsibility and Competence in Political Ethics. Ryoko Asai och Iordanis Kavathatzopoulos. I Proceedings International Political Science Association, 23rd World Congress of Political Science, 2014: Challenges of contemporay governance, Montreal, 2014. (Extern länk, Responsibility and Competence in Political Ethics).
26. Activity profiles in online social media. Mohamed Faouzi Atig, Sofia Cassel, Lisa Kaati och Amendra Shrestha. I Proc. 6th International Conference on Advances in Social Networks Analysis and Mining, pp 850-855, IEEE Computer Society, 2014. (DOI).
27. Adjacent Ordered Multi-Pushdown Systems. Mohamed Faouzi Atig, K. Narayan Kumar och Prakash Shivasan. I International Journal of Foundations of Computer Science, volym 25, nummer 8, pp 1083-1096, 2014. (DOI).
28. Context-Bounded Analysis of TSO Systems. Mohamed Faouzi Atig, Ahmed Bouajjani och Gennaro Parlato. I From Programs to Systems: The Systems perspective in Computing, volym 8415 av Lecture Notes in Computer Science, pp 21-38, Springer, 2014. (DOI).
29. On Bounded Reachability Analysis of Shared Memory Systems. Mohamed Faouzi Atig, Ahmed Bouajjani, K. Narayan Kumar och Prakash Saivasan. I {IARCS} Annual Conference on Foundations of Software Technology and Theoretical Computer Science, {FSTTCS} 2014, December 15-17, 2014, New Delhi, India, 2014.
30. Cognitive Radar Waveform Design for Spectral Coexistence in Signal-Dependent Interference. Augusto Aubry, Antonio De Maio, Marco Piezzo, Mohammad Mahdi Naghsh, Mojtaba Soltanalian och Peter Stoica. I , 2014.
31. A comparison of iterative methods to solve complex valued linear algebraic systems. Owe Axelsson, Maya Neytcheva och Bashir Ahmad. I Numerical Algorithms, volym 66, pp 811-841, 2014. (DOI).
32. Building timing predictable embedded systems. Philip Axer, Rolf Ernst, Heiko Falk, Alain Girault, Daniel Grund, Nan Guan, Bengt Jonsson, Peter Marwedel, Jan Reineke, Christine Rochange, Maurice Sebastian, Reinhard von Hanxleden, Reinhard Wilhelm och Wang Yi. I ACM Transactions on Embedded Computing Systems, volym 13, nummer 4, pp 82:1-37, 2014. (DOI).
33. Document binarization using topological clustering guided Laplacian Energy Segmentation. Kalyan Ram Ayyalasomayajula och Anders Brun. I Proceedings International Conference on Frontiers in Handwriting Recognition (ICFHR), 2014, volym 14 av Frontiers in Handwriting Recognition, pp 523-528, 2014. (DOI, fulltext:preprint).
34. Automated Tissue Image Analysis Using Pattern Recognition. Jimmy Azar. Doktorsavhandling, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1175, Acta Universitatis Upsaliensis, Uppsala, 2014. (fulltext, preview image).
35. Image segmentation and identification of paired antibodies in breast tissue. Jimmy C. Azar, Martin Simonsson, Ewert Bengtsson och Anders Hast. I Computational & Mathematical Methods in Medicine, pp 647273:1-11, 2014. (DOI, Fulltext, fulltext:print).
36. Connection between SPICE and Square-Root LASSO for sparse parameter estimation. Prabhu Babu och Peter Stoica. I Signal Processing, volym 95, pp 10-14, 2014. (DOI).
37. Distributed multi-query optimization of continuous clustering queries. Sobhan Badiozamany. I Proc. VLDB 2014 PhD Workshop, 2014. (fulltext:print).
38. An evaluation of potential functions for regularized image deblurring. Buda Baji?, Joakim Lindblad och Nataša Sladoje. I Image Analysis and Recognition: Part I, volym 8814 av Lecture Notes in Computer Science, pp 150-158, Springer Berlin/Heidelberg, 2014. (DOI).
39. Model-based protocol log generation for testing a telecommunication test harness using CLP. Kenneth Balck, Olga Grinchtein och Justin Pearson. I Proc. 17th Conference on Design, Automation and Test in Europe, IEEE, Piscataway, NJ, 2014. (DOI).
40. Model-based protocol log generation for testing a telecommunication test harness using CLP. Kenneth Balck, Olga Grinchtein och Justin Pearson. I 2014 DESIGN, AUTOMATION AND TEST IN EUROPE CONFERENCE AND EXHIBITION (DATE), Design Automation and Test in Europe Conference and Expo, 2014.
41. Linking prefixes and suffixes for constraints encoded using automata with accumulators. Nicolas Beldiceanu, Mats Carlsson, Pierre Flener, María Andreína Francisco Rodríguez och Justin Pearson. I Principles and Practice of Constraint Programming: CP 2014, volym 8656 av Lecture Notes in Computer Science, pp 142-157, Springer, 2014. (DOI).
42. Propagating regular counting constraints. Nicolas Beldiceanu, Pierre Flener, Justin Pearson och Pascal Van Hentenryck. I Proc. 28th AAAI Conference on Artificial Intelligence: Volume 4, pp 2616-2622, AAAI Press, Palo Alto, CA, 2014. (Extern länk).
43. Toward sustainable development in constraint programming. Nicolas Beldiceanu, Pierre Flener, Jean-Noël Monette, Justin Pearson och Helmut Simonis. I Constraints, volym 19, nummer 2, pp 139-149, 2014. (DOI).
44. Quantitative and automated microscopy: Where do we stand after 80 years of research?. Ewert Bengtsson. I Proc. 11th International Symposium on Biomedical Imaging, pp 274-277, IEEE Press, Piscataway, NJ, 2014. (DOI).
45. Screening for Cervical Cancer Using Automated Analysis of PAP-Smears. Ewert Bengtsson och Patrik Malm. I Computational & Mathematical Methods in Medicine, volym 2014, pp 842037:1-12, Hindawi Publishing Corporation, 2014. (DOI, fulltext:print).
46. Duality based boundary conditions and dual consistent finite difference discretizations of the Navier–Stokes and Euler equations. Jens Berg och Jan Nordström. I Journal of Computational Physics, volym 259, pp 135-153, 2014. (DOI).
47. A glimpse into the cultural situatedness of computer science: Some insights from a pilot study. Anders Berglund och Neena Thota. I Proc. 2nd International Conference on Learning and Teaching in Computing and Engineering, International Conference on Teaching and Learning in Computing and Engineering, pp 92-99, IEEE Computer Society, Los Alamitos, CA, 2014. (DOI, fulltext:postprint).
48. Discipline-based staff development courses to promote a sustainable SOTL environment: An example from science and engineering at Uppsala University. Anders Berglund, Staffan Andersson, Maja Elmgren och Arnold Pears. I Proc. ICED 2014: Educational development in a changing world, pp 392-392, International Consortium for Educational Development, London, UK, 2014.
49. Learning to develop learning and teaching of CS: a collaborative example. Anders Berglund, Arnold Pears, Ali Alagla, Nimir Salih och Mohamed Shenify. I Proc. 2nd International Conference on Learning and Teaching in Computing and Engineering, International Conference on Teaching and Learning in Computing and Engineering, pp 147-148, IEEE Computer Society, Los Alamitos, CA, 2014. (DOI, fulltext:preprint).
50. Pedagogical development in engineering: A collaborative project between Saudi Arabia and Sweden. Anders Berglund och Arnold Pears. I Proc. World Engineering Education Forum, pp 967-968, 2014.
51. The Development of Cooperation Between Al Baha University and Uppsala University, Sweden. Anders Berglund och Peter Sundin. I International Exhibition and Conference on Higher Education, Riyadh, Saudi Arabia, 2014.
52. Opportunistic Networking: Congestion, Transfer Ordering and Resilience. Fredrik Bjurefors. Doktorsavhandling, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1148, Acta Universitatis Upsaliensis, Uppsala, 2014. (fulltext, preview image).
53. Resilience and Opportunistic Forwarding: Beyond Average Value Analysis. Fredrik Bjurefors, Markourios Karaliopoulos, Christian Rohner, Paul Smith, George Theodoropoulos och Per Gunningberg. I Computer Communications, volym 48, nummer SI, pp 111-120, 2014. (DOI).
54. Magnitude-constrained sequence design with application in MRI. Marcus Björk och Peter Stoica. I Proc. 39th IEEE International Conference on Acoustics, Speech, and Signal Processing, International Conference on Acoustics Speech and Signal Processing, pp 4943-4947, IEEE, Piscataway, NJ, 2014. (DOI).
55. New approach to phase correction in multi-echo T₂ relaxometry. Marcus Björk och Peter Stoica. I Journal of magnetic resonance, volym 249, pp 100-107, 2014. (DOI).
56. Parameter estimation approach to banding artifact reduction in balanced steady-state free precession. Marcus Björk, R. Reeve Ingle, Erik Gudmundson, Peter Stoica, Dwight G. Nishimura och Joëlle K. Barral. I Magnetic Resonance in Medicine, volym 72, nummer 3, pp 880-892, 2014. (DOI).
57. Wave simulation in 2D heterogeneous transversely isotropic porous media with fractional attenuation: A Cartesian grid approach. Emilie Blanc, Guillaume Chiavassa och Bruno Lombard. I Journal of Computational Physics, volym 275, pp 118-142, 2014. (DOI).
58. Temporal logics for concurrent recursive programs: Satisfiability and model checking. Benedikt Bollig, Aiswarya Cyriac, Paul Gastin och Marc Zeitoun. I Journal of Applied Logic, volym 12, nummer 4, pp 395-416, 2014. (DOI).
59. A Sorted Semantic Framework for Applied Process Calculi (extended abstract). Johannes Borgström, Ramunas Gutkovas, Joachim Parrow, Björn Victor och Johannes Åman Pohjola. I Trustworthy Global Computing: TGC 2013, volym 8358 av Lecture Notes in Computer Science, pp 103-118, Springer Berlin/Heidelberg, 2014. (DOI).
60. Proc. Combined 21st International Workshop on Expressiveness in Concurrency (EXPRESS 2014) and 11th Workshop on Structural Operational Semantics (SOS 2014). Johannes Borgström och Silvia Crafa (red). Volym 160 av Electronic Proceedings in Theoretical Computer Science, Open Publishing Association, 2014. (DOI).
61. Efficient numerical solution of discrete multi-component Cahn–Hilliard systems. Petia Boyanova och Maya Neytcheva. I Computers and Mathematics with Applications, volym 67, pp 106-121, 2014. (DOI).
62. Improved DCVD assessments of irradiated nuclear fuel using image analysis techniques. Erik Branger, Sophie Grape, Staffan Jacobsson Svärd och Erik L. G. Wernersson. I , 2014.
63. Towards unattended partial-defect verification of irradiated nuclear fuel assemblies using the DCVD. Erik Branger, Staffan Jacobsson Svärd, Sophie Grape och Erik L. G. Wernersson. I , 2014. (Fulltext).
64. Critical thinking, peer-writing, and the importance of feedback. Åsa Cajander, Mats Daniels, Anne-Kathrin Peters och Roger McDermott. I Proc. 44th ASEE/IEEE Frontiers in Education Conference, pp 1501-1507, IEEE Press, Piscataway, NJ, 2014. (DOI).
65. Ekonomiadministratörernas IT-relaterade arbetsmiljö vid Uppsala universitet: En kortfattad rapport från KiA-projektet. Åsa Cajander, Thomas Lind, Gerolf Nauwerck, Britta Nyberg och Bengt Sandblad. Technical report / Department of Information Technology, Uppsala University nr 2014-003, 2014. (Extern länk).
66. On the establishment of user-centred perspectives. Åsa Cajander, Rebecka Janols och Elina Eriksson. I Proc. 8th Nordic Conference on Human-Computer Interaction: Fun, Fast, Foundational, pp 103-112, ACM Press, New York, 2014. (DOI).
67. Picro-Sirius-HTX Stain for Blind Color Decomposition of Histopathological Prostate Tissue. Ingrid Carlbom, Christophe Avenel och Christer Busch. I Proc, IEEE 11th International Symposium on Biomedical Imaging (ISBI) 2014, pp 282-285, 2014.
68. Analysis of simple bioreactor models: A comparison between Monod and Contois kinetics. Bengt Carlsson och Jesús Zambrano. I Proc. IWA Conference on Activated Sludge – 100 Years and Counting, IWA Publishing, 2014.
69. Fault detection and isolation of sensors in aeration control systems. Bengt Carlsson och Jesús Zambrano. I Proc. IWA World Water Congress: 2014, IWA Publishing, 2014.
70. Protocol log analysis with constraint programming: Work in progress. Mats Carlsson, Olga Grinchtein och Justin Pearson. I Satisfiability Modulo Theories: SMT 2014, volym 1163 av CEUR Workshop Proceedings, pp 17-26, RWTH Aachen University, 2014. (Fulltext).
71. Enhanced learning by promoting engineering competencies. Sofia Cassel, Aletta Nylén och Björn Victor. I Proc. 44th ASEE/IEEE Frontiers in Education Conference, pp 2044-2049, IEEE Press, Piscataway, NJ, 2014. (DOI, Proceedings).
72. Learning Extended Finite State Machines. Sofia Cassel, Falk Howar, Bengt Jonsson och Bernhard Steffen. I Software Engineering and Formal Methods.  12th International Conference, SEFM 2014, volym 8702 av Lecture Notes in Computer Science, pp 250-264, Springer International Publishing, 2014. (DOI, Extern länk).
73. Managing power constraints in a single-core scenario through power tokens. Juan M. Cebrian, Daniel Sanchez, Juan L. Aragon och Stefanos Kaxiras. I Journal of Supercomputing, volym 68, nummer 1, pp 414-442, 2014. (DOI).
74. A longitudinal study of gait function and characteristics of gait disturbances in individuals with Alzheimer's disease. Ylva Cedervall, Kjartan Halvorsen och Anna Cristina Åberg. I Gait & Posture, volym 39, nummer 4, pp 1022-1027, 2014. (DOI, Fulltext, fulltext:print).
75. An algebraic theory of interface automata. Chris Chilton, Bengt Jonsson och Marta Kwiatkowska. I Theoretical Computer Science, volym 549, pp 146-174, 2014. (DOI).
76. Compositional assume–guarantee reasoning for input/output component theories. Chris Chilton, Bengt Jonsson och Marta Kwiatkowska. I Science of Computer Programming, volym 91, pp 115-137, 2014. (DOI).
77. Application of machine learning methods for fault detection in wastewater treatment plants. Tatiana Chistiakova, Jesús Zambrano och Bengt Carlsson. I Reglermöte, 2014.
78. Periodical solutions in a pulse-modulated model of endocrine regulation with time-delay. Alexander Churilov, Alexander Medvedev och Per Mattsson. I IEEE Transactions on Automatic Control, volym 59, nummer 3, pp 728-733, 2014. (DOI).
79. An impulse-to-impulse discrete-time mapping for a time-delay impulsive system. Alexander N. Churilov och Alexander Medvedev. I Automatica, volym 50, nummer 8, pp 2187-2190, 2014. (DOI).
80. Efficient algorithm for finding the exact minimum barrier distance. Krzysztof Chris Ciesielski, Robin Strand, Filip Malmberg och Punam K. Saha. I Computer Vision and Image Understanding, volym 123, pp 53-64, 2014. (DOI).
81. Software-controlled processor stalls for time and energy efficient data locality optimization. Philippe Clauss, Imen Fassi och Alexandra Jimborean. I Proc. International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS XIV), pp 199-206, IEEE, Piscataway, NJ, 2014. (DOI, fulltext:postprint).
82. Ethics, parliaments and members: learning to think ethically. Ken Coghill och Iordanis Kavathatzopoulos. I Challenges of contemporay governance, The International Political Science Association, Montreal, 2014. (Extern länk).
83. Parliamentary integrity systems: Parliamentarians’ ethical conduct, accountability and transparency. Ken Coghill, Julia Thorton, Cristina Neesham och Iordanis Kavathatzopoulos. I , The University of Hull, UK, 2014. (Extern länk).
84. Low Voltage Mini TEM. Eva Coufalova, Martin Mynar, Michal Drsticka, Petr Stepan och Ida-Maria Sintorn. I Proceedings, 2014.
85. Accuracy of the Finite Element Method in Deep Brain Stimulation Modelling. Rubén Cubo och Alexander Medvedev. I Proc. International Conference on Control Applications: CCA 2014, pp 1479-1484, IEEE, Piscataway, NJ, 2014. (DOI).
86. Stimulation field coverage and target structure selectivity in field steering brain stimulation. Rubén Cubo, Alexander Medvedev och Mattias Åström. I , 2014.
87. Target coverage and selectivity in field steering brain stimulation. Rubén Cubo, Mattias Åström och Alexander Medvedev. I Proc. 36th International Conference of the IEEE Engineering in Medicine and Biology Society, pp 522-525, IEEE, Piscataway, NJ, 2014. (DOI).
88. A new set distance and its application to shape registration. Vladimir Curic, Joakim Lindblad, Natasa Sladoje, Hamid Sarve och Gunilla Borgefors. I Pattern Analysis and Applications, volym 17, nummer 1, pp 141-152, 2014. (DOI).
89. Adaptive Mathematical Morphology: a survey of the field. Vladimir Curic, Anders Landström, Matthew J. Thurley och Cris L. Luengo Hendriks. I Pattern Recognition Letters, volym 47, pp 18-28, 2014. (DOI).
90. Controllers for the Verification of Communicating Multi-Pushdown Systems. Aiswarya Cyriac, Paul Gastin och K. Narayan Kumar. I , Lecture Notes in Computer Science, pp 297-311, 2014.
91. Reasoning about distributed systems: WYSIWYG. Aiswarya Cyriac och Paul Gastin. I , Leibniz International Proceedings in Informatics, 2014.
92. Verifying Communicating Multi-pushdown Systems via Split-Width. Aiswarya Cyriac, Paul Gastin och K. Narayan Kumar. I Automated Technology for Verification and Analysis, volym 8837 av Lecture Notes in Computer Science, pp 1-17, 2014. (DOI).
93. On some sparsity related problems and the randomized Kaczmarz algorithm. Liang Dai. Licentiatavhandling, IT licentiate theses / Uppsala University, Department of Information Technology nr 2014-003, Uppsala University, 2014. (fulltext).
94. On the randomized Kaczmarz algorithm. Liang Dai, Mojtaba Soltanalian och Kristiaan Pelckmans. I IEEE Signal Processing Letters, volym 21, nummer 3, pp 330-333, 2014. (DOI).
95. Sparse estimation from noisy observations of an overdetermined linear system. Liang Dai och Kristiaan Pelckmans. I Automatica, volym 50, nummer 11, pp 2845-2851, 2014. (DOI).
96. The Effects of Granularity and Adaptivity on Private/Shared Classification for Coherence. Mahdad Davari, Alberto Ros, Erik Hagersten och Stefanos Kaxiras. I , 2014.
97. CPU and GPU performance of large scale numerical simulations in Geophysics. Ali Dorostkar, Dimitar Lukarski, Björn Lund, Maya Neytcheva, Yvan Notay och Peter Schmidt. I Euro-Par 2014: Parallel Processing Workshops, Part I, volym 8805 av Lecture Notes in Computer Science, pp 12-23, Springer, 2014. (DOI).
98. Parallel performance study of block-preconditioned iterative methods on multicore computer systems. Ali Dorostkar, Dimitar Lukarski, Björn Lund, Maya Neytcheva, Yvan Notay och Peter Schmidt. Technical report / Department of Information Technology, Uppsala University nr 2014-007, 2014. (Extern länk).
99. An Emulation-based Method for Lifetime Estimation of Wireless Sensor Networks. Wilfried Dron, Simon Duquennoy, Thiemo Voigt, Khalil Hachicha och Patrick Garda. I , pp 241-248, 2014. (DOI).
100. Boundary waves and stability of the perfectly matched layer for the two space dimensional elastic wave equation in second order form. Kenneth Duru och Gunilla Kreiss. I SIAM Journal on Numerical Analysis, volym 52, pp 2883-2904, 2014. (DOI).
101. Efficient and stable perfectly matched layer for CEM. Kenneth Duru och Gunilla Kreiss. I Applied Numerical Mathematics, volym 76, pp 34-47, 2014. (DOI).
102. Numerical interaction of boundary waves with perfectly matched layers in two space dimensional elastic waveguides. Kenneth Duru och Gunilla Kreiss. I Wave motion, volym 51, pp 445-465, 2014. (DOI).
103. Stable and high order accurate difference methods for the elastic wave equation in discontinuous media. Kenneth Duru och Kristoffer Virta. I Journal of Computational Physics, volym 279, pp 37-62, 2014. (DOI).
104. Stable and high-order accurate boundary treatments for the elastic wave equation on second-order form. Kenneth Duru, Gunilla Kreiss och Ken Mattsson. I SIAM Journal on Scientific Computing, volym 36, pp A2787-A2818, 2014. (DOI).
105. Teaching and learning with MOOCs: Computing academics' perspectives and engagement. Anna Eckerdal, Päivi Kinnunen, Neena Thota, Aletta Nylén, Judy Sheard och Lauri Malmi. I Proc. 19th Conference on Innovation and Technology in Computer Science Education, pp 9-14, ACM Press, New York, 2014. (DOI).
106. Bounding and shaping the demand of generalized mixed-criticality sporadic task systems. Pontus Ekberg och Wang Yi. I Real-time systems, volym 50, nummer 1, pp 48-86, 2014. (DOI, fulltext:postprint).
107. A software based profiling method for obtaining speedup stacks on commodity multi-cores. David Eklöv, Nikos Nikoleris och Erik Hagersten. I 2014 IEEE INTERNATIONAL SYMPOSIUM ON PERFORMANCE ANALYSIS OF SYSTEMS AND SOFTWARE (ISPASS): ISPASS 2014, IEEE International Symposium on Performance Analysis of Systems and Software-ISPASS, pp 148-157, IEEE Computer Society, 2014. (DOI).
108. Uncertainty quantification for approximate p-quantiles for physical models with stochastic inputs. Daniel Elfverson, Donald J. Estep, Fredrik Hellman och Axel Målqvist. I SIAM/ASA Journal on Uncertainty Quantification, volym 2, pp 826-850, 2014. (DOI).
109. A Case for Node-Local Runtime Parameter Adaptation in Wireless Sensor Networks. Atis Elsts och Edith C.-H. Ngai. I Proc. 10th Swedish National Computer Networking Workshop, 2014.
110. Approximations for the moments of nonstationary and state dependent birth–death queues. Stefan Engblom och Jamol Pender. I Computing Research Repository, nummer 1406.6164, 2014. (Extern länk). Publikationsstatus: Submitted
111. On the stability of stochastic jump kinetics. Stefan Engblom. I Applied Mathematics, volym 5, pp 3217-3239, 2014. (DOI).
112. X-ray laser imaging of biomolecules using multiple GPUs. Stefan Engblom och Jing Liu. I Parallel Processing and Applied Mathematics: Part I, volym 8384 av Lecture Notes in Computer Science, pp 480-489, Springer-Verlag, Berlin, 2014. (DOI).
113. What's in your mind?: Collegial Verbalisation – An ecological approach to knowledge elicitation. Mikael Erlandsson. Doktorsavhandling, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1147, Acta Universitatis Upsaliensis, Uppsala, 2014. (fulltext, preview image).
114. How do the dynamics of battery discharge affect sensor lifetime?. Laura Marie Feeney, Christian Rohner, Per Gunningberg, Anders Lindgren och Lars Andersson. I 2014 11th Annual Conference on Wireless On-demand Network Systems and Services (WONS), pp 49-56, IEEE, Piscataway, NJ, 2014. (DOI).
115. Automating regression verification. Dennis Felsing, Sarah Grebing, Vladimir Klebanov, Philipp Rümmer och Mattias Ulbrich. I ASE '14 Proceedings of the 29th ACM/IEEE international conference on Automated software engineering, pp 349-360, ACM Press, New York, 2014. (DOI).
116. Propagators and violation functions for geometric and workload constraints arising in airspace sectorisation. Pierre Flener och Justin Pearson. Computing Research Repository nr 1401.7463, 2014. (Extern länk).
117. Dynamic budgeting for settling DRAM contention of co-running hard and soft real-time tasks. Jonas Flodin, Kai Lampka och Wang Yi. I Proc. 9th International Symposium on Industrial Embedded Systems, pp 151-159, IEEE, Piscataway, NJ, 2014. (DOI).
118. Spectral analysis and spectral symbol of <em>d</em>-variate Q_<em>p</em> Lagrangian FEM stiffness matrices. Carlo Garoni, Stefano Serra-Capizzano och Debora Sesana. Technical report / Department of Information Technology, Uppsala University nr 2014-021, 2014. (Extern länk).
119. Tools for determining the asymptotic spectral distribution of Hermitian matrix-sequences and applications. Carlo Garoni, Stefano Serra-Capizzano och Paris Vassalos. Technical report / Department of Information Technology, Uppsala University nr 2014-022, 2014. (Extern länk).
120. Static safety guarantees for a low-level multithreaded language with regions. Prodromos Gerakios, Nikolaos Papaspyrou och Konstantinos Sagonas. I Science of Computer Programming, volym 80, nummer Part B, pp 223-263, 2014. (DOI).
121. Canine body composition quantification using 3 tesla fat–water MRI. Aliya Gifford, Joel Kullberg, Johan Berglund, Filip Malmberg, Katie C. Coate, Phillip E. Williams, Alan D. Cherrington, Malcolm J. Avison och E. Brian Welch. I Journal of Magnetic Resonance Imaging, volym 39, nummer 2, pp 485-491, 2014. (DOI).
122. Pixel Classification Using General Adaptive Neighborhood-Based Features. Victor Gonzalez-Castro, Johan Debayle och Vladimir Curic. I Proceedings 22nd International Conference on Pattern Recognition (ICPR) 2014, International Conference on Pattern Recognition, pp 3750-3755, 2014. (DOI).
123. Control challenges in mobile telecommunications. Graham Goodwin, Mauricio Cea, Katrina Lau och Torbjörn Wigren. I The Impact of Control Technology, IEEE Control Systems Society, 2014. (Book).
124. Tabular: a schema-driven probabilistic programming language. Andrew D. Gordon, Thore Graepel, Nicolas Rolland, Claudio Russo, Johannes Borgström och John Guiver. I Proc. 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, volym 49:1 av ACM SIGPLAN NOTICES, pp 321-334, ACM Press, New York, 2014. (DOI, fulltext:print).
125. Adaptive Solvers for High-Dimensional PDE Problems on Clusters of Multicore Processors. Magnus Grandin. Doktorsavhandling, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1199, Acta Universitatis Upsaliensis, Uppsala, 2014. (fulltext, preview image).
126. Data structures and algorithms for high-dimensional structured adaptive mesh refinement. Magnus Grandin. Technical report / Department of Information Technology, Uppsala University nr 2014-019, 2014. (Extern länk).
127. Parallel data structures and algorithms for high-dimensional structured adaptive mesh refinement. Magnus Grandin och Sverker Holmgren. Technical report / Department of Information Technology, Uppsala University nr 2014-020, 2014. (Extern länk).
128. Partitioned mixed-criticality scheduling on multiprocessor platforms. Chuancai Gu, Nan Guan, Qingxu Deng och Wang Yi. I Proc. 17th Conference on Design, Automation and Test in Europe, IEEE, Piscataway, NJ, 2014. (DOI).
129. General and Efficient Response Time Analysis for EDF Scheduling. Nan Guan och Wang Yi. I Proc. 17th Conference on Design, Automation and Test in Europe, IEEE, Piscataway, NJ, 2014. (DOI).
130. WCET Analysis with MRU Cache: Challenging LRU for Predictability. Nan Guan, Mingsong Lv, Wang Yi och Ge Yu. I ACM Transactions on Embedded Computing Systems, volym 13, nummer 4s, 2014. (DOI).
131. Advancing concurrent system verification: Type based approach and tools. Ramunas Gutkovas. Licentiatavhandling, IT licentiate theses / Uppsala University, Department of Information Technology nr 2014-007, Uppsala University, 2014. (fulltext).
132. The concept of mobility in single- and double handed manipulation. Kjartan Halvorsen, Fredrik Tinmark och Anton Arndt. I Journal of Biomechanics, volym 47, nummer 14, pp 3569-3573, 2014. (DOI).
133. Automatic Characterization of the Physiological Condition of the Carotid Artery in 2D Ultrasound Image Sequences Using Spatiotemporal and Spatiospectral 2D Maps.. Hamed Hamid Muhammed och Jimmy C Azar. I International Journal of Biomedical Imaging, volym 2014, 2014. (DOI, Fulltext, fulltext:print).
134. Channel estimation using data embedded pilot in underwater acoustic communication. Jeong-Woo Han, Chan-Ho Hwang, Hyeong-Woo Lee, Ki-Man Kim, Magnus Lundberg Nordenvaad och Jin Seok Kim. I OCEANS 2014: Taipei, IEEE Press, Piscataway, NJ, 2014. (DOI).
135. A Chebyshev pseudospectral method to solve the space–time tempered fractional diffusion equation. Emmanuel Hanert och Cécile Piret. I SIAM Journal on Scientific Computing, volym 36, pp A1797-A1812, 2014. (DOI).
136. A cut finite element method for a Stokes interface problem. Peter Hansbo, Mats G. Larson och Sara Zahedi. I Applied Numerical Mathematics, volym 85, pp 90-114, 2014. (DOI).
137. A constraint programming approach for managing end-to-end requirements in sensor network macroprogramming. Farshid Hassani Bijarbooneh, Animesh Pathak, Justin Pearson, Valérie Issarny och Bengt Jonsson. I Proc. 3rd International Conference on Sensor Networks, pp 28-40, SciTePress, Setúbal, Portugal, 2014. (DOI).
138. Energy-efficient sensor selection for data quality and load balancing in wireless sensor networks. Farshid Hassani Bijarbooneh, Wei Du, Edith Ngai och Xiaoming Fu. I Proc. 22nd International Symposium on Quality of Service, pp 338-343, IEEE Communications Society, 2014. (DOI).
139. How to Promote Student Creativity and Learning using Tutorials in Teaching Graphics and Visualisation. Anders Hast. I Proc. 16th International Conference on Geometry and Graphics, pp 626-633, Innsbruck University Press, 2014.
140. How to promote student creativity and learning using tutorials in teaching graphics and visualisation. Anders Hast. I Journal for Geometry and Graphics, volym 18, nummer 2, pp 237-245, 2014.
141. Improved illumination correction that preserves medium sized objects. Anders Hast och Andrea Marchetti. I Machine Graphics & Vision, volym 23, nummer 1/2, pp 3-20, 2014. (fulltext:postprint).
142. Invariant Interest Point Detection Based on Variations of the Spinor Tensor. Anders Hast och Andrea Marchetti. I WSCG, Communication papers proceedings , ISBN 978-80-86943-71-8, pp 49-56, 2014.
143. Robust and Invariant Phase Based Local Feature Matching. Anders Hast. I 22nd International Conference on Pattern Recognition (ICPR), 2014, International Conference on Pattern Recognition, pp 809-814, 2014. (DOI).
144. Simple filter design for first and second order derivatives by a double filtering approach. Anders Hast. I Pattern Recognition Letters, volym 42, pp 65-71, Elsevier, 2014. (DOI).
145. Towards Automatic Stereo Pair Extraction for 3D Visualisation of Historical Aerial Photographs. Anders Hast. I IC3D, the International Conference on 3D Imaging, pp 1-8, 2014.
146. Local error estimates for adaptive simulation of the reaction–diffusion master equation via operator splitting. Andreas Hellander, Michael J. Lawson, Brian Drawert och Linda Petzold. I Journal of Computational Physics, volym 266, pp 89-100, 2014. (DOI).
147. A localized orthogonal decomposition method for semi-linear elliptic problems. Patrick Henning, Axel Målqvist och Daniel Peterseim. I Mathematical Modelling and Numerical Analysis, volym 48, pp 1331-1349, 2014. (DOI).
148. All is not lost: Understanding and exploiting packet corruption in outdoor sensor networks. Frederik Hermans, Hjalmar Wennerström, Liam McNamara, Christian Rohner och Per Gunningberg. I Wireless Sensor Networks: EWSN 2014, volym 8354 av Lecture Notes in Computer Science, pp 116-132, Springer Berlin/Heidelberg, 2014. (DOI).
149. Sensor Networks and Their Radio Environment: On Testbeds, Interference, and Broken Packets. Frederik Hermans. Doktorsavhandling, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1171, Acta Universitatis Upsaliensis, Uppsala, 2014. (fulltext, preview image).
150. Supporting Heterogeneous LCD/Camera Links. Frederik Hermans, Liam McNamara, Thiemo Voigt, Christian Rohner, Edith Ngai och Per Gunningberg. I Proc. 13th International Symposium on Information Processing in Sensor Networks, pp 289-290, IEEE Press, Piscataway, NJ, 2014. (DOI).
151. Accessing osteocyte lacunar geometrical properties in human jaw bone on the submicron length scale using synchrotron radiation mu CT. Bernhard Hesse, Nils Maennicke, Alexandra Pacureanu, Peter Varga, Max Langer, Peter Maurer, Francoise Peyrin och Kay Raum. I Journal of Microscopy, volym 255, nummer 3, pp 158-168, 2014. (DOI).
152. Alterations of Mass Density and 3D Osteocyte Lacunar Properties in Bisphosphonate- Related Osteonecrotic Human Jaw Bone, a Synchrotron mu CT Study. Bernhard Hesse, Max Langer, Peter Varga, Alexandra Pacureanu, Pei Dong, Susanne Schrof, Nils Maennicke, Heikki Suhonen, Cecile Olivier, Peter Maurer, Galateia J. Kazakia, Kay Raum och Francoise Peyrin. I PLOS ONE, volym 9, nummer 2, p e88481, 2014. (DOI, fulltext:print).
153. Poster Abstract: An Experimental Study of Attacks on the Availability of Glossy. Kasun Hewage och Thiemo Voigt. I Real-World Wireless Sensor Networks, volym 281 av Lecture Notes in Electrical Engineering, pp 103-107, 2014. (DOI).
154. Identification of the elementary motion detector model in fly motion vision from intracellularly recorded neural data. Egi Hidayat, Alexander Medvedev och Karin Nordström. I , 2014. Publikationsstatus: Submitted
155. On Identification of Biological Systems. Egi Hidayat. Doktorsavhandling, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1117, Acta Universitatis Upsaliensis, Uppsala, 2014. (fulltext, preview image).
156. Spatial excitation properties of sinusoidal grating stimuli in the identification of a layer of motion detectors. Egi Hidayat, Mojtaba Soltanalian, Alexander Medvedev och Karin Nordström. I , 2014. Publikationsstatus: Submitted
157. Horn Clauses for Communicating Timed Systems. Hossein Hojjat, Philipp Rümmer, Pavle Subotic och Yi Wang. I Proceedings First Workshop on Horn Clauses for Verification and Synthesis, volym 169 av Electronic Proceedings in Theoretical Computer Science, pp 39-52, 2014. (DOI, fulltext:postprint).
158. Dynamic autotuning of adaptive fast multipole methods on hybrid multicore CPU and GPU systems. Marcus Holm, Stefan Engblom, Anders Goude och Sverker Holmgren. I SIAM Journal on Scientific Computing, volym 36, pp C376-C399, 2014. (DOI).
159. Automatic and portable cloud deployment for scientific simulations. Christopher B. Horuk, Geoffrey Douglas, Anand Gupta, Chandra Krintz, Ben Bales, Giovanni Bellesia, Brian Drawert, Rich Wolski, Linda Petzold och Andreas Hellander. I Proc. 12th International Conference on High Performance Computing and Simulation, pp 374-381, IEEE, Piscataway, NJ, 2014. (DOI).
160. The pavement as a waveguide: Modeling, system identification, and parameter estimation. Roland Hostettler, Magnus Lundberg Nordenvaad och Wolfgang Birk. I IEEE Transactions on Instrumentation and Measurement, volym 63, nummer 8, pp 2052-2063, 2014. (DOI).
161. Sparsity-Aided Radar Waveform Synthesis. Heng Hu, Mojtaba Soltanalian, Petre Stoica och Xiaohua Zhu. I , 2014. (fulltext:postprint).
162. Mood-Fatigue Analyzer: Towards context-aware mobile sensing applications for safe driving. Wenyan Hu, Xiping Hu, Jun-qi Deng, Chunsheng Zhu, Georgios Fotopoulos, Edith C.-H. Ngai och Victor C. M. Leung. I Proc. 1st ACM Workshop on Middleware for Context-Aware Applications in the IoT, pp 19-24, ACM Press, New York, 2014. (DOI).
163. Multidimensional context-aware social network architecture for mobile crowdsensing. Xiping Hu, Xitong Li, Edith C.-H. Ngai, Victor C. M. Leung och Philippe Kruchten. I IEEE Communications Magazine, volym 52, nummer 6, pp 78-87, 2014. (DOI).
164. SAfeDJ Community: Situation-aware in-car music delivery for safe driving. Xiping Hu, Jun-qi Deng, Wenyan Hu, Georgios Fotopoulos, Edith C.-H. Ngai, Zhengguo Sheng, Min Liang, Xitong Li, Victor C. M. Leung och Sidney Fels. I Proc. 20th International Conference on Mobile Computing and Networking, pp 363-365, ACM Press, New York, 2014. (DOI).
165. Asymmetric nu-tube support vector regression. Xiaolin Huang, Lei Shi, Kristiaan Pelckmans och Johan A. K. Suykens. I Computational Statistics & Data Analysis, volym 77, pp 371-382, 2014. (DOI).
166. Delegation-based Authentication and Authorization for the IP-based Internet of Things. Rene Hummen, Shafagh Hossein, Shahid Raza, Thiemo Voigt och Klaus Wehrle. I , 2014.
167. Composition schemes for the stochastic differential equation describing collisional pitch-angle diffusion. Lars Josef Höök och Thomas Johnson. I Computer Physics Communications, volym 185, pp 590-594, 2014. (DOI).
168. On the bimodality in an introductory programming course: an analysis of student performance factors. Lars Josef Höök. Technical report / Department of Information Technology, Uppsala University nr 2014-006, 2014. (Extern länk).
169. An Evaluation of the Faster STORM Method for Super-resolution Microscopy. Omer Ishaq, Johan Elf och Carolina Wählby. I Proceedings of the 22nd International Conference on Pattern Recognition, International Conference on Pattern Recognition, pp 4435-4440, 2014. (DOI).
170. Evaluation of User Adoption during Three Module Deployments of Region-wide Electronic Patient Record Systems. Rebecka Janols, Thomas Lind, Bengt Göransson och Bengt Sandblad. I International Journal of Medical Informatics, volym 83, nummer 6, pp 438-449, 2014. (DOI).
171. Authority and level of automation: Lessons to be learned in design of in-vehicle assistance systems. Anders Jansson, Patrik Stensson, Ida Bodin, Anton Axelsson och Simon Tschirner. I Human-Computer Interaction: Applications and Services, Part III, volym 8512 av Lecture Notes in Computer Science, pp 413-424, Springer Berlin/Heidelberg, 2014. (DOI).
172. Utvärdering av förändringar i trafikledarnas beslutsfattande: Delrapport I: Den svenska ansatsen till kontrollstrategier i ett nutidshistoriskt och vetenskapligt internationellt perspektiv. Anders Jansson. KAJT-rapport, Uppsala, 2014.
173. Mathematical modeling of the human smooth pursuit system. Daniel Jansson. Licentiatavhandling, IT licentiate theses / Uppsala University, Department of Information Technology nr 2014-001, Uppsala University, 2014. (fulltext).
174. Volterra modeling of the smooth pursuit system with application to motor symptoms characterization in Parkinson's disease. Daniel Jansson och Alexander Medvedev. I 2014 European Control Conference (ECC), pp 1856-1861, IEEE, 2014. (DOI).
175. Dynamic and speculative polyhedral parallelization using compiler-generated skeletons. Alexandra Jimborean, Philippe Clauss, Jean-François Dollinger, Vincent Loechner och Juan Manuel Martinez Caamaño. I International journal of parallel programming, volym 42, nummer 4, pp 529-545, 2014. (DOI).
176. Fix the code. Don't tweak the hardware: A new compiler approach to Voltage–Frequency scaling. Alexandra Jimborean, Konstantinos Koukos, Vasileios Spiliopoulos, David Black-Schaffer och Stefanos Kaxiras. I Proc. 12th International Symposium on Code Generation and Optimization, pp 262-272, ACM Press, New York, 2014. (URL, fulltext:postprint).
177. Performance isolation for real-time systems with Xen hypervisor on multi-cores. Wei Jing, Nan Guan och Wang Yi. I Proc. 20th International Conference on Embedded and Real-Time Computing Systems and Applications, IEEE, Piscataway, NJ, 2014. (DOI).
178. Effects of defects on the tensile strength of short-fibre composite materials. Thomas Joffre, Arttu Miettinen, Erik L. G. Wernersson, Per Isaksson och E. Kristofer Gamstedt. I Mechanics of materials (Print), volym 75, pp 125-134, 2014. (DOI).
179. Time profiles for identifying users in online environments. Fredrik Johansson, Lisa Kaati och Amendra Shrestha. I Proc. 1st Joint Intelligence and Security Informatics Conference, pp 83-90, IEEE Computer Society, 2014. (DOI).
180. Analysis and mining of tags, (micro)blogs, and virtual communities. Lisa Kaati. I Encyclopedia of Social Network Analysis and Mining, pp 19-25, Springer, 2014. (DOI).
181. A quadratic edge-finding filtering algorithm for cumulative resource constraints. Roger Kameugne, Laure Pauline Fotso, Joseph Scott och Youcheu Ngo-Kateu. I Constraints, volym 19, nummer 3, pp 243-269, 2014. (DOI).
182. Filter Design with Hard Spectral Constraints. Johan Karlsson, Jian Li och Petre Stoica. I Signal Processing Conference (EUSIPCO), 2014 Proceedings of the 22nd European, pp 391-395, 2014.
183. Designing and using ethical autonomous agents. Iordanis Kavathatzopoulos. I Sweden – Kyoto Symposium, Kyoto University, Kyoto, 2014. (Extern länk).
184. Independent agents and ethics. Iordanis Kavathatzopoulos. I ICT and society, volym 431 av IFIP Advances in Information and Communication Technology, pp 39-46, Springer Berlin/Heidelberg, 2014. (DOI).
185. Philosophical method and the conflict liberty-security. Iordanis Kavathatzopoulos och Ryoko Asai. I Proceedings ETHICOMP 2014Li: berty and security in an age of ICTs, UPMC - Sorbonne Universités, Paris, 2014. (Extern länk).
186. Storebror vs lillebror. Iordanis Kavathatzopoulos. I Upsala Nya Tidning, volym 124, nummer 77, pp A5-A5, 2014. (Extern länk).
187. Supporting politicians’ skill to handle moral issues. Iordanis Kavathatzopoulos, Ken Coghill och Ryoko Asai. I Proceedings of IPSA 23rd Congress on Political Science, 2014: Challenges of contemporay governance, The International Political Science Association, Montreal, 2014. (Extern länk).
188. Vi behöver etikstudier som uppfyller mål på flera nivåer. Iordanis Kavathatzopoulos. I Etikstudier – En del av den framtida ekonomutbildningen!, pp 20-20, S.E.R.O., Stockholm, 2014. (slides).
189. A case for resource efficient prefetching in multicores. Muneeb Khan, Andreas Sandberg och Erik Hagersten. I Proc. International Symposium on Performance Analysis of Systems and Software: ISPASS 2014, pp 137-138, IEEE Computer Society, 2014. (DOI).
190. A case for resource efficient prefetching in multicores. Muneeb Khan, Andreas Sandberg och Erik Hagersten. I Proc. 43rd International Conference on Parallel Processing, pp 101-110, IEEE Computer Society, 2014. (DOI).
191. Resource conscious prefetching for irregular applications in multicores. Muneeb Khan och Erik Hagersten. I Proc. International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS XIV), pp 34-43, IEEE, Piscataway, NJ, 2014. (DOI).
192. Orbital morphology in Crouzon-Pfeiffer and Apert syndromes before and after surgical correction:study by 3D cephalometry, semi-automatic segmentation and 3D shape comparison. Roman Khonsari, Johan Nysjö, Benjamin Way, Tharsika Karunakaran, Ingela Nyström, Guillaume Odri, David Dunaway, R. Evans, Raphael Olszewski och Jonathan Britto. I Proc. Computer Assisted Radiology and Surgery (CARS). Fukuoka, Japan, June 25-28, pp 192-193, Springer, 2014.
193. Automated analysis of dynamic behavior of single cells in picoliter droplets. Mohammad Ali Khorshidi, Prem Kumar Periyannan Rajeswari, Carolina Wählby, Håkan N. Jönsson och Helene Andersson Svahn. I Lab on a Chip, volym 14, pp 931-937, 2014. (DOI).
194. Accelerated convergence for Schrödinger equations with non-smooth potentials. Emil Kieri. I BIT Numerical Mathematics, volym 54, pp 729-748, 2014. (DOI, fulltext:postprint).
195. Stiff convergence of force-gradient operator splitting methods. Emil Kieri. Technical report / Department of Information Technology, Uppsala University nr 2014-004, 2014. (Extern länk).
196. 3D Texture Analysis in Renal Cell Carcinoma Tissue Image Grading. Tae-Yun Kim, Nam-Hoon Cho, Goo-Bo Jeong, Ewert Bengtsson och Heung-Kook Choi. I Computational & Mathematical Methods in Medicine, volym 2014, pp 536217:1-12, Hindawi Publishing Corporation, 2014. (DOI, fulltext:print).
197. Kiel rekoni rektojn kaj strekojn inter ?iuj kurboj kaj aliaj bildoj sur la komputila ekrano?. Christer O. Kiselman. I Internacia Simpozio "Apliko de Esperanto en la profesia agado". Prelegaro, Vol. II., pp 72-92, Akademio Internacia de la Sciencoj, AIS, San Marino. AIS-Bulgario., Karlovo, BG, 2014. (Extern länk).
198. Låt oss förbättra samfundets ekonomi!. Christer O. Kiselman. I SMS-Bulletinen, pp 12-13, Svenska matematikersamfundet, 2014.
199. Pierre Lelong 1912–2011. Christer O. Kiselman. I Normat, volym 60, nummer 2, pp 70-81, 2014.
200. Stärk Normat genom att vidga dess bas!. Christer O. Kiselman. I SMS-Bulletinen, p 13, 2014.
201. Brief announcement: queue delegation locking. David Klaftenegger, Konstantinos Sagonas och Kjell Winblad. I Proc. 26th ACM Symposium on Parallelism in Algorithms and Architectures, pp 70-72, ACM Press, New York, 2014. (DOI, fulltext:print).
202. Delegation locking libraries for improved performance of multithreaded programs. David Klaftenegger, Konstantinos Sagonas och Kjell Winblad. I Euro-Par 2014: Parallel Processing, volym 8632 av Lecture Notes in Computer Science, pp 572-583, Springer Berlin/Heidelberg, 2014. (DOI).
203. Informatics and socio-technical challenges when designing solutions for integrated eCare. Sabine Koch, Maria Hägglund och Isabella Scandurra. I Achieving Effective Integrated E-Care Beyond the Silos, pp 108-134, IGI Global, 2014. (DOI).
204. Session types for broadcasting. Dimitrios Kouzapas, Ramunas Gutkovas och Simon J. Gay. I Proc. 7th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, volym 155 av Electronic Proceedings in Theoretical Computer Science, pp 25-31, 2014. (DOI, fulltext:print).
205. Nucleophilic substitution dynamics: Comparing wave packet calculations with experiment. Markus Kowalewski, Jochen Mikosch, Roland Wester och Regina de Vivie-Riedle. I Journal of Physical Chemistry A, volym 118, pp 4661-4669, 2014. (DOI).
206. Backward sequential Monte Carlo for marginal smoothing. Joel Kronander, Thomas B. Schön och Johan Dahlin. I Proc. 18th Workshop on Statistical Signal Processing, pp 368-371, IEEE, Piscataway, NJ, 2014. (DOI).
207. Robust auxiliary particle filters using multiple importance sampling. Joel Kronander och Thomas B. Schön. I Proc. 18th Workshop on Statistical Signal Processing, pp 268-271, IEEE, Piscataway, NJ, 2014. (DOI).
208. The 'Methods for designing for future autonomous systems' (MODAS) project: Developing the cab for a highly autonomous truck. Stas Krupenia, Anna Selmarker, Johan Fagerlönn, Katarina Delsing, Anders Jansson, Bengt Sandblad och Camilla Grane. I Advances in Human Aspects of Transportation, Part II: Proceedings of the 5th International Conference on Applied Human Factors and Ergonomics, pp 70-81, 2014.
209. Automatic Virus Identification using TEM: Image Segmentation and Texture AnalysisAutomatisk identifiering av virus med hjälp av transmissionselektronmikroskopi: bildsegmentering och texturanalys. Gustaf Kylberg. Doktorsavhandling, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1122, Acta Universitatis Upsaliensis, Uppsala, 2014. (fulltext, preview image).
210. Impact of code refactoring using object-oriented methodology on a scientific computing application. Malin Källén, Sverker Holmgren och Ebba þóra Hvannberg. I Proc. 14th International Working Conference on Source Code Analysis and Manipulation, pp 125-134, IEEE Computer Society, Los Alamitos, CA, 2014. (DOI).
211. Image Analysis Methods and Tools for Digital Histopathology Applications Relevant to Breast Cancer Diagnosis. Andreas Kårsnäs. Doktorsavhandling, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1128, Acta Universitatis Upsaliensis, Uppsala, 2014. (fulltext, preview image).
212. Multimodal histological image registration using locally rigid transforms. Andreas Kårsnäs och Robin Strand. I IEEE Transactions on Biomedical Engineering, 2014. Publikationsstatus: Submitted
213. Designing for Autonomy. Mikael Laaksoharju. Doktorsavhandling, Uppsala Dissertations from the Faculty of Science and Technology nr 105, Acta Universitatis Upsaliensis, Uppsala, 2014. (preview image, inside).
214. Large-Scale Social Network Analysis. Mattia Lambertini, Matteo Magnani, Moreno Marzolla, Danilo Montesi och Carmine Paolino. I Large-Scale Data Analytics, pp 155-187, Springer, 2014. (DOI).
215. A formal approach to the WCRT analysis of multicore systems with memory contention under phase-structured task sets. Kai Lampka, Georgia Giannopolou, Rodolfo Pellizzoni, Zheng Wu och Nikolay Stoimenov. I Real-time systems, volym 50, nummer 5-6, pp 736-773, 2014. (DOI, fulltext:postprint).
216. Priors for X-ray in-line phase tomography of heterogeneous objects. Max Langer, Peter Cloetens, Bernhard Hesse, Heikki Suhonen, Alexandra Pacureanu, Kay Raum och Françoise Peyrin. I Philosophical Transactions. Series A: Mathematical, physical, and engineering science, volym 372, nummer 2010, pp 20130129:1-9, 2014. (DOI).
217. Operational Semantics for Secure Interoperation. Adriaan Larmuseau, Marco Patrignani och Dave Clarke. I Proceedings of the Ninth Workshop on Programming Languages and Analysis for Security, 2014.
218. On designing the transmission and reception of multistatic continuous active sonar systems. Junli Liang, Luzhou Xu, Jian Li och Peter Stoica. I IEEE Transactions on Aerospace and Electronic Systems, volym 50, nummer 1, pp 285-299, 2014. (DOI).
219. Geovisualization of Uncertainty in Simulated Flood Maps. Nancy Joy Lim och Stefan Seipel. I Proceedings of the IADIS conference in Computer Graphics, Visualization, Computer Vision and Image Processing (CGCVIP), pp 206-214, 2014.
220. Affine operations plus symmetry yield perception of metric shape with large perspective changes (? 45 degrees): Data and model. Mats Lind, Young Lim Lee, Janusz Mazanowski, Georgios K. Kountouriotis och Geoffrey P. Bingham. I Journal of Experimental Psychology: Human Perception and Performance, volym 40, nummer 1, pp 83-93, 2014. (DOI).
221. Change and resistance to change in health care: Inertia in sociotechnical systems. Thomas Lind. Licentiatavhandling, IT licentiate theses / Uppsala University, Department of Information Technology nr 2014-005, Uppsala University, 2014. (fulltext).
222. Towards using the creation of a mosaic as a metaphor for change. Thomas Lind och Åsa Cajander. I Proc. 8th European Conference on IS Management and Evaluation (ECIME 2014), pp 377-379, Academic Conferences Publishing, Reading, UK, 2014.
223. Linear time distances between fuzzy sets with applications to pattern matching and classification. Joakim Lindblad och Natasa Sladoje. I IEEE Transactions on Image Processing, volym 23, nummer 1, pp 126-136, 2014. (DOI).
224. Optimizing optics and imaging for pattern recognition based screening tasks. Joakim Lindblad, Natasa Sladoje, Patrik Malm, Ewert Bengtsson, Ramin Moshavegh och Andrew Mehnert. I Proc. 22nd International Conference on Pattern Recognition, International Conference on Pattern Recognition, pp 3333-3338, IEEE Computer Society, 2014. (DOI).
225. Light scattering in fibrous media with different degrees of in-plane fiber alignment. Tomas Linder, Torbjörn Löfqvist, Erik L. G. Wernersson och Per Gren. I Optics Express, volym 22, nummer 14, pp 16829-16840, 2014. (DOI).
226. Particle Gibbs with ancestor sampling. Fredrik Lindsten, Michael I. Jordan och Thomas B. Schön. I Journal of machine learning research, volym 15, pp 2145-2184, 2014.
227. Use of cloud services in functional products: Availability implications. John Lindström, Magnus Löfstrand, Sean Reed och Ahmad Alzghoul. I Procedia CIRP, volym 16, pp 368-372, 2014. (DOI).
228. On Bayesian channel estimation and FFT-based symbol detection in MIMO underwater acoustic communications. Jun Ling, Xing Tan, Tarik Yardibi, Jian Li, Magnus Lundberg Nordenvaad, Hao He och Kexin Zhao. I IEEE Journal of Oceanic Engineering, volym 39, nummer 1, pp 59-73, 2014. (DOI).
229. A Graph-Based Implementation of the Anti-Aliased Euclidean Distance Transform. Elisabeth Linnér och Robin Strand. I Proceedings 22nd International Conference on Pattern Recognition (ICPR), 2014, International Conference on Pattern Recognition, pp 1025-1030, 2014. (DOI).
230. Anti-Aliased Euclidean Distance Transform on 3D Sampling Lattices. Elisabeth Linnér och Robin Strand. I Discrete Geometry for Computer Imagery: 18th IAPR International Conference, DGCI 2014, Siena, Italy, September 10-12, 2014. Proceedings, volym 8668 av Lecture Notes in Computer Science, pp 88-98, 2014. (DOI).
231. Evaluation of prostate segmentation algorithms for MRI: The PROMISE12 challenge. Geert Litjens, Robert Toth, Wendy van de Ven, Caroline Hoeks, Sjoerd Kerkstra, Bram van Ginneken, Graham Vincent, Gwenael Guillard, Neil Birbeck, Jindang Zhang, Robin Strand, Filip Malmberg, Yangming Ou, Christos Davatzikos, Matthias Kirschner, Florian Jung, Jing Yuan, Wu Qiu, Qinquan Gao, Philip Eddie Edwards, Bianca Maan, Ferdinand van der Heijden, Soumya Ghose, Jhimli Mitra, Jason Dowling, Dean Barratt, Henkjan Huisman och Anant Madabhushi. I Medical Image Analysis, volym 18, nummer 2, pp 359-373, 2014. (DOI).
232. Detection of Façade Regions in Street View Images from Split-and-Merge of Perspective Patches. Fei Liu och Stefan Seipel. I Journal of Image and Graphics, volym 2, nummer 1, pp 8-14, 2014. (Extern länk).
233. Matrix-free finite-element operator application on graphics processing units. Karl Ljungkvist. I Euro-Par 2014: Parallel Processing Workshops, Part II, volym 8806 av Lecture Notes in Computer Science, pp 450-461, Springer, 2014. (DOI).
234. On the impact of the heterogeneous multicore and many-core platforms on iterative solution methods and preconditioning techniques. Dimitar Lukarski och Maya Neytcheva. I High-Performance Computing on Complex Environments, pp 13-32, Wiley-Blackwell, Hoboken, NJ, 2014. (DOI).
235. Informal feedback rather than performance measurements: User-centred evaluation in Scrum projects. Marta Lárusdóttir, Åsa Cajander och Jan Gulliksen. I Behavior and Information Technology, volym 33, nummer 11, pp 1118-1135, 2014. (DOI).
236. On the integration of user centred design in agile development. Marta Lárusdóttir, Åsa Cajander, Jan Gulliksen, Gillbert Cockton, Peggy Gregory och Dina Salah. I Proc. 8th Nordic Conference on Human-Computer Interaction: Fun, Fast, Foundational, pp 817-820, ACM Press, New York, 2014. (DOI).
237. Continuous improvement in agile development practice: The case of value and non-value adding activities. Marta Kristín Lárusdóttir, Åsa Cajander och Michael Simader. I Human-Centered Software Engineering, volym 8742 av Lecture Notes in Computer Science, pp 57-72, Springer Berlin/Heidelberg, 2014. (DOI).
238. Evaluating availability of functional products through simulation. Magnus Löfstrand, Petter Kyösti, Sean Reed och Björn Backe. I Simulation Modelling Practice and Theory, volym 47, pp 196-209, 2014. (DOI).
239. Implementing a Vision: Studying Leaders’ Strategic Use of an Intranet while Exploring Ethnography within HCI. Anette Löfström. Doktorsavhandling, Uppsala Dissertations from the Faculty of Science and Technology nr 102, Acta Universitatis Upsaliensis, Uppsala, 2014. (fulltext, preview image).
240. Efficient and Flexible Sensornet Checkpointing. Andreas Löscher, Nicolas Tsiftes, Thiemo Voigt och Vlado Handziski. I Wireless Sensor Networks, volume 8354, pp -65, 2014. (DOI, Conference website).
241. Simulation of stochastic diffusion via first exit times. Per Lötstedt och Lina Meinecke. Technical report / Department of Information Technology, Uppsala University nr 2014-012, 2014. (Extern länk).
242. Multiple social networks, data models and measures for. Matteo Magnani och Luca Rossi. I Encyclopedia of Social Network Analysis and Mining, Springer, Berlin, 2014.
243. Path-based and Whole Network Measures. Matteo Magnani och Moreno Marzolla. I Encyclopedia of Social Network Analysis and Mining, Springer, Berlin, 2014.
244. Taking the Big Picture: Representative Skylines based on Significance and Diversity. Matteo Magnani, Ira Assent och Michael L. Mortensen. I The VLDB journal, volym 23, nummer 5, pp 795-815, Springer Berlin/Heidelberg, 2014. (DOI).
245. An efficient algorithm for exact evaluation of stochastic watersheds. Filip Malmberg och Cris L. Luengo Hendriks. I Pattern Recognition Letters, volym 47, pp 80-84, 2014. (DOI).
246. An interactive tool for deformable registration of volume images. Filip Malmberg, Robin Strand, Richard Nordenskjöld och Joel Kullberg. I Symposium of the Swedish Society for Automated Image Analysis (SSBA), 2014.
247. Exact evaluation of stochastic watersheds: From trees to general graphs. Filip Malmberg, Bettina Selig och Cris L. Luengo Hendriks. I Discrete Geometry for Computer Imagery, volym 8668 av Lecture Notes in Computer Science, pp 309-319, Springer Berlin/Heidelberg, 2014. (DOI).
248. Energy-efficient automatic location-triggered applications on smartphones. Yemao Man och Edith C.-H. Ngai. I Computer Communications, volym 50, pp 29-40, 2014. (DOI).
249. New insights into the mechanisms behind the strengthening of lignocellulosic fibrous networks with polyamines. Andrew Marais, Mikael S. Magnusson, Thomas Joffre, Erik L. G. Wernersson och Lars Wågberg. I Cellulose, volym 21, nummer 6, pp 3941-3950, 2014. (DOI).
250. A reduced MIMO Wiener model for recursive identification of the depth of anesthesia. Margarida Martins da Silva, Torbjörn Wigren och Teresa Mendonça. I International journal of adaptive control and signal processing (Print), volym 28, nummer 12, pp 1357-1371, 2014. (DOI).
251. Local identifiability and sensitivity analysis of neuromuscular blockade and depth of hypnosis models. Margarida Martins da Silva, João M. Lemos, Ana Coito, Bertinho A. Costa, Torbjörn Wigren och Teresa Mendonça. I Computer Methods and Programs in Biomedicine, volym 113, nummer 1, pp 23-36, 2014. (DOI).
252. Diagonal-norm summation by parts operators for finite difference approximations of third and fourth derivatives. Ken Mattsson. I Journal of Computational Physics, volym 274, pp 432-454, 2014. (DOI).
253. Optimal diagonal-norm SBP operators. Ken Mattsson, Martin Almquist och Mark H. Carpenter. I Journal of Computational Physics, volym 264, pp 91-111, 2014. (DOI).
254. Pulse-modulated feedback in mathematical modeling and estimation of endocrine systems. Per Mattsson. Licentiatavhandling, IT licentiate theses / Uppsala University, Department of Information Technology nr 2014-006, Uppsala University, 2014. (fulltext).
255. Recursive identification of Hammerstein models. Per Mattsson och Torbjörn Wigren. I Proc. American Control Conference: ACC 2014, pp 2498-2503, American Automatic Control Council, 2014. (DOI).
256. Subject-Level Quality Assurance in Computing: Experiences from three national perspectives. Roger McDermott, Mats Daniels och Marta Lárusdóttir. I Proc. 44th ASEE/IEEE Frontiers in Education Conference, pp 1189-1196, IEEE Press, Piscataway, NJ, 2014. (DOI, fulltext:postprint).
257. Demo Abstract: SicsthSense - Dispersing the Cloud. Liam McNamara, Beshr Al Nahas, Simon Duquennoy, Joakim Eriksson och Thiemo Voigt. 2014.
258. Laguerre domain modeling of continuous time delay in the face of finite-dimensional perturbation. Alexander Medvedev och Egi Hidayat. I , 2014. Publikationsstatus: Submitted
259. A Structural Texture Approach for Characterising Malignancy Associated Changes in Pap Smears Based on Mean-Shift and the Watershed Transform. Andrew Mehnert, Ramin Moshavegh, Vilayil K. Sujathan, Patrik Malm och Ewert Bengtsson. I Proc. 22nd International Conference on Pattern Recognition, International Conference on Pattern Recognition, pp 1189-1193, IEEE Computer Society, 2014. (DOI).
260. Energy Efficient GPS Acquisition with Sparse-GPS. Prasant Misra, Wen Hu, Yuzhe Jin, Jie Liu, Amanda Souza de Paula, Niklas Wirström och Thiemo Voigt. I , 2014.
261. A propagator design framework for constraints over sequences. Jean-Noël Monette, Pierre Flener och Justin Pearson. I Proc. 28th AAAI Conference on Artificial Intelligence: Volume 4, pp 2710-2716, AAAI Press, Palo Alto, CA, 2014. (Extern länk).
262. Localization of deep brain stimulation electrodes via metal artifacts in CT images. Amir Motevakel och Alexander Medvedev. I Proc. 36th International Conference of the IEEE Engineering in Medicine and Biology Society, pp 1055-1058, Curran Associates, Inc., 2014. (DOI).
263. Ubiquitous sensor data collection with mobile users. Brendan Mumey, Gang Xu och Edith C.-H. Ngai. I Proc. 3rd International Conference on Computing, Networking and Communications, pp 561-566, IEEE Press, Piscataway, NJ, 2014. (DOI).
264. Localization of elliptic multiscale problems. Axel Målqvist och Daniel Peterseim. I Mathematics of Computation, volym 83, nummer 290, pp 2583-2603, 2014. (DOI).
265. A Doppler robust design of transmit sequence and receive filter in the presence of signal-dependent interference. Mohammad Mahdi Naghsh, Mojtaba Soltanalian, Peter Stoica, Mahmoud Modarres-Hashemi, Antonio De Maio och Augusto Aubry. I IEEE Transactions on Signal Processing, volym 62, nummer 4, pp 772-785, 2014. (DOI).
266. A max–min design of transmit sequence and receive filter. Mohammad Mahdi Naghsh, Mojtaba Soltanalian, Peter Stoica, Mahmoud Modarres-Hashemi, Antonio De Maio och Augusto Aubry. I Proc. 39th International Conference on Acoustics, Speech, and Signal Processing, pp 71-75, IEEE, Piscataway, NJ, 2014. (DOI, fulltext:postprint).
267. Radar Code Design for Detection of Moving Targets. Mohammad Mahdi Naghsh, Mojtaba Soltanalian, Peter Stoica och Mahmoud Modarres-Hashemi. I IEEE Transactions on Aerospace and Electronic Systems, volym 50, nummer 4, pp 2762-2778, 2014. (DOI).
268. Unimodular code design for MIMO radar using Bhattacharyya distance. Mohammad Mahdi Naghsh, Mahmoud Modarres-Hashemi, Abbas Sheikhi, Mojtaba Soltanalian och Peter Stoica. I Proc. 39th International Conference on Acoustics, Speech, and Signal Processing, pp 5282-5286, IEEE, Piscataway, NJ, 2014. (DOI, fulltext:postprint).
269. Quality-of-information-aware data collection for mobile sensor networks. Edith C.-H. Ngai och Per Gunningberg. I Pervasive and Mobile Computing, volym 11, pp 203-215, 2014. (DOI).
270. Automatic Mapping of Standing Dead Trees after an Insect Outbreak Using the Window Independent Context Segmentation Method. Michael Nielsen, Marco Heurich, Bo Malmberg och Anders Brun. I Journal of forestry, volym 112, nummer 6, pp 564-571, 2014. (DOI).
271. Extending statistical cache models to support detailed pipeline simulators. Nikos Nikoleris, David Eklöv och Erik Hagersten. I 2014 IEEE International Symposium On Performance Analysis Of Systems And Software (Ispass), IEEE International Symposium on Performance Analysis of Systems and Software-ISPASS, pp 86-95, IEEE Computer Society, 2014. (DOI).
272. SADSense: Personalized Mobile Sensing for Seasonal Effects on Health. Kamyar Niroumand, Liam McNamara, Kiril Goguev och Edith Ngai. I Proc. 13th International Symposium on Information Processing in Sensor Networks, pp 295-296, IEEE Press, Piscataway, NJ, 2014. (DOI).
273. Haggle: Opportunistic mobile content sharing using search. Erik Nordström, Christian Rohner och Per Gunningberg. I Computer Communications, volym 48, pp 121-132, 2014. (DOI).
274. A flexible boundary procedure for hyperbolic problems: Multiple penalty terms applied in a domain. Jan Nordström, Qaisar Abbas, Brittany A. Erickson och Hannes Frenander. I Communications in Computational Physics, volym 16, pp 541-570, 2014. (DOI).
275. Model accuracy for active damping of a viscoelastic beam. Hans Norlander. I Preprints of the 19th World Congress, pp 4511-4516, 2014.
276. Modelling and Control Methods with Applications to Mechanical Waves. Hans Norlander. Doktorsavhandling, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1174, Acta Universitatis Upsaliensis, Uppsala, 2014. (fulltext, preview image).
277. A Streaming Distance Transform Algorithm for Neighborhood-Sequence Distances. Nicolas Normand, Robin Strand, Evenou Pierre och Aurore Arlicot. I Image Processing On Line, volym 4, pp 196-203, 2014. (DOI, Extern länk).
278. Approximate adjoint-based iterative learning control. Johannes Nygren, Kristiaan Pelckmans och Bengt Carlsson. I International Journal of Control, volym 87, nummer 5, pp 1028-1046, 2014. (DOI).
279. On the stability and optimality of an output feedback control law. Johannes Nygren och Kristiaan Pelckmans. 2014.
280. Output feedback control: Some methods and applications. Johannes Nygren. Licentiatavhandling, IT licentiate theses / Uppsala University, Department of Information Technology nr 2014-002, Uppsala University, 2014. (fulltext).
281. Custom Mandibular Implant Design with Deformable Models and Haptics. Fredrik Nysjö, Pontus Olsson, Jan-Michaél Hirsch och Ingrid B. Carlbom. I Proc. Computer Assisted Radiology and Surgery (CARS). Fukuoka, Japan, June 25-28, pp 246-247, Springer Berlin/Heidelberg, 2014. (DOI).
282. Finding keys for people with mild dementia: Not just a matter of beeping and flashing. Lars Oestreicher. I Proceedings 8th International Conference on Augmented Cognition, Foundations of Augmented Cognition: Advancing Human Performance and Decision-Making through Adaptive Systems, volym 8534 av Lecture Notes in Computer Science, pp 315-324, Springer Berlin/Heidelberg, 2014. (DOI).
283. Instrumentation, control and automation in wastewater – from London 1973 to Narbonne 2013. G. Olsson, Bengt Carlsson, J. Comas, J. Copp, K. V. Gernaey, P. Ingildsen, U. Jeppsson, C. Kim, L. Rieger, I. Rodriguez-Roda, J.-P. Steyer, I. Takacs, P. A. Vanrolleghem, A. Vargas, Z. Yuan och Linda Åmand. I Water Science and Technology, volym 69, nummer 7, pp 1373-1385, 2014. (DOI).
284. Modeling cache coherence misses on multicores. Xiaoyue Pan och Bengt Jonsson. I 2014 IEEE INTERNATIONAL SYMPOSIUM ON PERFORMANCE ANALYSIS OF SYSTEMS AND SOFTWARE (ISPASS), IEEE International Symposium on Performance Analysis of Systems and Software-ISPASS, pp 96-105, IEEE, 2014. (DOI).
285. Higher-order psi-calculi. Joachim Parrow, Johannes Borgström, Palle Raabjerg och Johannes Åman Pohjola. I Mathematical Structures in Computer Science, volym 24, nummer 2, Cambridge University Press, 2014. (DOI, fulltext:postprint).
286. Fully abstract trace semantics for low-level isolation mechanisms. Marco Patrignani och Dave Clarke. I Symposium on Applied Computing, SAC 2014., pp 1562-1569, ACM Press, 2014. (DOI).
287. Digital citizenship and social responsibility of computer professionals. Norberto Patrignani och Marco DeMarco. I Mondo Digitale, volym XIII, nummer 49, pp 1-10, AICA, Milano, 2014. (Extern länk).
288. From computer ethics to future (and information) ethics: The challenge of Nano-Bots. Norberto Patrignani. I Ethical dimensions of bio-nanotechnology: Present and future applications in telemedicine, IGI Global, Hershey, PA, USA, 2014. (DOI).
289. Slow Tech: The bridge between computer ethics and business ethics. Norberto Patrignani och Diane Whitehouse. I Proceedings 11th International Conference on human Choice and computers, HC11, 2014: ICT and society, volym 431 av IFIP Advances in Information and Communication Technology, pp 92-106, Springer Berlin/Heidelberg, Berlin/Heidelberg, 2014. (DOI, Extern länk).
290. AccAB – Processes and Roles for Accreditation of Computing Degrees at Al Baha University in Saudi Arabia. Arnold Pears, Anders Berglund, Aletta Nylén, Nimir Saleh och Mohammed Gamar. I Proc. World Engineering Education Forum, pp 969-970, 2014.
291. Four feed-forward principles enhance students' perception of feedback as meaningful. Arnold Pears, James Harland, Margaret Hamilton och Roger Hadgraft. I Proc. 2nd International Conference on Learning and Teaching in Computing and Engineering, International Conference on Teaching and Learning in Computing and Engineering, pp 272-277, IEEE Computer Society, Los Alamitos, CA, 2014. (DOI).
292. Integrating global systems development skills into the engineering curriculum. Arnold Pears, Mats Daniels och Åsa Cajander. I Proc. 3rd ASEE International Forum, pp 11088:1-8, American Society for Engineering Education, 2014.
293. First year Computer Science and IT students' experience of participation in the discipline. Anne-Kathrin Peters, Anders Berglund, Anna Eckerdal och Arnold Pears. I Proc. 2nd International Conference on Learning and Teaching in Computing and Engineering, pp 1-8, IEEE Computer Society, Los Alamitos, CA, 2014. (DOI, fulltext:preprint).
294. Identity development in computing education: Theoretical perspectives and an implementation in the classroom. Anne-Kathrin Peters och Detlef Rick. I Proc. 9th Workshop in Primary and Secondary Computing Education, pp 70-79, ACM Press, New York, 2014. (DOI).
295. The role of students' identity development in higher education in computing. Anne-Kathrin Peters. Licentiatavhandling, IT licentiate theses / Uppsala University, Department of Information Technology nr 2014-004, Uppsala University, 2014. (fulltext).
296. A stochastic Galerkin method for the Euler equations with Roe variable transformation. Per Pettersson, Gianluca Iaccarino och Jan Nordström. I Journal of Computational Physics, volym 257, pp 481-500, 2014. (DOI).
297. Large-Scale Analysis of Cells and Tissue. Petter Ranefall, Sajith Kecheril Sadanandan, Omer Ishaq, Damian Matuszewski, Ida-Maria Sintorn och Carolina Wählby. I , 2014.
298. The Giga-pixel Challenge: Full Resolution Image Analysis – Without Losing the Big Picture: An open-source approach for multi-scale analysis and visualization of slide-scanner data. Petter Ranefall, Alexandra Pacureanu, Christophe Avenel, Anne E. Carpenter och Carolina Wählby. I , 2014. (fulltext:postprint).
299. Nonlinear estimation of a parsimonious Wiener model for the neuromuscular blockade in closed-loop anesthesia. Olov Rosén, Margarida Martins da Silva och Alexander Medvedev. I Proc. 19th IFAC World Congress, pp 9258-9264, International Federation of Automatic Control, 2014. (DOI).
300. Parallel recursive Bayesian estimation on multicore computational platforms using orthogonal basis functions. Olov Rosén och Alexander Medvedev. I Proc. American Control Conference: ACC 2014, pp 622-627, American Automatic Control Council, 2014. (DOI).
301. Spectrally constrained waveform design. William Rowe, Peter Stoica och Jian Li. I IEEE signal processing magazine (Print), volym 31, nummer 3, pp 157-162, 2014. (DOI).
302. Chunks and Tasks: A programming model for parallelization of dynamic algorithms. Emanuel H. Rubensson och Elias Rudberg. I Parallel Computing, volym 40, pp 328-343, 2014. (DOI).
303. Interior eigenvalues from density matrix expansions in quantum mechanical molecular dynamics. Emanuel H. Rubensson och Anders M. N. Niklasson. I SIAM Journal on Scientific Computing, volym 36, pp B147-B170, 2014. (DOI, fulltext:postprint).
304. More scalable ordered set for ETS using adaptation. Konstantinos Sagonas och Kjell Winblad. I Proc. 13th ACM SIGPLAN Workshop on Erlang, pp 3-11, ACM Press, New York, 2014. (DOI).
305. An IMEX-scheme for pricing options under stochastic volatility models with jumps. Santtu Salmi, Jari Toivanen och Lina von Sydow. I SIAM Journal on Scientific Computing, volym 36, pp B817-B834, 2014. (DOI).
306. Full Speed Ahead: Detailed Architectural Simulation at Near-Native Speed. Andreas Sandberg, Erik Hagersten och David Black-Schaffer. Technical report / Department of Information Technology, Uppsala University nr 2014-005, 2014. (Extern länk, fulltext).
307. Understanding Multicore Performance: Efficient Memory System Modeling and Simulation. Andreas Sandberg. Doktorsavhandling, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1136, Acta Universitatis Upsaliensis, Uppsala, 2014. (preview image, fulltext).
308. CPS2: a Contextual Privacy Framework for Social Software. Rula Sayaf, Dave Clarke och Richard Harper. I 10th International Conference on Security and Privacy in Communication Networks (SECURECOMM2014), Lecture Notes of the Institute for Computer Sciences Social Informatics and Telecommunications Engineering, pp 25-32, 2014. (DOI).
309. Towards national deployment of online medical records and eHealth services. Isabella Scandurra, Rose-Mharie Åhlfeldt och Åsa Cajander. I Vitalis – Nordens ledande eHälsomöte 2014, pp 16-19, GUPEA, 2014. (Proceedings).
310. Solving Geospatial Tasks in 2D and 3D Visualizations of Maps. Stefan Seipel. I Information Visualisation: Techniques, Usability and Evaluation, pp 222-271, Cambridge Scholars Publishing, 2014.
311. Researching the Use of the Internet – A Beginner's Guide. Håkan Selg. Doktorsavhandling, Uppsala Dissertations from the Faculty of Science and Technology nr 109, Acta Universitatis Upsaliensis, Uppsala, 2014. (preview image).
312. The Direct-to-Data (D2D) Cache: Navigating the cache hierarchy with a single lookup. Andreas Sembrant, Erik Hagersten och David Black-Schaffer. I Proc. 41st International Symposium on Computer Architecture, pp 133-144, IEEE Press, Piscataway, NJ, 2014. (DOI).
313. Toeplitz matrices: Spectral properties and preconditioning in the CG method. Stefano Serra-Capizzano. Technical report / Department of Information Technology, Uppsala University nr 2014-024, 2014. (Extern länk).
314. Minimum sidelobe beampattern design for MIMO radar systems: A robust approach. Nafiseh Shariati, Dave Zachariah och Mats Bengtsson. I Proc. 39th International Conference on Acoustics, Speech, and Signal Processing, pp 5312-5316, IEEE, Piscataway, NJ, 2014. (DOI).
315. Missing data in multiplex networks: a preliminary study. Rajesh Sharma, Matteo Magnani och Danilo Montesi. I , IEEE Computer Society, 2014.
316. MOOCs and their impact on academics. Judy Sheard, Anna Eckerdal, Päivi Kinnunen, Lauri Malmi, Aletta Nylén och Neena Thota. I Proc. 14th International Conference on Computing Education Research: Koli Calling, pp 137-145, ACM Press, New York, 2014. (DOI).
317. Nonlinear Modeling and Feedback Control of Drug Delivery in Anesthesia. Margarida M. Silva. Doktorsavhandling, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1187, Acta Universitatis Upsaliensis, Uppsala, 2014. (fulltext, preview image).
318. A Desk-Top Low voltage TEM for high quality imaging of biological specimen. Ida-Maria Sintorn, Martin Ryner, Gustaf Kylberg, Rickard Nordström, Mats Uppström, Jan Fulin, Petr Stepan, Vladimir Kolarik, Michal Drsticka och Eva Coufalova. I Proceedings, 2014.
319. Automated multi-scale image acquisition for efficient particle detection and analysis using the mini-TEM. Ida-Maria Sintorn, Gustaf Kylberg, Rickard Nordström, Petr Stepan, Vladimir Kolarik, Eva Coufalova och Michal Drsticka. I Proceedings, 2014.
320. MiniTEM - making ultra-structural pathology easier and accessible. Ida-Maria Sintorn, Gustaf Kylberg, Lars Haag, Rickard Nordström, Martin Ryner, Anca Dragomir, Kjell Hultenby, Eva Coufalova och Michal Drsticka. I , 2014.
321. The mini-TEM: high quality imaging and analysis of biological specimen. Ida-Maria Sintorn, Gustaf Kylberg, Rickard Nordström, Mats Uppström, Jan Fulin, Johan Åkesson, Kristoffer Danielsson, Petr Stepan, Vladimir Kolarik, Michal Drsticka och Eva Coufalova. I Proceedings, 2014.
322. Virus recognition based on local texture. Ida-Maria Sintorn och Gustaf Kylberg. I Proceedings 22nd International Conference on Pattern Recognition (ICPR), 2014, International Conference on Pattern Recognition, pp 3227-3232, 2014. (DOI).
323. miniTEM - a desk-top TEM for fast and easy image acquisition and analysis. Ida-Maria Sintorn, Gustaf Kylberg, Lars Haag, Rickard Nordström, Mats Uppström, Jan Fulin, Johan Åkesson, Kristoffer Danielsson, Michal Drsticka och Eva Coufalova. I , 2014.
324. HTSeq-Hadoop: Extending HTSeq for Massively Parallel Sequencing Data Analysis using Hadoop. Alexey Siretskiy och Ola Spjuth. I Proc. 10th International Conference on e-Science, pp 317-323, IEEE Computer Society, 2014. (DOI).
325. A tunable cache for approximate computing. Magnus Själander, Nina Shariati Nilsson och Stefanos Kaxiras. I Proc. 10th International Symposium on Nanoscale Architectures, IEEE International Symposium on Nanoscale Architectures, pp 88-89, IEEE, Piscataway, NJ, 2014. (DOI).
326. Power-Efficient Computer Architectures: Recent Advances. Magnus Själander, Margaret Martonosi och Stefanos Kaxiras. Morgan & Claypool Publishers, 2014. (DOI).
327. Investigating population history using temporal genetic differentiation. Pontus Skoglund, Per Sjödin, Tobias Skoglund, Martin Lascoux och Mattias Jakobsson. I Molecular biology and evolution, volym 31, nummer 9, pp 2516-2527, 2014. (DOI).
328. A Recursive Method for Enumeration of Costas Arrays. Mojtaba Soltanalian och Petre Stoica. 2014. (fulltext).
329. Approaching peak correlation bounds via alternating projections. Mojtaba Soltanalian, Mohammad Mahdi Naghsh och Peter Stoica. I Proc. 39th International Conference on Acoustics, Speech, and Signal Processing, International Conference on Acoustics Speech and Signal Processing, pp 5317-5321, IEEE, Piscataway, NJ, 2014. (DOI).
330. Design of Piecewise Linear Polyphase Sequences with Good Correlation Properties. Mojtaba Soltanalian, Petre Stoica, Mohammad Mahdi Naghsh och Antonio De Maio. I , 2014. (fulltext:postprint).
331. Designing unimodular codes via quadratic optimization. Mojtaba Soltanalian och Peter Stoica. I IEEE Transactions on Signal Processing, volym 62, nummer 5, pp 1221-1234, 2014. (DOI).
332. MERIT: A monotonically error-bound improving technique for unimodular quadratic programming. Mojtaba Soltanalian och Peter Stoica. I Proc. 39th International Conference on Acoustics, Speech, and Signal Processing, International Conference on Acoustics Speech and Signal Processing, pp 5656-5660, IEEE, Piscataway, NJ, 2014. (DOI, fulltext:postprint).
333. On Prime Root-of-Unity Sequences with Perfect Periodic Correlation. Mojtaba Soltanalian och Petre Stoica. I IEEE Transactions on Signal Processing, volym 62, nummer 20, pp 5458-5470, 2014. (DOI).
334. On meeting the peak correlation bounds. Mojtaba Soltanalian, Mohammad Mahdi Naghsh och Peter Stoica. I IEEE Transactions on Signal Processing, volym 62, nummer 5, pp 1210-1220, 2014. (DOI).
335. Search for Costas Arrays Via Sparse Representation. Mojtaba Soltanalian, Petre Stoica och Jian Li. I , 2014. (fulltext:postprint).
336. Signal Design for Active Sensing and Communications. Mojtaba Soltanalian. Doktorsavhandling, Uppsala Dissertations from the Faculty of Science and Technology nr 108, Acta Universitatis Upsaliensis, Uppsala, 2014. (fulltext, preview image).
337. Single-stage transmit beamforming design for MIMO radar. Mojtaba Soltanalian, Heng Hu och Peter Stoica. I Signal Processing, volym 102, pp 132-138, 2014. (DOI).
338. A novel incentive negotiation mechanism for participatory sensing under budget constraints. Zheng Song, Edith Ngai, Jian Ma och Wendong Wang. I Proc. 22nd International Symposium on Quality of Service, pp 326-331, IEEE Communications Society, 2014. (DOI).
339. Incentive mechanism for participatory sensing under budget constraints. Zheng Song, Edith Ngai, Jian Ma, Xiangyang Gong, Yazhi Liu och Wendong Wang. I Proc. Wireless Communications and Networking Conference 2014, pp 3361-3366, IEEE Communications Society, 2014. (DOI).
340. Frequency domain EIV identification:a Frisch Scheme approach. Umberto Soverini och Torsten Söderström. I IFAC 19th World Congress, 2014.
341. Frequency domain maximum likelihood identificationof noisy input-output models. Umberto Soverini och Torsten Söderström. I IFAC 19th World Congress, 2014.
342. Automous Technology - Sources of Confusion: A Model for Explanation and Prediction of Conceptual Shifts. Patrik Stensson och Anders Jansson. I Ergonomics, volym 57, nummer 3, pp 455-470, Taylor & Francis, 2014. (DOI).
343. Edge awareness: A dynamic safety perspective on four accidents/incidents. Patrik Stensson och Anders Jansson. I Advances in Human Factors, Software and Systems Engineering: Proceedings of the Fifth International Conference on Applied Human Factors and Ergonomics, pp -179, 2014.
344. Real-Time Workload Models: Expressiveness vs. Analysis Efficiency. Martin Stigge. Doktorsavhandling, Uppsala Dissertations from the Faculty of Science and Technology nr 103, Acta Universitatis Upsaliensis, Uppsala, 2014. (fulltext, preview image).
345. Refinement-based Exact Response-Time Analysis. Martin Stigge, Nan Guan och Wang Yi. I 2014 26TH EUROMICRO CONFERENCE ON REAL-TIME SYSTEMS (ECRTS 2014), Euromicro Workshop on Real-Time Systems-Proceedings, pp 143-152, 2014. (DOI).
346. Gridless compressive-sensing methods for frequency estimation: Points of tangency and links to basics. Peter Stoica, Gongguo Tang, Zai Yang och Dave Zachariah. I Proc. 22nd European Signal Processing Conference, IEEE, Lisbon, Portugal, 2014.
347. Weighted SPICE: A unifying approach for hyperparameter-free sparse estimation. Peter Stoica, Dave Zachariah och Jian Li. I Digital signal processing (Print), volym 33, pp 1-12, 2014. (DOI).
348. The Minimum Barrier Distance - Stability to seed point position. Robin Strand, Filip Malmberg, Punam Saha och Elisabeth Linnér. I Discrete Geometry for Computer Imagery, DGCI 2014, volym 8668 av Lecture Notes in Computer Science, pp 111-121, 2014. (DOI).
349. Service guarantee exploration for mixed-criticality systems. Hang Su, Nan Guan och Dakai Zhu. I Proc. 20th International Conference on Embedded and Real-Time Computing Systems and Applications, IEEE, Piscataway, NJ, 2014. (DOI).
350. Speculative program parallelization with scalable and decentralized runtime verification. Aravind Sukumaran-Rajam, Juan Manuel Martinez Caamaño, Willy Wolff, Alexandra Jimborean och Philippe Clauss. I Runtime Verification, volym 8734 av Lecture Notes in Computer Science, pp 124-139, Springer Berlin/Heidelberg, 2014. (DOI, fulltext:postprint).
351. Improving the response time analysis of global fixed-priority multiprocessor scheduling. Youcheng Sun, Giuseppe Lipari, Nan Guan och Wang Yi. I Proc. 20th International Conference on Embedded and Real-Time Computing Systems and Applications, IEEE, Piscataway, NJ, 2014. (DOI).
352. Identification of jump Markov linear models using particle filters. Andreas Svensson, Thomas B. Schön och Fredrik Lindsten. I Proc. 53rd Conference on Decision and Control, pp 6504-6509, IEEE, Piscataway, NJ, 2014. (DOI).
353. A unified framework for EIV identification methods in the presence of mutually correlated noises. Torsten Söderström, Roberto Diversi och Umberto Soverini. I IFAC 19th World Congress, Elsevier, 2014.
354. A unified framework for EIV identification methods when the measurement noises are mutually correlated. Torsten Söderström, Roberto Diversi och Umberto Soverini. I Automatica, volym 50, nummer 12, pp 3216-3223, 2014. (DOI).
355. Extended accuracy analysis of a covariance matching approach for identifying errors-in-variables systems. Torsten Söderström, David Kreiberg och Magnus Mossberg. I Automatica, volym 50, nummer 10, pp 2597-2605, 2014. (DOI).
356. NO_x control for SCR systems using feedback linearisation. Soma Tayamon, Torbjörn Wigren och Bengt Carlsson. I 23rd ERNSI Workshop in System Identification, European Research Network System Identification, 2014.
357. Nonlinear System Identification and Control Applied to Selective Catalytic Reduction Systems. Soma Tayamon. Doktorsavhandling, Uppsala Dissertations from the Faculty of Science and Technology nr 106, Acta Universitatis Upsaliensis, Uppsala, 2014. (fulltext, preview image).
358. A broader threshold: Including skills as well as concepts in computing education. Lynda Thomas, Jonas Boustedt, Anna Eckerdal, Robert McCartney, Jan Erik Moström, Kate Sanders och Carol Zander. I Threshold Concepts: From personal practice to communities of practice, pp 154-158, NAIRTL, Cork, Ireland, 2014.
359. Graduating students' designs — through a phenomenographic lens. Lynda Thomas, Anna Eckerdal, Robert McCartney, Jan Erik Moström, Kate Sanders och Carol Zander. I Proc. 10th International Computing Education Research Conference, pp 91-98, ACM Press, New York, 2014. (DOI).
360. Programming course design: Phenomenographic approach to learning and teaching. Neena Thota. I Proc. 2nd International Conference on Learning and Teaching in Computing and Engineering, pp 125-132, IEEE Computer Society, Los Alamitos, CA, 2014. (DOI, fulltext:postprint).
361. Repertory grid interviews: Insights into personal constructs of novice programmers. Neena Thota. I SAGE Research Methods Cases, Sage Publications, 2014. (DOI).
362. A task parallel implementation of an RBF-generated finite difference method for the shallow water equations on the sphere. Martin Tillenius, Elisabeth Larsson, Erik Lehto och Natasha Flyer. Technical report / Department of Information Technology, Uppsala University nr 2014-011, 2014. (Extern länk).
363. Scientific Computing on Multicore Architectures. Martin Tillenius. Doktorsavhandling, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1139, Acta Universitatis Upsaliensis, Uppsala, 2014. (fulltext, preview image).
364. SuperGlue: A shared memory framework using data versioning for dependency-aware task-based parallelization. Martin Tillenius. Technical report / Department of Information Technology, Uppsala University nr 2014-010, 2014. (Extern länk).
365. Extremum seeking control of the CANON process: Existence of multiple stationary solutions. Olle Trollberg, Bengt Carlsson och Elling W. Jacobsen. I Journal of Process Control, volym 24, nummer 2, pp 348-356, 2014. (DOI).
366. Scalable Numerical Queries by Algebraic Inequality Transformations. Thanh Truong och Tore Risch. I Database Systems for Advanced Applications, Dasfaa 2014, PT I, volym 8421 av Lecture Notes in Computer Science, pp 95-109, 2014.
367. Solutions to the problem of inconsistent plans in railway traffic operation. Simon Tschirner, Bengt Sandblad och Arne W. Andersson. I Journal of Rail Transport Planning & Management, volym 4, nummer 4, pp 87-97, 2014. (DOI).
368. 3D tree-ring analysis using helical X-ray tomography. Jan Van den Bulcke, Erik L. G. Wernersson, Manuel Dierick, Denis Van Loo, Bert Masschaele, Loes Brabant, Matthieu N. Boone, Luc Van Hoorebeke, Kristof Haneca, Anders Brun, Cris L. Luengo Hendriks och Joris Van Acker. I Dendrochronologia, volym 32, nummer 1, pp 39-46, 2014. (DOI).
369. Directional Transmissions and Receptions for Burst Forwarding using Disjoint Paths. Ambuj Varshney, Thiemo Voigt och Luca Mottola. I Proc. 13th International Symposium on Information Processing in Sensor Networks, pp 307-308, IEEE Press, Piscataway, NJ, 2014.
370. Using Directional Transmissions and Receptions to Reduce Contention in Wireless Sensor Networks. Ambuj Varshney, Thiemo Voigt och Luca Mottola. I Real-World Wireless Sensor Networks, volym 281 av Lecture Notes in Electrical Engineering, pp 205-213, 2014. (DOI, Extern länk).
371. Acoustic wave propagation in complicated geometries and heterogeneous media. Kristoffer Virta och Ken Mattsson. I Journal of Scientific Computing, volym 61, pp 90-118, 2014. (DOI).
372. Smartphone Support for Persons Who Stutter. Thiemo Voigt, Kasun Hewage och Per Alm. I Proc. 13th International Symposium on Information Processing in Sensor Networks, pp 293-294, IEEE Press, Piscataway, NJ, 2014.
373. Feature space de-noising for text recognition. Fredrik Wahlberg och Anders Brun. I Proceedings of SSBA, 2014, 2014.
374. Scribal Attribution using a Novel 3-D Quill-Curvature Feature Histogram. Fredrik Wahlberg, Lasse Mårtensson och Anders Brun. I Proceedings International Conference on Frontiers in Handwriting Recognition (ICFHR), 2014, 2014. (fulltext:postprint).
375. Spotting words in medieval manuscripts. Fredrik Wahlberg, Mats Dahllöf, Lasse Mårtensson och Anders Brun. I Studia Neophilologica, volym 86, pp 171-186, 2014. (DOI, fulltext:print).
376. Fast level-set based image segmentation using coherent propagation. Chunliang Wang, Hans Frimmel och Örjan Smedby. I Medical physics (Lancaster), volym 41, pp 073501:1-11, 2014. (DOI).
377. Stochastic reaction–diffusion processes with embedded lower-dimensional structures. Siyang Wang, Johan Elf, Stefan Hellander och Per Lötstedt. I Bulletin of Mathematical Biology, volym 76, pp 819-853, 2014. (DOI).
378. Characterisations of fibre networks in paper using micro computed tomography images. Erik L. G. Wernersson, Svetlana Borodulina, Artem Kulachenko och Gunilla Borgefors. I Nordic Pulp & Paper Research Journal, volym 29, nummer 3, pp 468-475, 2014. (DOI).
379. Understanding phase contrast artefacts in micro computed absorption tomography. Erik L. G. Wernersson, M. N. Boone, J. Van den Bulcke, L. Van Hoorebeke och Cris L. Luengo Hendriks. I Proceedings SSBA 2014, Symposium on Image Analysis, 2014.
380. Computers, time and speed: Five slow tech case studies. Diane Whitehouse och Norberto Patrignani. I ICT and society, volym 431 av IFIP Advances in Information and Communication Technology, pp 122-135, Springer Berlin/Heidelberg, Berlin/Heidelberg, 2014. (DOI, Extern länk).
381. Identifiability and limit cycles. Torbjörn Wigren. Technical report / Department of Information Technology, Uppsala University nr 2014-016, Uppsala University, uppsala, 2014. (Extern länk, fulltext).
382. MATLAB Software for Identification of Nonlinear Autonomous Systems: Revision 1. Torbjörn Wigren. Technical report / Department of Information Technology, Uppsala University nr 2014-014, Uppsala universitet, Uppsala, 2014. (Report in fulltext, fulltext).
383. On a limitation in networked flow control. Torbjörn Wigren. Technical report / Department of Information Technology, Uppsala University nr 2014-009, 2014. (Extern länk, fulltext).
384. Spray: A Multi-Modal Localization System for Stationary Sensor Network Deployment. Niklas Wirström, Prasant Misra och Thiemo Voigt. I 2014 11TH IEEE/IFIP ANNUAL CONFERENCE ON WIRELESS ON-DEMAND NETWORK SYSTEMS AND SERVICES (IEEE/IFIP WONS 2014), pp 25-32, IEEE, 2014.
385. High- and low-throughput scoring of fat mass and body fat distribution in <em>C. elegans</em>. Carolina Wählby, Annie Lee Conery, Mark-Anthony Bray, Lee Kamentsky, Jonah Larkins-Ford, Katherine L. Sokolnicki, Matthew Veneskey, Kerry Michaels, Anne E. Carpenter och Eyleen J. O'Rourke. I Methods, volym 68, nummer 3, pp 492-499, 2014. (DOI).
386. Information-centric collaborative data collection for mobile devices in wireless sensor networks. Gang Xu, Edith C.-H. Ngai och Jiangchuan Liu. I Proc. International Conference on Communications: ICC 2014, pp 36-41, IEEE Communications Society, 2014. (DOI).
387. Hybrid state observer for time-delay systems under intrinsic impulsive feedback. Diana Yamalova, Alexander Churilov och Alexander Medvedev. I Proc. 21st International Symposium on Mathematical Theory of Networks and Systems, pp 977-984, University of Groningen, The Netherlands, 2014.
388. Estimation for the linear model with uncertain covariance matrices. Dave Zachariah, Nafiseh Shariati, Mats Bengtsson, Magnus Jansson och Saikat Chatterjee. I IEEE Transactions on Signal Processing, volym 62, nummer 6, pp 1525-1535, 2014. (DOI).
389. Schedule-based sequential localization in asynchronous wireless networks. Dave Zachariah, Alessio De Angelis, Satyam Dwivedi och Peter Händel. I EURASIP Journal on Advances in Signal Processing, volym 2014, pp 16:1-12, 2014. (DOI).
390. Optimizing zone volumes in bioreactors described by Monod and Contois growth kinetics. Jesús Zambrano och Bengt Carlsson. I Proc. IWA World Water Congress: 2014, IWA Publishing, 2014.
391. Steady-state analysis of simple activated sludge processes with Monod and Contois growth kinetics. Jesús Zambrano och Bengt Carlsson. I Proc. IWA Conference on Activated Sludge – 100 Years and Counting, IWA Publishing, 2014.
392. Approximations for Model Construction. Aleksandar Zeljic, Christoph M. Wintersteiger och Philipp Rümmer. I Automated Reasoning, volym 8562 av Lecture Notes in Computer Science, pp 344-359, Springer, 2014. (DOI, fulltext:postprint).
393. Understanding the Dynamic Caches on Intel Processors: Methods and Applications. Yi Zhang, Nan Guan och Wang Yi. I 2014 12th IEEE International Conference on Embedded and Ubiquitous Computing, pp 58-64, 2014. (DOI).
394. Time Delay Induced Multistability and Complex Dynamics in an Impulsive Model of Endocrine Regulation. Zhanybai T. Zhusubaliyev, Alexander N. Churilov och Alexander Medvedev. I 2014 European Control Conference (ECC), pp 2304-2309, 2014. (DOI).
395. Bone canalicular network segmentation in 3D nano-CT images through geodesic voting and image tessellation. Maria A. Zuluaga, Maciej Orkisz, Pei Dong, Alexandra Pacureanu, Pierre-Jean Gouttenoire och Françoise Peyrin. I Physics in Medicine and Biology, volym 59, nummer 9, pp 2155-2171, 2014. (DOI).
396. Scaling Future Software: The Manycore Challenge. Frank de Boer, Einar Broch Johnsen, Dave Clarke, Sophia Drossopoulou, Nobuko Yoshida och Tobias Wrigstad. 2014. (Extern länk).
397. Evaluation of the Automatic methods for Building Extraction. Julia Åhlén, Stefan Seipel och Fei Liu. I International Journal of Computers and Communications, volym 8, pp 171-176, 2014.
398. Knowledge Based Single Building Extraction and Recognition. Julia Åhlén och Stefan Seipel. I Proceedings WSEAS International Conference on Computer Engineering and Applications, 2014, pp 29-35, 2014. (Extern länk).
399. TIME-SPACE VISUALISATION OF AMUR RIVER CHANNEL CHANGES DUE TO FLOODING DISASTER. Julia Åhlén och Stefan Seipel. I Proceedings of International Multidisciplinary Scientific GeoScience Conference (SGEM), 2014, 2014. (DOI, Extern länk).
400. Priorities Without Priorities: Representing Preemption in Psi-Calculi. Johannes Åman Pohjola och Joachim Parrow. I Proc. 21st International Workshop on Expressiveness in Concurrency, and 11th Workshop on Structural Operational Semantics, volym 160 av Electronic Proceedings in Theoretical Computer Science, pp 2-15, 2014. (DOI).
401. Ammonium Feedback Control in Wastewater Treatment Plants. Linda Åmand. Doktorsavhandling, Uppsala Dissertations from the Faculty of Science and Technology nr 104, Acta Universitatis Upsaliensis, Uppsala, 2014. (fulltext, preview image).
402. Lessons learnt from evaluating full-scale ammonium feedback control in three large wastewater treatment plants. Linda Åmand, C. Laurell, K. Stark-Fujii, A. Thunberg och Bengt Carlsson. I Water Science and Technology, volym 69, nummer 7, pp 1573-1580, 2014. (DOI).