Department of Information Technology

Refereed publications from the IT research programs

On this page, publications in DiVA for the current year are found. Separate lists for 2018, 2017, 2016, 2015, 2014, 2013, 2012, 2011, 2010, 2009, 2008 are available.

Automatic Control (Reglerteknik)

  1. Sampled-data adaptive observer for state-affine systems with uncertain output equation. Tarek Ahmed-Ali, Koen Tiels, Maarten Schoukens, and Fouad Giri. In Automatica, volume 103, pp 96-105, 2019. (DOI).
  2. Particle-based adaptive-lag online marginal smoothing in general state-space models. Johan Alenlöv and Jimmy Olsson. In IEEE Transactions on Signal Processing, volume 67, number 21, pp 5571-5582, 2019. (DOI).
  3. Deep convolutional networks in system identification. Carl Andersson, Antônio Horta Ribeiro, Koen Tiels, Niklas Wahlström, and Thomas B. Schön. In Proc. 58th Conference on Decision and Control, IEEE, 2019.
  4. Optimal controller/observer gains of discounted-cost LQG systems. Hildo Bijl and Thomas B. Schön. In Automatica, volume 101, pp 471-474, Elsevier, 2019. (DOI).
  5. Identification of continuous Volterra models with explicit time delay through series of Laguerre functions. Viktor Bro and Alexander Medvedev. In Proc. 58th Conference on Decision and Control, IEEE, 2019.
  6. Radar detection architecture based on interference covariance structure classification. Vincenzo Carotenuto, Antonio De Maio, Danilo Orlando, and Peter Stoica. In IEEE Transactions on Aerospace and Electronic Systems, volume 55, number 2, pp 607-618, 2019. (DOI).
  7. Combined <em>L</em><sub>2</sub>-stable feedback and feedforward aeration control in a wastewater treatment plant. Tatiana Chistiakova, Torbjörn Wigren, and Bengt Carlsson. In IEEE Transactions on Control Systems Technology, volume 27, 2019. (DOI). Publication status: Epub ahead of print
  8. Calculating Deep Brain Stimulation Amplitudes and Power Consumption by Constrained Optimization. Rubén Cubo, Markus Fahlström, Elena Jiltsova, Helena Andersson, and Alexander Medvedev. In Journal of Neural Engineering, volume 16, number 1, 2019. (DOI).
  9. Getting started with particle Metropolis-Hastings for inference in nonlinear dynamical models. Johan Dahlin and Thomas B. Schön. In Journal of Statistical Software, volume 88, number CN2, pp 1-41, 2019. (DOI, Fulltext, fulltext:print).
  10. Loading factor estimation under affine constraints on the covariance eigenvalues with application to radar target detection. Antonio De Maio, Luca Pallotta, Jian Li, and Peter Stoica. In IEEE Transactions on Aerospace and Electronic Systems, volume 55, number 3, pp 1269-1283, 2019. (DOI).
  11. Decoupling multivariate polynomials for nonlinear state-space models. Jan Decuyper, Philippe Dreesen, Johan Schoukens, Mark C. Runacres, and Koen Tiels. In IEEE Control Systems Letters, volume 3, number 3, pp 745-750, 2019.
  12. Networked delay control for 5G wireless machine-type communications using multiconnectivity. Ramón A. Delgado, Katrina Lau, Richard H. Middleton, and Torbjörn Wigren. In IEEE Transactions on Control Systems Technology, volume 27, number 4, pp 1510-1525, 2019. (DOI).
  13. Monotonicity and robustness in Wiener disorder detection. Erik Ekström and Juozas Vaicenavicius. In Sequential Analysis, volume 38, number 1, pp 57-68, 2019. (DOI, Fulltext).
  14. Neutron transmission strain tomography for non-constant stress-free lattice spacing. Johannes N. Hendriks, Carl Jidling, Thomas B. Schön, Adrian Wills, Christopher M. Wensrich, and Erich H. Kisi. In Nuclear Instruments and Methods in Physics Research Section B: Beam Interactions with Materials and Atoms, volume 456, pp 64-73, 2019. (DOI).
  15. Evaluation of a sensor algorithm for motor state rating in Parkinson's disease. Dongni Johansson, Ilias Thomas, Anders Ericsson, Anders Johansson, Alexander Medvedev, Mevludin Memedi, Dag Nyholm, Fredrik Ohlsson, Marina Senek, Jack Spira, Jerker Westin, and Filip Bergquist. In Parkinsonism & Related Disorders, volume 64, pp 112-117, ELSEVIER SCI LTD, 2019. (DOI).
  16. Data consistency approach to model validation. Andreas Lindholm, Dave Zachariah, Peter Stoica, and Thomas B. Schön. In IEEE Access, volume 7, pp 59788-59796, 2019. (DOI, Fulltext).
  17. Dynamic nonlinear partial least squares modeling using Gaussian process regression. Hongbin Liu, Chong Yang, Bengt Carlsson, S. Joe Qin, and ChangKyoo Yoo. In Industrial & Engineering Chemistry Research, volume 58, number 36, pp 16676-16686, 2019. (DOI, Fulltext).
  18. Flexible Models for Smart Maintenance. Per Mattsson, Dave Zachariah, and Niclas Bjorsell. In 2019 IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL TECHNOLOGY (ICIT), IEEE International Conference on Industrial Technology, pp 1772-1777, 2019.
  19. Control-Engineering Perspective on Deep Brain Stimulation: Revisited. Alexander Medvedev, Rubén Cubo, Fredrik Olsson, Viktor Bro, and Helena Andersson. In , 2019. (DOI).
  20. Oscillations-free PID control of anesthetic drug delivery in neuromuscular blockade. Alexander Medvedev, Zhanybai T. Zhusubaliyev, Olov Rosén, and Margarida Martins da Silva. In Computer Methods and Programs in Biomedicine, volume 171, pp 119-131, ELSEVIER IRELAND LTD, 2019. (DOI).
  21. High-Dimensional Filtering Using Nested Sequential Monte Carlo. Christian A. Naesseth, Fredrik Lindsten, and Thomas B. Schön. In IEEE Transactions on Signal Processing, volume 67, number 16, pp 4177-4188, IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC, 2019. (DOI).
  22. Max-Min Fairness Design for MIMO Interference Channels: A Minorization-Maximization Approach. Mohammad Mahdi Naghsh, Maryatn Masjedi, Annan Adibi, and Petre Stoica. In IEEE Transactions on Signal Processing, volume 67, number 18, pp 4707-4719, IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC, 2019. (DOI).
  23. Frequency conditions for stable networked controllers with time-delay. Johannes Nygren, Torbjörn Wigren, and Kristiaan Pelckmans. In International Journal of Control, volume 92, number 4, pp 886-895, 2019. (DOI).
  24. Joint Axis Estimation for Fast and Slow Movements Using Weighted Gyroscope and Acceleration Constraints. Fredrik Olsson, Thomas Seel, Dustin Lehmann, and Kjartan Halvorsen. In , 2019.
  25. A simple positive state observer for multidimensional Goodwin's oscillator. Anton V. Proskurnikov and Alexander Medvedev. In Proc. 17th European Control Conference, pp 1671-1676, IEEE, 2019. (DOI).
  26. Probabilistic approach to limited-data computed tomography reconstruction. Zenith Purisha, Carl Jidling, Niklas Wahlström, Thomas B. Schön, and Simo Särkkä. In Inverse Problems, volume 35, number 10, 2019. (DOI).
  27. RFI Mitigation for UWB Radar Via Hyperparameter-Free Sparse SPICE Methods. Jiaying Ren, Tianyi Zhang, Jian Li, Lam H. Nguyen, and Petre Stoica. In IEEE Transactions on Geoscience and Remote Sensing, volume 57, number 6, pp 3105-3118, IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC, 2019. (DOI).
  28. Sinusoidal parameter estimation from signed measurements via majorization–minimization based RELAX. Jiaying Ren, Tianyi Zhang, Jian Li, and Peter Stoica. In IEEE Transactions on Signal Processing, volume 67, number 8, pp 2173-2186, 2019. (DOI).
  29. Automated active fault detection in fouled dissolved oxygen sensors. Oscar Samuelsson, Jesus Zambrano, Anders Björk, and Bengt Carlsson. In Water Research, volume 166, PERGAMON-ELSEVIER SCIENCE LTD, 2019. (DOI).
  30. A user perspective on errors-in-variables methods in system identification. Torsten Söderström. In Control Engineering Practice, volume 89, pp 56-69, 2019. (DOI).
  31. Impulsive model of endocrine regulation with a local continuous feedback. Hadi Taghvafard, Alexander Medvedev, Anton V. Proskurnikov, and Ming Cao. In Mathematical Biosciences, volume 310, pp 128-135, 2019. (DOI).
  32. Specialized Interior-Point Algorithm for Stable Nonlinear System Identification. Jack Umenberger and Ian R. Manchester. In IEEE Transactions on Automatic Control, volume 64, number 6, pp 2442-2456, IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC, 2019. (DOI).
  33. Evaluating model calibration in classification. Juozas Vaicenavicius, David Widmann, Carl Andersson, Fredrik Lindsten, Jacob Roll, and Thomas B. Schön. In 22nd International Conference on Artificial Intelligence and Statistics, volume 89 of Proceedings of Machine Learning Research, pp 3459-3467, 2019. (Abstract).
  34. On model order priors for Bayesian identification of SISO linear systems. Patricio E. Valenzuela, Thomas B. Schön, and Cristian R. Rojas. In International Journal of Control, volume 92, number 7, pp 1645-1661, 2019. (DOI).
  35. Learning sparse graphs for prediction of multivariate data processes. Arun Venkitaraman and Dave Zachariah. In IEEE Signal Processing Letters, volume 26, number 3, pp 495-499, 2019. (DOI).
  36. A disturbance rejection and data rate trade-off in networked data flow control. Torbjörn Wigren. In European Journal of Control, volume 47, pp 1-10, 2019. (DOI).
  37. Attractivity of the synchronous mode in hybrid observers for the impulsive Goodwin's oscillator subject to harmonic exogenous excitation. Diana Yamalova and Alexander Medvedev. In Proc. American Control Conference: ACC 2019, pp 2334-2339, American Automatic Control Council, 2019.
  38. Hadamard Product Perspective on Source Resolvability of Spatial-smoothing-based Subspace Methods. Zai Yang and Petre Stoica. In 2019 IEEE INTERNATIONAL CONFERENCE ON ACOUSTICS, SPEECH AND SIGNAL PROCESSING (ICASSP), International Conference on Acoustics Speech and Signal Processing ICASSP, pp 4135-4139, IEEE, 2019. (DOI).
  39. Source resolvability of spatial-smoothing-based subspace methods: A Hadamard product perspective. Zai Yang, Peter Stoica, and Jinhui Tang. In IEEE Transactions on Signal Processing, volume 67, number 10, pp 2543-2553, 2019. (DOI).
  40. Effect Inference From Two-Group Data With Sampling Bias. Dave Zachariah and Petre Stoica. In IEEE Signal Processing Letters, volume 26, number 8, pp 1103-1106, IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC, 2019. (DOI).
  41. Machine learning techniques for monitoring the sludge profile in a secondary settler tank. Jesús Zambrano, Oscar Samuelsson, and Bengt Carlsson. In Applied water science, volume 9, number 6, 2019. (DOI, Fulltext).

