Department of Information Technology

Publications 2014

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

Updated  2014-12-29 14:06:26 by Kurt Otto.