Numerical Analysis (Numerisk analys)

  1. Order-preserving interpolation for summation-by-parts operators at nonconforming grid interfaces. Martin Almquist, Siyang Wang, and Jonatan Werpers. In SIAM Journal on Scientific Computing, volume 41, pp A1201-A1227, 2019. (DOI).
  2. Temporal upscaling in micromagnetism via heterogeneous multiscale methods. Doghonay Arjmand, Stefan Engblom, and Gunilla Kreiss. In Journal of Computational and Applied Mathematics, volume 345, pp 99-113, 2019. (DOI).
  3. A note on preconditioning methods for time-periodic eddy current optimal control problems. Owe Axelsson and Zhao-Zheng Liang. In Journal of Computational and Applied Mathematics, volume 352, pp 262-277, 2019. (DOI).
  4. Parameter modified versions of preconditioning and iterative inner product free refinement methods for two-by-two block matrices. Owe Axelsson and Zhao-Zheng Liang. In Linear Algebra and its Applications, volume 582, pp 403-429, 2019. (DOI).
  5. Preconditioned smoothers for the Full Approximation Scheme for the RANS equations. Philipp Birken, Jonathan Bull, and Antony Jameson. In Journal of Scientific Computing, volume 78, pp 995-1022, 2019. (DOI, Fulltext).
  6. Spectral and convergence analysis of the discrete ALIF method. Antonio Cicone, Carlo Garoni, and Stefano Serra-Capizzano. In Linear Algebra and its Applications, volume 580, pp 62-95, 2019. (DOI).
  7. A merged tuning of binary and ternary Loop's subdivision. Marco Donatelli, Paola Novara, Lucia Romani, Stefano Serra-Capizzano, and Debora Sesana. In Computer Aided Geometric Design, volume 69, pp 27-44, 2019. (DOI).
  8. On energy stable discontinuous Galerkin spectral element approximations of the perfectly matched layer for the wave equation. Kenneth Duru, Alice-Agnes Gabriel, and Gunilla Kreiss. In Computer Methods in Applied Mechanics and Engineering, volume 350, pp 898-937, 2019. (DOI, Fulltext).
  9. A matrix-less and parallel interpolation–extrapolation algorithm for computing the eigenvalues of preconditioned banded symmetric Toeplitz matrices. Sven-Erik Ekström and Carlo Garoni. In Numerical Algorithms, volume 80, pp 819-848, 2019. (DOI, Fulltext).
  10. Eigenvalue isogeometric approximations based on B-splines: Tools and results. Sven-Erik Ekström and Stefano Serra-Capizzano. In Advanced Methods for Geometric Modeling and Numerical Simulation, pp 57-76, Springer, 2019. (DOI).
  11. The eigenvalue distribution of special 2-by-2 block matrix-sequences with applications to the case of symmetrized Toeplitz structures. Paola Ferrari, Isabella Furci, Sean Hon, Mohammad Ayman Mursaleen, and Stefano Serra-Capizzano. In SIAM Journal on Matrix Analysis and Applications, volume 40, pp 1066-1086, 2019. (DOI).
  12. Block GLT sequences: Matrix functions and engineering application. Carlo Garoni and Stefano Serra-Capizzano. In The Electronic Journal of Linear Algebra, volume 35, pp 204-222, 2019. (DOI, Fulltext).
  13. Block generalized locally Toeplitz sequences: Topological construction, spectral distribution results, and star-algebra structure. Carlo Garoni, Stefano Serra-Capizzano, and Debora Sesana. In Structured Matrices in Numerical Linear Algebra: Analysis, Algorithms and Applications, pp 59-79, Springer, 2019. (DOI).
  14. Block locally Toeplitz sequences: Construction and properties. Carlo Garoni, Stefano Serra-Capizzano, and Debora Sesana. In Structured Matrices in Numerical Linear Algebra: Analysis, Algorithms and Applications, pp 25-58, Springer, 2019. (DOI).
  15. Symbol-based analysis of finite element and isogeometric B-spline discretizations of eigenvalue problems: Exposition and review. Carlo Garoni, Hendrik Speleers, Sven-Erik Ekström, Alessandro Reali, Stefano Serra-Capizzano, and Thomas J. R. Hughes. In Archives of Computational Methods in Engineering, volume 26, pp 1639-1690, 2019. (DOI).
  16. Saul Abarbanel; Half a century of scientific work. Bertil Gustafsson. In Journal of Scientific Computing, volume 81, pp 1124-1135, 2019. (DOI, Fulltext).
  17. Numerical Homogenization of Elliptic PDEs with Similar Coefficients. Fredrik Hellman and Axel Målqvist. In Multiscale Modeling & simulation, volume 17, number 2, pp 650-674, SIAM PUBLICATIONS, 2019. (DOI).
  18. A note on the spectral distribution of symmetrized Toeplitz sequences. Sean Hon, Mohammad Ayman Mursaleen, and Stefano Serra-Capizzano. In Linear Algebra and its Applications, volume 579, pp 32-50, 2019. (DOI).
  19. New model for pricing quanto credit default swaps. Andrey Itkin, Victor Shcherbakov, and Alexander Veygman. In International Journal of Theoretical and Applied Finance, volume 22, number 3, 2019. (DOI).
  20. The linear noise approximation for spatially dependent biochemical networks. Per Lötstedt. In Bulletin of Mathematical Biology, volume 81, pp 2873-2901, 2019. (DOI, Fulltext).
  21. Thermal conductivity of firn at Lomonosovfonna, Svalbard, derived from subsurface temperature measurements. Sergey Marchenko, Gong Cheng, Per Lötstedt, Veijo Pohjola, Rickard Pettersson, Ward van Pelt, and Carleen Reijmer. In The Cryosphere, volume 13, pp 1843-1859, 2019. (DOI, Fulltext).
  22. Isogeometric analysis for 2D and 3D curl–div problems: Spectral symbols and fast iterative solvers. Mariarosa Mazza, Carla Manni, Ahmed Ratnani, Stefano Serra-Capizzano, and Hendrik Speleers. In Computer Methods in Applied Mechanics and Engineering, volume 344, pp 970-997, 2019. (DOI).
  23. Spectral analysis and spectral symbol for the 2D curl–curl (stabilized) operator with applications to the related iterative solutions. Mariarosa Mazza, Ahmed Ratnani, and Stefano Serra-Capizzano. In Mathematics of Computation, volume 88, number 317, pp 1155-1188, 2019. (DOI).
  24. A library for wall-modelled large-eddy simulation based on OpenFOAM technology. Timofey Mukha, Saleh Rezaeiravesh, and Mattias Liefvendahl. In Computer Physics Communications, volume 239, pp 204-224, 2019. (DOI).
  25. Systematic study of accuracy of wall-modeled large eddy simulation using uncertainty quantification techniques. Saleh Rezaeiravesh, Timofey Mukha, and Mattias Liefvendahl. In Computers & Fluids, volume 185, pp 34-58, 2019. (DOI).
  26. Higher order cut finite elements for the wave equation. Simon Sticko and Gunilla Kreiss. In Journal of Scientific Computing, volume 80, pp 1867-1887, 2019. (DOI, Fulltext).
  27. What controls the initial peak of an air-gun source signature?. Leighton M. Watson, Jonatan Werpers, and Eric M. Dunham. In Geophysics, volume 84, number 2, pp P27-P45, 2019. (DOI).
  28. BENCHOP–SLV: The BENCHmarking project in Option Pricing – Stochastic and local volatility problems. Lina von Sydow, Slobodan Milovanovi?, Elisabeth Larsson, Karel In't Hout, Magnus Wiktorsson, Cornelis W. Oosterlee, Victor Shcherbakov, Maarten Wyns, Alvaro Leitao, Shashi Jain, Tinne Haentjens, and Johan Waldén. In International Journal of Computer Mathematics, volume 96, pp 1910-1923, 2019. (DOI, Fulltext).

Computational Science (Tillämpad beräkningsvetenskap)

  1. Temporal upscaling in micromagnetism via heterogeneous multiscale methods. Doghonay Arjmand, Stefan Engblom, and Gunilla Kreiss. In Journal of Computational and Applied Mathematics, volume 345, pp 99-113, 2019. (DOI).
  2. Parallelization and scalability analysis of inverse factorization using the chunks and tasks programming model. Anton G. Artemov, Elias Rudberg, and Emanuel H. Rubensson. In Parallel Computing, volume 89, 2019. (DOI).
  3. Mathematical modeling reveals that the administration of EGF can promote the elimination of lymph node metastases by PD-1/PD-L1 blockade. Mohamed Amine Benchaib, Anass Bouchnita, Vitaly Volpert, and Abdelkader Makhoute. In Frontiers in Bioengineering and Biotechnology, volume 7, 2019. (DOI, Fulltext).
  4. Adapting the secretary hiring problem for optimal hot–cold tier placement under top-<em>K</em> workloads. Ben Blamey, Fredrik Wrede, Johan Karlsson, Andreas Hellander, and Salman Toor. In Proc. 19th International Symposium on Cluster, Cloud, and Grid Computing, pp 576-583, IEEE Computer Society, Los Alamitos, CA, 2019. (DOI).
  5. A 3D multiscale model to explore the role of EGFR overexpression in tumourigenesis. Anass Bouchnita, Stefan Hellander, and Andreas Hellander. In Bulletin of Mathematical Biology, volume 81, pp 2323-2344, 2019. (DOI, Fulltext).
  6. A multiscale model of platelet-fibrin thrombus growth in the flow. Anass Bouchnita and Vitaly Volpert. In Computers & Fluids, volume 184, pp 10-20, 2019. (DOI).
  7. Stochastic simulation of pattern formation in growing tissue: A multilevel approach. Stefan Engblom. In Bulletin of Mathematical Biology, volume 81, pp 3010-3023, 2019. (DOI, Fulltext).
  8. Spatial lymphocyte dynamics in lymph nodes predicts the cytotoxic T cell frequency needed for HIV infection control. Dmitry Grebennikov, Anass Bouchnita, Vitaly Volpert, Nikolay Bessonov, Andreas Meyerhans, and Gennady Bocharov. In Frontiers in Immunology, volume 10, 2019. (DOI, Fulltext).
  9. Why high-performance modelling and simulation for big data applications matters. Clemens Grelck, Ewa Niewiadomska-Szynkiewicz, Marco Aldinucci, Andrea Bracciali, and Elisabeth Larsson. In High-Performance Modelling and Simulation for Big Data Applications, pp 1-35, Springer, 2019. (DOI, Fulltext).
  10. The presence and impact of reference bias on population genomic studies of prehistoric human populations. Torsten Günther and Carl Nettelblad. In PLoS Genetics, volume 15, number 7, 2019. (DOI, Fulltext).
  11. SWEEP: Accelerating scientific research through scalable serverless workflows. Aji John, Kristiina Ausmees, Kathleen Muenzen, Catherine Kuhn, and Amanda Tan. In Companion Proc. 12th International Conference on Utility and Cloud Computing, pp 43-50, ACM Press, New York, 2019. (DOI).
  12. Multigrid for matrix-free high-order finite element computations on graphics processors. Martin Kronbichler and Karl Ljungkvist. In ACM Transactions on Parallel Computing, volume 6, number 1, pp 2:1-32, 2019. (DOI).
  13. Performance of an OO compute kernel on the JVM: Revisiting Java as a language for scientific computing applications. Malin Källén and Tobias Wrigstad. In Proc. 16th ACM SIGPLAN International Conference on Managed Programming Languages and Runtimes, pp 144-156, ACM Press, New York, 2019. (DOI).
  14. Parallelization of hierarchical matrix algorithms for electromagnetic scattering problems. Elisabeth Larsson, Afshin Zafari, Marco Righero, M. Alessandro Francavilla, Giorgio Giordanengo, Francesca Vipiana, Giuseppe Vecchi, Christoph Kessler, Corinne Ancourt, and Clemens Grelck. In High-Performance Modelling and Simulation for Big Data Applications, pp 36-68, Springer, 2019. (DOI, Fulltext).
  15. Exposing inter-process information for efficient PDES of spatial stochastic systems on multicores. Jonatan Lindén, Pavol Bauer, Stefan Engblom, and Bengt Jonsson. In ACM Transactions on Modeling and Computer Simulation, volume 29, number 2, pp 11:1-25, 2019. (DOI).
  16. Supervised classification methods for flash X-ray single particle diffraction imaging. Jing Liu, Gijs van der Schot, and Stefan Engblom. In Optics Express, volume 27, pp 3884-3899, 2019. (DOI, Fulltext).
  17. Linear scaling pseudo Fermi-operator expansion for fractional occupation. Susan M. Mniszewski, Romain Perriot, Emanuel H. Rubensson, Christian F. A. Negre, Marc J. Cawkwell, and Anders M. N. Niklasson. In Journal of Chemical Theory and Computation, volume 15, pp 190-200, 2019. (DOI).
  18. Container-based bioinformatics with Pachyderm. Jon Ander Novella, Payam Emami Khoonsari, Stephanie Herman, Daniel Whitenack, Marco Capuccini, Joachim Burman, Kim Kultima, and Ola Spjuth. In Bioinformatics, volume 35, pp 839-846, 2019. (DOI, Fulltext).
  19. Tail distribution and extreme quantile estimation using non-parametric approaches. Imen Rached and Elisabeth Larsson. In High-Performance Modelling and Simulation for Big Data Applications, pp 69-87, Springer, 2019. (DOI, Fulltext).
  20. Inferential statistics in computing education research: A methodological review. Kate Sanders, Judy Sheard, Brett A. Becker, Anna Eckerdal, Sally Hamouda, and Simon. In Proc. 15th International Computing Education Research Conference, pp 177-185, ACM Press, New York, 2019. (DOI).
  21. Analysis of students’ learning of computer programming in a computer laboratory context. Michael Thuné and Anna Eckerdal. In European Journal of Engineering Education, volume 44, pp 769-786, 2019. (DOI, Fulltext).
  22. SimInf for spatio-temporal data-driven modeling of African swine fever in Swedish wildboar. Stefan Widgren, Thomas Rosendal, Stefan Engblom, and Karl Ståhl. In GeoVet 2019: Novel spatio-temporal approaches in the era of Big Data, 2019. (DOI, Fulltext).
  23. Smart computational exploration of stochastic gene regulatory network models using human-in-the-loop semi-supervised learning. Fredrik Wrede and Andreas Hellander. In Bioinformatics, volume 35, 2019. (DOI). Publication status: Epub ahead of print
  24. DuctTeip: An efficient programming model for distributed task-based parallel computing. Afshin Zafari, Elisabeth Larsson, and Martin Tillenius. In Parallel Computing, volume 90, 2019. (DOI, fulltext:postprint).
  25. Copying can be good: How instructors use imitation in teaching programming. Carol Zander, Anna Eckerdal, Robert McCartney, Jan Erik Moström, Kate Sanders, and Lynda Thomas. In Proc. 24th Conference on Innovation and Technology in Computer Science Education, pp 450-456, ACM Press, New York, 2019. (DOI).
  26. BENCHOP–SLV: The BENCHmarking project in Option Pricing – Stochastic and local volatility problems. Lina von Sydow, Slobodan Milovanovi?, Elisabeth Larsson, Karel In't Hout, Magnus Wiktorsson, Cornelis W. Oosterlee, Victor Shcherbakov, Maarten Wyns, Alvaro Leitao, Shashi Jain, Tinne Haentjens, and Johan Waldén. In International Journal of Computer Mathematics, volume 96, pp 1910-1923, 2019. (DOI, Fulltext).

Computer Systems (Datorteknik)

  1. Optimal stateless model checking for reads-from equivalence under sequential consistency. Parosh Abdulla, Mohamed Faouzi Atig, Bengt Jonsson, Magnus Lång, Tuan-Phong Ngo, and Konstantinos Sagonas. In Proceedings of the ACM on programming languages, 2019. (DOI, External link).
  2. Chain-Free String Constraints. Parosh Aziz Abdulla, Mohamed Faouzi Atig, Bui Phi Diep, Lukas Holik, and Petr Janku. In Automated Technology for Verification and Analysis, volume 11781 of Lecture Notes in Computer Science, pp 277-293, Springer, 2019. (DOI).
  3. Reachability in database-driven systems with numerical attributes under recency bounding. Parosh Aziz Abdulla, Aiswarya Cyriac, Mohamed Faouzi Atig, and Marco Montali. In Proc. 38th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, pp 335-352, ACM Press, New York, 2019. (DOI).
  4. Verification of programs under the release-acquire semantics. Parosh Aziz Abdulla, Jatin Arora, Mohamed Faouzi Atig, and Shankara Narayanan Krishna. In Proc. 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, pp 1117-1132, ACM Press, New York, 2019. (DOI).
  5. Worst-Case Cause-Effect Reaction Latency in Systems with Non-Blocking Communication. Jakaria Abdullah, Gaoyang Dai, and Yi Wang. In Design, Automation &amp; Test in Europe Conference &amp; Exhibition: DATE 2019, pp 1625-1630, IEEE, 2019. (DOI).
  6. Teachers’ Awards - an Incentive for Pedagogical Development in Saudi Arabia. Fayiq Alghamdi, Aletta Nylén, and Arnold Pears. In , IEEE, 2019. (fulltext:postprint).
  7. FIFOrder MicroArchitecture: Ready-Aware Instruction Scheduling for OoO Processors. Mehdi Alipour, Rakesh Kumar, Stefanos Kaxiras, and David Black-Schaffer. In 2019 Design, Automation &amp; Test in Europe Conference &amp; Exhibition (DATE), Design Automation and Test in Europe Conference and Exhibition, pp 716-721, IEEE, 2019. (DOI, fulltext:postprint).
  8. Carrier Scheduling in IoT Networks with Interoperable Battery-free Backscatter Tags. Perez Penichet Carlos and Thiemo Voigt. In IPSN '19: Proceedings of the 2019 International Conference on Information Processing in Sensor Networks, pp 329-330, Association for Computing Machinery (ACM), 2019. (DOI).
  9. Decision procedures for path feasibility of string-manipulating programs with complex operations. Taolue Chen, Matthew Hague, Anthony W. Lin, Philipp Rümmer, and Zhilin Wu. In Proceedings of the ACM on Programming Languages, volume 3, pp 49:1-49:30, New York, NY, USA, 2019. (DOI, Fulltext, External link).
  10. Exploiting blockchain data to detect smart Ponzi schemes on Ethereum. Weili Chen, Zibin Zheng, Edith Ngai, Peilin Zheng, and Yuren Zhou. In IEEE Access, volume 7, pp 37575-37586, 2019. (DOI, Fulltext).
  11. Scope-aware data cache analysis for OpenMP programs on multi-core processors. He Du, Wei Zhang, Nan Guan, and Yi Wang. In Journal of systems architecture, volume 98, pp 443-452, ELSEVIER, 2019. (DOI).
  12. Dual Priority Scheduling is Not Optimal. Pontus Ekberg. In Leibniz International Proceedings in Informatics (LIPIcs), Dagstuhl, Germany, 2019. (DOI, Fulltext).
  13. An Efficient UAV Hijacking Detection Method Using Onboard Inertial Measurement Unit. Zhiwei Feng, Nan Guan, Mingsong Lv, Weichen Liu, Qingxu Deng, Xue Liu, and Yi Wang. In ACM Transactions on Embedded Computing Systems, volume 17, number 6, ASSOC COMPUTING MACHINERY, 2019. (DOI).
  14. Assessing Students' IT Professional Values in a Global Project Setting. S. Frezza, Mats Daniels, and A. Wilkin. In ACM Transactions on Computing Education, volume 19, number 2, ASSOC COMPUTING MACHINERY, 2019. (DOI).
  15. Sampled Simulation of Task-Based Programs. Thomas Grass, Trevor E. Carlson, Alejandro Rico, Germán Ceballos, Eduard Ayguade, Marc Casas, and Miquel Moreto. In I.E.E.E. transactions on computers (Print), volume 68, number 2, pp 255-269, IEEE COMPUTER SOC, 2019. (DOI).
  16. Probabilistic Bisimulation for Parameterized Systems: (with Applications to Verifying Anonymous Protocols). Chih-Duo Hong, Anthony W. Lin, Rupak Majumdar, and Philipp Rümmer. In Computer Aided Verification. CAV 2019., pp 455-474, Cham, 2019. (DOI, Fulltext, fulltext:print).
  17. Poster: Tiek: Two-tier Authentication and Key Distribution for Wearable Devices. Sam Hylamia, Christian Rohner, and Thiemo Voigt. In , 2019. (fulltext:postprint).
  18. Tiek: Two-tier Authentication and Key Distribution for Wearable Devices. Sam Hylamia, Wenqing Yan, Christian Rohner, and Thiemo Voigt. In 15th International Conference on Wireless and MObile Computing, Networking and Communication (WiMob), Barcelona, 21-23 October, 2019., 2019. (fulltext:postprint).
  19. Searching for global employability: Can students capitalize on enabling learning environments?. Ville Isomöttönen, Mats Daniels, Åsa Cajander, Arnold Pears, and Roger McDermott. In ACM Transactions on Computing Education, volume 19, number 2, pp 11:1-29, 2019. (DOI).
  20. JayHorn: A Java Model Checker - (Competition Contribution). Temesghen Kahsai, Philipp Rümmer, and Martin Schäf. In Tools and Algorithms for the Construction and Analysis of Systems, pp 214-218, Springer, Cham, 2019. (DOI, Fulltext).
  21. Real-time air pollution monitoring with sensors on city bus. Sami Kaivonen and Edith C.-H. Ngai. In Digital Communications and Networks, volume 5, 2019. (DOI, Fulltext). Publication status: Epub ahead of print
  22. Freeway: Maximizing MLP for Slice-Out-of-Order Execution. Rakesh Kumar, Mehdi Alipour, and David Black-Schaffer. In 2019 25th IEEE International Symposium On High Performance Computer Architecture (HPCA), International Symposium on High-Performance Computer Architecture-Proceedings, pp 558-569, IEEE, 2019. (DOI, fulltext:postprint).
  23. Exposing inter-process information for efficient PDES of spatial stochastic systems on multicores. Jonatan Lindén, Pavol Bauer, Stefan Engblom, and Bengt Jonsson. In ACM Transactions on Modeling and Computer Simulation, volume 29, number 2, pp 11:1-25, 2019. (DOI).
  24. Depth from defocus (DFD) based on VFISTA optimization algorithm in micro/nanometer vision. Yongjun Liu, Yangjie Wei, and Yi Wang. In Cluster Computing, volume 22, pp 1459-1467, SPRINGER, 2019. (DOI).
  25. makeSense: Simplifying the Integration of Wireless Sensor Networks into Business Processes. Luca Mottola, Gian Pietro Picco, Felix Oppermann, Joakim Eriksson, Niclas Finne, Harald Fuchs, Andrea Gaglione, Stamatis Karnouskos, Patricio Montero, Nina Oertel, Kay Römer, Patrik Spiess, Stefano Tranquillini, and Thiemo Voigt. In IEEE Transactions on Software Engineering, volume 45, number 6, pp 576-596, IEEE Computer Society, 2019. (DOI).
  26. Participation and learner trajectories in computing education. Anne-Kathrin Peters. In Bridging Research and Practice in Science Education, pp 139-152, Springer, 2019. (DOI).
  27. Efficient thread/page/parallelism autotuning for NUMA systems. Mihail Popov, Alexandra Jimborean, and David Black-Schaffer. In International Conference on Supercomputing, Association for Computing Machinery (ACM), New York, NY, USA, 2019. (DOI, Fulltext, External link, fulltext:print).
  28. Evaluating the Potential Applications of Quaternary Logic for Approximate Computing. Christos Sakalis, Alexandra Jimborean, Stefanos Kaxiras, and Magnus Själander. In ACM Journal on Emerging Technologies in Computing Systems (JETC), volume 16, number 1, New York, NY, USA, 2019. (DOI, ACM Digital Library Link).
  29. Uniprocessor scheduling of real-time synchronous dataflow tasks. Abhishek Singh, Pontus Ekberg, and Sanjoy Baruah. In Real-time systems, volume 55, number 1, pp 1-31, 2019. (DOI).
  30. Optimizing Bit-Serial Matrix Multiplication for Reconfigurable Computing. Yaman Umuroglu, Davide Conficconi, Lahiru Rasnayake, Thomas B. Preusser, and Magnus Själander. In ACM Transactions on Reconfigurable Technology and Systems, volume 12, number 3, ASSOC COMPUTING MACHINERY, 2019. (DOI).
  31. Tumor Sensing Privacy in In-Body Networks. Thiemo Voigt, Robin Augustine, Noor Badariah Asan, Mauricio D. Perez, Anders Ahlén, André Teixeira, Sam Hylamia, Christian Rohner, Wenqing Yan, Laya Joseph, and Maria Mani. In , 2019.
  32. Machine-Learning Based Active Measurement Proxy for IoT Systems. Wenqing Yan, Christofer Flinta, and Andreas Johnsson. In 2019 IFIP/IEEE Symposium On Integrated Network And Service Management (IM), pp 198-206, IEEE, 2019.
  33. Joint Resource Allocation for Latency-Sensitive Services Over Mobile Edge Computing Networks With Caching. Jiao Zhang, Xiping Hu, Zhaolong Ning, Edith Ngai, Li Zhou, Jibo Wei, Jun Cheng, Bin Hu, and Victor C. M. Leung. In IEEE Internet of Things Journal, volume 6, number 3, pp 4283-4294, IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC, 2019. (DOI).
  34. Stochastic computation offloading and trajectory scheduling for UAV-assisted mobile edge computing. Jiao Zhang, Li Zhou, Qi Tang, Edith C.-H. Ngai, Xiping Hu, Haitao Zhao, and Jibo Wei. In IEEE Internet of Things Journal, volume 6, number 2, pp 3688-3699, 2019. (DOI).

Computer Architecture and Computer Communication

(Datorarkitektur och datorkommunikation)

  1. FIFOrder MicroArchitecture: Ready-Aware Instruction Scheduling for OoO Processors. Mehdi Alipour, Rakesh Kumar, Stefanos Kaxiras, and David Black-Schaffer. In 2019 Design, Automation &amp; Test in Europe Conference &amp; Exhibition (DATE), Design Automation and Test in Europe Conference and Exhibition, pp 716-721, IEEE, 2019. (DOI, fulltext:postprint).
  2. Maximizing limited resources: A limit-based study and taxonomy of out-of-order commit. Mehdi Alipour, Trevor E. Carlson, David Black-Schaffer, and Stefanos Kaxiras. In Journal of Signal Processing Systems, volume 91, number 3-4, pp 379-397, 2019. (DOI, Fulltext, fulltext:print).
  3. Filter caching for free: The untapped potential of the store-buffer. Ricardo Alves, Alberto Ros, David Black-Schaffer, and Stefanos Kaxiras. In Proc. 46th International Symposium on Computer Architecture, pp 436-448, ACM Press, New York, 2019. (DOI).
  4. Assessment of Blood Vessel Effect on Fat-Intrabody Communication Using Numerical and Ex-Vivo Models at 2.45 GHZ. Noor Badariah Asan, Emadeldeen Hassan, Mauricio David Perez, Syaiful Redzwan Mohd Shah, Jacob Velander, Taco J. Blokhuis, Thiemo Voigt, and Robin Augustine. In IEEE Access, volume 7, pp 89886-89900, 2019. (DOI, Fulltext, fulltext:print).
  5. Carrier Scheduling in IoT Networks with Interoperable Battery-free Backscatter Tags. Perez Penichet Carlos and Thiemo Voigt. In IPSN '19: Proceedings of the 2019 International Conference on Information Processing in Sensor Networks, pp 329-330, Association for Computing Machinery (ACM), 2019. (DOI).
  6. Age of Information-Aware Scheduling for Timely and Scalable Internet of Things Applications. Lorenzo Corneo, Christian Rohner, and Per Gunningberg. In IEEE Conference On Computer Communications (IEEE INFOCOM 2019), IEEE INFOCOM, pp 2476-2484, 2019. (External link).
  7. Sampled Simulation of Task-Based Programs. Thomas Grass, Trevor E. Carlson, Alejandro Rico, Germán Ceballos, Eduard Ayguade, Marc Casas, and Miquel Moreto. In I.E.E.E. transactions on computers (Print), volume 68, number 2, pp 255-269, IEEE COMPUTER SOC, 2019. (DOI).
  8. Poster: Tiek: Two-tier Authentication and Key Distribution for Wearable Devices. Sam Hylamia, Christian Rohner, and Thiemo Voigt. In , 2019. (fulltext:postprint).
  9. Tiek: Two-tier Authentication and Key Distribution for Wearable Devices. Sam Hylamia, Wenqing Yan, Christian Rohner, and Thiemo Voigt. In 15th International Conference on Wireless and MObile Computing, Networking and Communication (WiMob), Barcelona, 21-23 October, 2019., 2019. (fulltext:postprint).
  10. Improving Sensor Network Convergecast Performance with Directional Antennas. Schandy Javier, Simon Olofsson, Thiemo Voigt, and Leonardo Steinfeld. In , 2019.
  11. Comparing node degrees in probabilistic networks. Amin Kaveh, Matteo Magnani, and Christian Rohner. In Journal of Complex Networks, volume 7, number 5, pp 749-763, 2019. (DOI).
  12. Freeway: Maximizing MLP for Slice-Out-of-Order Execution. Rakesh Kumar, Mehdi Alipour, and David Black-Schaffer. In 2019 25th IEEE International Symposium On High Performance Computer Architecture (HPCA), International Symposium on High-Performance Computer Architecture-Proceedings, pp 558-569, IEEE, 2019. (DOI, fulltext:postprint).
  13. IEEE 802.15. 4 TSCH in Sub-GHz: Design Considerations and Multi-band Support. Brachmann Martina, Simon Duquennoy, Nicolas Tsiftes, and Thiemo Voigt. In , 2019.
  14. makeSense: Simplifying the Integration of Wireless Sensor Networks into Business Processes. Luca Mottola, Gian Pietro Picco, Felix Oppermann, Joakim Eriksson, Niclas Finne, Harald Fuchs, Andrea Gaglione, Stamatis Karnouskos, Patricio Montero, Nina Oertel, Kay Römer, Patrik Spiess, Stefano Tranquillini, and Thiemo Voigt. In IEEE Transactions on Software Engineering, volume 45, number 6, pp 576-596, IEEE Computer Society, 2019. (DOI).
  15. Cross-technology Clear Channel Assessment for Low-Power Wide Area Networks. Charalampos Orfanidis, Laura Marie Feeney, Martin Jacobsson, and Per Gunningberg. In Proceedings of The 16th IEEE International Conference on Mobile Ad-Hoc and Smart Systems, 2019.
  16. Efficient thread/page/parallelism autotuning for NUMA systems. Mihail Popov, Alexandra Jimborean, and David Black-Schaffer. In International Conference on Supercomputing, Association for Computing Machinery (ACM), New York, NY, USA, 2019. (DOI, Fulltext, External link, fulltext:print).
  17. Efficient invisible speculative execution through selective delay and value prediction. Christos Sakalis, Stefanos Kaxiras, Alberto Ros, Alexandra Jimborean, and Magnus Själander. In Proc. 46th International Symposium on Computer Architecture, pp 723-735, ACM Press, New York, 2019. (DOI, fulltext:postprint).
  18. Evaluating the Potential Applications of Quaternary Logic for Approximate Computing. Christos Sakalis, Alexandra Jimborean, Stefanos Kaxiras, and Magnus Själander. In ACM Journal on Emerging Technologies in Computing Systems (JETC), volume 16, number 1, New York, NY, USA, 2019. (DOI, ACM Digital Library Link).
  19. Ghost Loads: What is the cost of invisible speculation?. Christos Sakalis, Mehdi Alipour, Alberto Ros, Alexandra Jimborean, Stefanos Kaxiras, and Magnus Själander. In Proceedings of the 16th ACM International Conference on Computing Frontiers, pp 153-163, ACM Press, New York, 2019. (DOI, fulltext:postprint).
  20. Handling Inherent Delays in Virtual IoT Gateways. Hazra Saptarshi, Simon Duquennoy, Peng Wang, Thiemo Voigt, Chenguang Lu, and Daniel Cederholm. In , 2019.
  21. LifeSec - Don’t Hack my Body. Thiemo Voigt, Robin Augustine, Noor Badariah Asan, Mauricio D. Perez, Anders Ahlén, André Teixeira, Sam Hylamia, Christian Rohner, Wenqing Yan, Laya Joseph, and Maria Mani. In , 2019.
  22. Tumor Sensing Privacy in In-Body Networks. Thiemo Voigt, Robin Augustine, Noor Badariah Asan, Mauricio D. Perez, Anders Ahlén, André Teixeira, Sam Hylamia, Christian Rohner, Wenqing Yan, Laya Joseph, and Maria Mani. In , 2019.
  23. Machine-Learning Based Active Measurement Proxy for IoT Systems. Wenqing Yan, Christofer Flinta, and Andreas Johnsson. In 2019 IFIP/IEEE Symposium On Integrated Network And Service Management (IM), pp 198-206, IEEE, 2019.

Computing Science (Datalogi)

  1. Optimal stateless model checking for reads-from equivalence under sequential consistency. Parosh Abdulla, Mohamed Faouzi Atig, Bengt Jonsson, Magnus Lång, Tuan-Phong Ngo, and Konstantinos Sagonas. In Proceedings of the ACM on programming languages, 2019. (DOI, External link).
  2. BS-assisted Task Offloading for D2D Networks with Presence of User Mobility. Ghafour Ahani and Di Yuan. In 2019 IEEE 89TH VEHICULAR TECHNOLOGY CONFERENCE (VTC2019-SPRING), IEEE Vehicular Technology Conference Proceedings, IEEE, 2019. (DOI).
  3. Teachers’ Awards - an Incentive for Pedagogical Development in Saudi Arabia. Fayiq Alghamdi, Aletta Nylén, and Arnold Pears. In , IEEE, 2019. (fulltext:postprint).
  4. Molecular Drivers of Crystallization Kinetics for Drugs in Supersaturated Aqueous Solutions. Amjad Alhalaweh, Ahmad Alzghoul, and Christel A. S. Bergström. In Journal of Pharmaceutical Sciences, volume 108, number 1, pp 252-259, ELSEVIER SCIENCE INC, 2019. (DOI, fulltext:print).
  5. TOOLympics 2019: An overview of competitions in formal methods. Ezio Bartocci, Dirk Beyer, Paul E. Black, Grigory Fedyukovich, Hubert Garavel, Arnd Hartmanns, Marieke Huisman, Fabrice Kordon, Julian Nagele, Mihaela Sighireanu, Bernhard Steffen, Martin Suda, Geoff Sutcliffe, Tjark Weber, and Akihisa Yamada. In Tools and Algorithms for the Construction and Analysis of Systems: 25 years of TACAS, Part III, volume 11429 of Lecture Notes in Computer Science, pp 3-24, Springer, 2019. (DOI, Fulltext).
  6. Exploring declarative local-search neighbourhoods with constraint programming. Gustav Björdal, Pierre Flener, Justin Pearson, and Peter J. Stuckey. In Principles and Practice of Constraint Programming, volume 11802 of Lecture Notes in Computer Science, pp 37-53, Springer, Switzerland, 2019. (DOI).
  7. Generating compound moves in local search by hybridisation with complete search. Gustav Björdal, Pierre Flener, and Justin Pearson. In Integration of Constraint Programming, Artificial Intelligence, and Operations Research, volume 11494 of Lecture Notes in Computer Science, pp 95-111, Springer, 2019. (DOI).
  8. Run, Actor, Run: Towards Cross-Actor Language Benchmarking. Sebastian Blessing, Kiko Fernandez-Reyes, Albert Mingkun Yang, Sophia Drossopoulou, and Tobias Wrigstad. In , 2019.
  9. Developing a Monadic Type Checker for an Object-Oriented Language: An Experience Report. Elias Castegren and Kiko Fernandez-Reyes. In , pp 184-196, 2019. (DOI).
  10. Resource Optimization for Joint LWA and LTE-U in Load-Coupled and Multi-Cell Networks. Bolin Chen, Lei You, Di Yuan, Nikolaos Pappas, and Jie Zhang. In IEEE Communications Letters, volume 23, number 2, pp 330-333, 2019. (DOI).
  11. Optimizing Retention-Aware Caching in Vehicular Networks. Tao Deng, Pingzhi Fan, and Di Yuan. In IEEE Transactions on Communications, volume 67, number 9, pp 6139-6152, IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC, 2019. (DOI).
  12. Accurate optimization models for interference constrained bandwith allocation in cellular networks. Grit Ecker, Di Yuan, Arie M. C. A. Koster, and Anke Schmeink. In Computers & Operations Research, volume 101, pp 1-12, 2019. (DOI).
  13. Godot: All the Benefits of Implicit and Explicit Futures. Kiko Fernandez-Reyes, Dave Clarke, Ludovic Henrio, Einar Broch Johnsen, and Tobias Wrigstad. In 33rd European Conference on Object-Oriented Programming (ECOOP 2019), volume 134 of Leibniz International Proceedings in Informatics (LIPIcs), 2019. (DOI, Fulltext, External link, fulltext:print).
  14. Courses-Concepts-Graphs as a Tool to Measure the Importance of Concepts in University Programmes. Eva Fjällstrom, Christoffer Forsberg, Felix Trulsson, Steffi Knorn, Kjell Staffas, Damiano Varagnolo, and Tobias Wrigstad. In 2019 18th European Control Conference (ECC), pp 3076-3083, IEEE, 2019. (DOI).
  15. Comparing node degrees in probabilistic networks. Amin Kaveh, Matteo Magnani, and Christian Rohner. In Journal of Complex Networks, volume 7, number 5, pp 749-763, 2019. (DOI).
  16. Reasoning about knowledge and messages in asynchronous multi-agent systems. Sophia Knight, Bastien Maubert, and François Schwarzentruber. In Mathematical Structures in Computer Science, volume 29, number 1, pp 127-168, 2019. (DOI).
  17. Quantitative analysis of curricula coherence using directed graphs. Steffi Knorn, Damiano Varagnolo, Kjell Staffas, Tobias Wrigstad, and Eva Fjällstrom. In IFAC-PapersOnLine, volume 52, number 9, pp 318-323, ELSEVIER, 2019. (DOI).
  18. Stateless model checking of the Linux kernel's read-copy update (RCU). Michalis Kokologiannakis and Konstantinos Sagonas. In International Journal on Software Tools for Technology Transfer (STTT), volume 21, number 3, pp 287-306, SPRINGER HEIDELBERG, 2019. (DOI, Fulltext, fulltext:print).
  19. Performance of an OO compute kernel on the JVM: Revisiting Java as a language for scientific computing applications. Malin Källén and Tobias Wrigstad. In Proc. 16th ACM SIGPLAN International Conference on Managed Programming Languages and Runtimes, pp 144-156, ACM Press, New York, 2019. (DOI).
  20. Modal Logics for Nominal Transition Systems. Joachim Parrow, Johannes Borgström, Lars-Henrik Eriksson, Ramunas Gutkovas, and Tjark Weber. In , 2019. (External link, fulltext:preprint). Publication status: Submitted
  21. Formal Approaches to Secure Compilation: A Survey of Fully Abstract Compilation and Related Work. Marco Patrignani, Amal Ahmed, and Dave Clarke. In ACM Computing Surveys, volume 51, number 6, 2019. (DOI).
  22. Efficient thread/page/parallelism autotuning for NUMA systems. Mihail Popov, Alexandra Jimborean, and David Black-Schaffer. In International Conference on Supercomputing, Association for Computing Machinery (ACM), New York, NY, USA, 2019. (DOI, Fulltext, External link, fulltext:print).
  23. Metrics for Temporal Text Networks. Davide Vega and Matteo Magnani. In Temporal Network Theory, pp 147-160, Springer, 2019. (DOI, fulltext:preprint).
  24. Machine-Assisted Reformulation for MiniZinc. Huu-Phuc Vo. In , 2019. (fulltext:postprint).
  25. Towards Efficient Solvers for Optimisation Problems. Huu-Phuc Vo. In Proc. 19th International Symposium on Cluster, Cloud and Grid Computing, IEEE-ACM International Symposium on Cluster Cloud and Grid Computing, pp 169-172, 2019. (DOI).
  26. Routing and wavelength assignment vs EDFA reliability performance in optical backbone networks: An operational cost perspective. Pawel Wiatr, Jiajia Chen, Paolo Monti, Lena Wosinska, and Di Yuan. In Optical Switching and Networkning Journal, volume 31, pp 211-217, 2019. (DOI).
  27. Joint Resource Allocation for Latency-Sensitive Services Over Mobile Edge Computing Networks With Caching. Jiao Zhang, Xiping Hu, Zhaolong Ning, Edith Ngai, Li Zhou, Jibo Wei, Jun Cheng, Bin Hu, and Victor C. M. Leung. In IEEE Internet of Things Journal, volume 6, number 3, pp 4283-4294, IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC, 2019. (DOI).
  28. Announcement as effort on topological spaces. Hans van Ditmarsch, Sophia Knight, and Aybüke Özgün. In Synthese, volume 196, number 7, pp 2927-2969, 2019. (DOI, Fulltext).

Computerized Image Analysis and Human-Computer Interaction

(Bildanalys och människa-datorinteraktion)

  1. Conventional analysis of movement on non-flat surfaces like the plasma membrane makes Brownian motion appear anomalous. Jeremy Adler, Ida-Maria Sintorn, Robin Strand, and Ingela Parmryd. In Communications Biology, volume 2, 2019. (DOI, Fulltext).
  2. Empathic robot for group learning: A field study. Patricia Alves-Oliveira, Pedro Sequeira, Francisco S. Melo, Ginevra Castellano, and Ana Paiva. In ACM Transactions on Human-Robot Interaction, volume 8, number 1, 2019. (DOI).
  3. Past and future challenges for railway research and the role of a systems perspective. Rebecca Andreasson, Anders Arweström Jansson, and Jessica Lindblom. In Proc. 20th Congress of the International Ergonomics Association: Volume VII, volume 824 of Advances in Intelligent Systems and Computing, pp 1737-1746, Springer, 2019. (DOI).
  4. The coordination between train traffic controllers and train drivers: a distributed cognition perspective on railway. Rebecca Andreasson, Anders Jansson, and Jessica Lindblom. In Cognition, Technology & Work, volume 21, number 3, pp 417-443, 2019. (DOI, Fulltext, fulltext:print).
  5. Developing adaptive traffic signal control by actor-critic and direct exploration methods. Mohammad Aslani, Mohammad Saadi Mesgari, Stefan Seipel, and Marco Wiering. In Proceedings of the Institution of Civil Engineers: Transport, volume 172, number 5, pp 289-298, 2019. (DOI).
  6. Mathematical Morphology on Irregularly Sampled Data Applied to Segmentation of 3D Point Clouds of Urban Scenes. Teo Asplund, Andrés Serna, Beatriz Marcotegui, Robin Strand, and Cris L. Luengo Hendriks. In International Symposium on Mathematical Morphology and Its Applications to Signal and Image Processing, 2019. (DOI).
  7. Glandular Segmentation of Prostate Cancer: An Illustration of How the Choice of Histopathological Stain Is One Key to Success for Computational Pathology. Christophe Avenel, Anna Tolf, Anca Dragomir, and Ingrid Carlbom. In Frontiers in Bioengineering and Biotechnology, volume 7, 2019. (DOI, Fulltext, fulltext:print).
  8. PDNet: Semantic segmentation integrated with a primal-dual network for document binarization. Kalyan Ram Ayyalasomayajula, Filip Malmberg, and Anders Brun. In Pattern Recognition Letters, volume 121, pp 52-60, 2019. (DOI, fulltext:postprint).
  9. Sparsity promoting super-resolution coverage segmentation by linear unmixing in presence of blur and noise. Buda Bajic, Joakim Lindblad, and Natasa Sladoje. In Journal of Electronic Imaging (JEI), volume 28, number 1, IS&T & SPIE, 2019. (DOI).
  10. The importance of language in teaching and learning ethics. Ingrid Björk and Iordanis Kavathatzopoulos. In , 2019. (External link).
  11. Electronic health records are more than a work tool: Conflicting needs of direct and indirect stakeholders. Åsa Cajander and Christiane Grünloh. In Proc. 37th CHI Conference on Human Factors in Computing Systems, ACM Press, New York, 2019. (DOI).
  12. An Intuition-Based Approach to Sustainable ICT: Insights from Eco-Ethica. Per Fors and Mikael Laaksoharju. In Tetsugaku Companion to Japanese Ethics and Technology, volume 1 of Tetsugaku Companions to Japanese Philosophy, pp 181-200, Springer, 2019. (Publisher's webpage).
  13. Haptic feedback combined with movement sonification using a friction sound improves task performance in a virtual throwing task. Emma Frid, Jonas Moll, Roberto Bresin, and Eva-Lotta Sallnas Pysander. In Journal on Multimodal User Interfaces, volume 13, number 4, pp 279-290, 2019. (DOI, Fulltext).
  14. Fast Adaptation with Meta-Reinforcement Learning for Trust Modelling in Human–Robot Interaction. Yuan Gao, Elena Sibirtseva, Ginevra Castellano, and Danica Kragic. In , 2019.
  15. <em>TAF1</em>, associated with intellectual disability in humans, is essential for embryogenesis and regulates neurodevelopmental processes in zebrafish. Sanna Gudmundsson, Maria Wilbe, Beata Filipek Gorniok, Anna-Maja Molin, Sara Ekvall, Josefin Johansson, Amin Allalou, Hans Gylje, Vera M. Kalscheuer, Johan Ledin, Göran Annerén, and Marie-Louise Bondeson. In Scientific Reports, volume 9, 2019. (DOI, Fulltext, fulltext:print).
  16. Deep Learning in Image Cytometry: A Review. Anindya Gupta, Philip J. Harrison, Håkan Wieslander, Nicolas Pielawski, Kimmo Kartasalo, Gabriele Partel, Leslie Solorzano, Amit Suveer, Anna H. Klemm, Ola Spjuth, Ida-Maria Sintorn, and Carolina Wählby. In Cytometry Part A, volume 95, number 6, pp 366-380, 2019. (DOI, Fulltext, fulltext:print).
  17. Creating an Atlas over Handwritten Script Signs. Anders Hast, Lasse Mårtensson, Ekta Vats, and Raphaela Heil. In Digital Humanities in the Nordic Countries, 2019.
  18. Embedded Prototype Subspace Classification: A subspace learning framework. Anders Hast, Mats Lind, and Ekta Vats. In Computer Analysis of Images and Patterns, Lecture Notes in Computer Science, Springer, 2019.
  19. Embedded Prototype Subspace Classification: A subspace learning framework. Anders Hast, Mats Lind, and Ekta Vats. In Computer Analysis of Images and Patterns, Lecture Notes in Computer Science, pp 581-592, Springer, 2019.
  20. Making large collections of handwritten material easily accessible and searchable. Anders Hast, Per Cullhed, Ekta Vats, and Matteo Abrate. In Digital Libraries: Supporting Open Science, volume 988 of Communications in Computer and Information Science, pp 18-28, Springer, 2019. (DOI).
  21. Age-related differences in seeking clarification to understand medical record information. Isto Huvila, Jonas Moll, Heidi Enwald, Noora Hirvonen, Rose-Mharie Åhlfeldt, and Åsa Cajander. In Proc. 12th ISIC Conference: Part 2, volume 24:1 of Information Research, 2019. (Paper).
  22. Searching for global employability: Can students capitalize on enabling learning environments?. Ville Isomöttönen, Mats Daniels, Åsa Cajander, Arnold Pears, and Roger McDermott. In ACM Transactions on Computing Education, volume 19, number 2, pp 11:1-29, 2019. (DOI).
  23. Information and Communication Technology for ethical leadership in business. Iordanis Kavathatzopoulos. In Journal of Information and Management, volume 38, number 4, pp 6-11, Japan Society for Information and Management, Tokyo, 2019.
  24. Generalized convexity: The case of lineally convex Hartogs domains. Christer Oscar Kiselman. In Annales Polonici Mathematici, volume 123, pp 319-344, Institute of Mathematics of the Polish Academy of Sciences, 2019. (DOI).
  25. Language choice in scientific writing: The case of mathematics at Uppsala University and a Nordic journal. Christer Oscar Kiselman. In Nordisk Matematisk Tidskrift. Normat., volume 61, number 2–4, pp 111-132, Nationellt centrum för matematikutbildning (NCM), Göteborg, 2019.
  26. Werner Fenchel, a pioneer in convexity theory and a migrant scientist. Christer Oscar Kiselman. In Nordisk Matematisk Tidskrift, volume 61, number 2–4, pp 133-152, Nationellt centrum för matematikutbildning (NCM), Göteborg, 2019.
  27. Tracking Microscope Performance: A Workflow to Compare Point Spread Function Evaluations Over Time. Anna H. Klemm, Andreas W. Thomae, Katarina Wachal, and Steffen Dietzel. In Microscopy and Microanalysis, volume 25, number 3, pp 699-704, 2019. (DOI).
  28. A robust multi-variability model based liver segmentation algorithm for CT-scan and MRI modalities. Marie-Ange Lebre, Antoine Vacavant, Manuel Grand-Brochier, Hugo Rositi, Robin Strand, Hubert Rosier, Armand Abergel, Pascal Chabrot, and Benoit Magnin. In Computerized Medical Imaging and Graphics, volume 76, PERGAMON-ELSEVIER SCIENCE LTD, 2019. (DOI).
  29. Modeling spatial correlation of transcripts with application to developing pancreas. Ruishan Liu, Marco Mignardi, Robert Jones, Martin Enge, Seung K. Kim, Stephen R. Quake, and James Zou. In Scientific Reports, volume 9, 2019. (DOI, Fulltext).
  30. Brown adipose tissue estimated with the magnetic resonance imaging fat fraction is associated with glucose metabolism in adolescents. Elin Lundström, Joy Ljungberg, Jonathan Andersson, Hannes Manell, Robin Strand, Anders Forslund, Peter Bergsten, Daniel Weghuber, Katharina Mörwald, Fanni Zsoldos, Kurt Widhalm, Matthias Meissnitzer, Håkan Ahlström, and Joel Kullberg. In Pediatric Obesity, volume 14, number 9, 2019. (DOI, Fulltext).
  31. Visualizing Purpose and Functionality Overlaps of Health IT Systems using an Abstraction Hierarchy. Ida Löscher and Thomas Lind. In Proceedings of the Human Factors and Ergonomics Society Annual Meeting, pp 317-321, Sage Publications, Newbury Park, California, 2019. (DOI).
  32. On the Effectiveness of Generative Adversarial Networks as HEp-2 Image Augmentation Tool. Tomáš Majtner, Buda Baji?, Joakim Lindblad, Natasa Sladoje, Victoria Blanes-Vidal, and Esmaeil S. Nadimi. In Scandinavian Conference on Image Analysis: SCIA 2019, volume 11482 of Lecture Notes in Computer Science, pp 439-451, 2019. (DOI, External link).
  33. Optimization of max-norm objective functions in image processing and computer vision. Filip Malmberg, Krzysztof Chris Ciesielski, and Robin Strand. In Discrete Geometry for Computer Imagery, volume 11414 of Lecture Notes in Computer Science, pp 206-218, Springer, 2019. (DOI).
  34. Reducing the U-Net size for practical scenarios: Virus recognition in electron microscopy images. Damian J. Matuszewski and Ida-Maria Sintorn. In Computer Methods and Programs in Biomedicine, volume 178, pp 31-39, ELSEVIER IRELAND LTD, 2019. (DOI).
  35. Content-Based Image Retrieval System for Pulmonary Nodules Using Optimal Feature Sets and Class Membership-Based Retrieval. Shrikant A. Mehre, Ashis Kumar Dhara, Mandeep Garg, Naveen Kalra, Niranjan Khandelwal, and Sudipta Mukhopadhyay. In Journal of digital imaging, volume 32, pp 362-385, 2019. (DOI).
  36. The impact of interactive visualization on trade-off-based geospatial decision-making. Goran Milutinovic, Ulla Ahonen-Jonnarth, Stefan Seipel, and Sven Anders Brandt. In International Journal of Geographical Information Science, volume 33, number 10, pp 2094-2123, 2019. (DOI, Fulltext).
  37. Bioimage Data Analysis Workflows. Kota Miura and Natasa Sladoje (eds). Learning Materials in Biosciences, Springer, 2019. (DOI, Fulltext, PDF, EPUB).
  38. Oncology health-care professionals’ perceived effects of patient accessible electronic health records 6 years after launch: A survey study at a major university hospital in Sweden. Jonas Moll and Åsa Cajander. In Health Informatics Journal, Sage Publications, 2019. (DOI, Fulltext, fulltext:print).
  39. Reflecting on the presence of science fiction robots in computing literature. Omar Mubin, Kewal Wadibhasme, Philipp Jordan, and Mohammad Obaid. In ACM Transactions on Human-Robot Interaction, volume 8, number 1, 2019. (DOI).
  40. In search of the scribe: Letter spotting as a tool for identifying scribes in large handwritten text corpora. Lasse Mårtensson, Ekta Vats, Anders Hast, and Alicia Fornés. In Human IT, volume 14, number 2, pp 95-120, 2019. (External link).
  41. Distance Transform Based on Weight Sequences. Benedek Nagy, Robin Strand, and Nicolas Normand. In DGCI 2019: Discrete Geometry for Computer Imagery, volume 11414 of Lecture Notes in Computer Science, pp 62-74, Springer, Switzerland AG, 2019. (DOI).
  42. RayCaching: Amortized Isosurface Rendering for Virtual Reality. Fredrik Nysjö, Filip Malmberg, and Ingela Nyström. In Computer graphics forum (Print), John Wiley & Sons, 2019. (DOI, Fulltext, External link). Publication status: Epub ahead of print
  43. Cognitive Chunks as Neural Activity: Is it Possible to see What you Think?. Lars Oestreicher. In Proceedings Of The 10th IEEE International Conference On Cognitive Infocommunications: CogInfoCom 2019, IEEE conference proceedings, Neapel, 2019. (fulltext:postprint).
  44. Future assistive devices: What's at stake for you or me?. Lars Oestreicher. In XRDS, volume 26, number 1, pp 46-49, 2019. (DOI).
  45. Voxel-wise assessment of lung aeration changes on CT images using image registration: application to acute respiratory distress syndrome (ARDS). Maciej Orkisz, Alfredo Morales, Jean-Christophe Richard, Claude Guerin, Leslie Solorzano, Daniela Florentina Sicaru, Camila Garcia Hernandez, Margarita Gomez Ballen, Bruno Neyran, Eduardo Davila, and Marcela Hernández Hoyos. In International Journal of Computer Assisted Radiology and Surgery, pp 1-9, 2019. (DOI, External link).
  46. A rapid and accurate method to quantify neurite outgrowth from cell and tissue cultures: Two image analytic approaches using adaptive thresholds or machine learning.. A. Ossinger, A. Bajic, S. Pan, B. Andersson, Petter Ranefall, N P Hailer, and N. Schizas. In Journal of Neuroscience Methods, 2019. (DOI). Publication status: Epub ahead of print
  47. "Can you say more about the location?": The Development of a Pedagogical Reference Resolution Agent. Maike Paetzel and Ramesh Manuvinakurike. In , 2019.
  48. Let me get to know you better: Can interactions help to overcome uncanny feelings?. Maike Paetzel and Ginevra Castellano. In Proc. 7th International Conference on Human–Agent Interaction, pp 59-67, ACM Press, New York, 2019. (DOI).
  49. Rational nanotoolbox with theranostic potential for medicated pro-regenerative corneal implants. Hirak K. Patra, Mohammad Azharuddin, Mohammad M. Islam, Georgia Papapavlou, Suryyani Deb, Johannes Osterrieth, Geyunjian Harry Zhu, Thobias Romu, Ashis Kumar Dhara, Mohammad J. Jafari, Amineh Gadheri, Jorma Hinkula, Madhavan S. Rajan, and Nigel K. H. Slater. In Advanced Functional Materials, volume 29, number 38, 2019. (DOI).
  50. Average volume reference space for large scale registration of whole-body magnetic resonance images. Martino Pilia, Joel Kullberg, Håkan Ahlström, Filip Malmberg, Simon Ekström, and Robin Strand. In PLoS ONE, volume 14, number 10, 2019. (DOI, Fulltext).
  51. Capturing and characterizing human activities using building locations in America. Zheng Ren, Bin Jiang, and Stefan Seipel. In ISPRS International Journal of Geo-Information, volume 8, number 5, 2019. (DOI, Fulltext).
  52. Region-by-region analysis of PET, MRI, and histology in en bloc-resected oligodendrogliomas reveals intra-tumoral heterogeneity. Kenney Roy Roodakker, Ali Alhuseinalkhudhur, Mohammed Al-Jaff, Maria Georganaki, Maria Zetterling, Shala G. Berntsson, Torsten Danfors, Robin Strand, Per-Henrik Edqvist, Anna Dimberg, Elna-Marie Larsson, and Anja Smits. In European Journal of Nuclear Medicine and Molecular Imaging, volume 46, number 3, pp 569-579, 2019. (DOI, Fulltext).
  53. A strategy for OCT estimation of the optic nerve head pigment epithelium central limit-inner limit of the retina minimal distance, PIMD-2?. Camilla Sandberg Melin, Filip Malmberg, and Per G. Söderberg. In Acta Ophthalmologica, volume 97, number 2, pp 208-213, 2019. (DOI).
  54. A whole-body FDG PET/MR atlas for multiparametric voxel-based analysis. Therese Sjöholm, Simon Ekström, Robin Strand, Håkan Ahlström, Lars Lind, Filip Malmberg, and Joel Kullberg. In Scientific Reports, volume 9, 2019. (DOI, Fulltext, fulltext:print).
  55. A whole-body FDG PET/MR atlas for multiparametric voxel-based analysis. Therese Sjöholm, Simon Ekström, Robin Strand, Håkan Ahlström, Lars Lind, Filip Malmberg, and Joel Kullberg. In Scientific Reports, volume 9, 2019. (DOI, Fulltext).
  56. Super-resolution Reconstruction of Transmission Electron Microscopy Images using Deep Learning. Amit Suveer, Anindya Gupta, Gustaf Kylberg, and Ida-Maria Sintorn. In 2019 IEEE 16th International Symposium on Biomedical Imaging (ISBI 2019), Biomedical Imaging, IEEE International Symposium on, pp 548-551, IEEE, 2019. (DOI).
  57. On the development of a method for cognitive load assessment in manufacturing. Peter Thorvald, Jessica Lindblom, and Rebecca Andreasson. In Robotics and Computer-Integrated Manufacturing, volume 59, pp 252-266, 2019. (DOI).
  58. New De?nition of Quality-Scale Robustness for Image Processing Algorithms, with Generalized Uncertainty Modeling, Applied to Denoising and Segmentation. Antoine Vacavant, Marie-Ange Lebre, Hugo Rositi, Manuel Grand-Brochier, and Robin Strand. In RRPR 2018: Reproducible Research in Pattern Recognition, volume 11455 of Lecture Notes in Computer Science, pp 138-149, Springer, Switzerland AG, 2019. (DOI).
  59. Automatic detection of calving events from time-lapse imagery at Tunabreen, Svalbard. Dorothée Vallot, Sigit Adinugroho, Robin Strand, Penelope How, Rickard Pettersson, Douglas I. Benn, and Nick R. J. Hulton. In Geoscientific Instrumentation, Methods and Data Systems, volume 8, pp 113-127, 2019. (DOI, Fulltext, fulltext:print).
  60. Training-Free and Segmentation-Free Word Spotting using Feature Matching and Query Expansion. Ekta Vats, Anders Hast, and Alicia Fornés. In Proc. 15th International Conference on Document Analysis and Recognition, 2019.
  61. SynQuant: An Automatic Tool to Quantify Synapses from Microscopy Images. Yizhi Wang, Congchao Wang, Petter Ranefall, Gerard Joey Broussard, Yinxue Wang, Guilai Shi, Boyu Lyu, Chiung-Ting Wu, Yue Wang, Lin Tian, and Guoqiang Yu. In Bioinformatics, 2019. (DOI, External link).
  62. Correcting exorbitism by monobloc frontofacial advancement in Crouzon–Pfeiffer syndrome: An age-specific, time-related, controlled study. Benjamin L. M. Way, Roman H. Khonsari, Tharsika Karunakaran, Johan Nysjö, Ingela Nyström, David J. Dunaway, Robert D. Evans, Richard D. Hayward, and Jonathan A. Britto. In Plastic and reconstructive surgery (1963), volume 143, number 1, pp 121e-132e, 2019. (DOI).
  63. In situ quantification of individual mRNA transcripts in melanocytes discloses gene regulation of relevance to speciation. Chi-Chih Wu, Axel Klaesson, Julia Buskas, Petter Ranefall, Reza Mirzazadeh, Ola Söderberg, and Jochen B. W. Wolf. In Journal of Experimental Biology, volume 222, number 5, 2019. (DOI).
  64. Visual Saliency: From Pixel-Level to Object-Level Analysis. Jianming Zhang, Filip Malmberg, and Stan Sclaroff. Springer, 2019. (DOI).
  65. Fast and Robust Symmetric Image Registration Based on Distances Combining Intensity and Spatial Information. Johan Öfverstedt, Joakim Lindblad, and Natasa Sladoje. In IEEE Transactions on Image Processing, volume 28, number 7, pp 3584-3597, IEEE, 2019. (DOI, Fulltext, fulltext:print).
  66. Stochastic Distance Transform. Johan Öfverstedt, Joakim Lindblad, and Natasa Sladoje. In Discrete Geometry for Computer Imagery, volume 11414 of Lecture Notes in Computer Science, pp 75-86, Springer, 2019. (DOI).

Updated  2019-04-09 10:22:28 by Kurt Otto.