Publications 2018
- Optimal Stateless Model Checking under the Release-Acquire Semantics. In SPLASH OOPSLA 2018, Boston, Nov 4-9, 2018, ACM Digital Library, 2018. (DOI, arXiv:1808.00843).
- Optimal Stateless Model Checking under the Release-Acquire Semantics. In Proceedings of the ACM on Programming Languages, volume 2, number OOPSLA, pp 1-29, Association for Computing Machinery (ACM), 2018. (DOI, Fulltext, fulltext:print).
- Perfect timed communication is hard. In Formal Modeling and Analysis of Timed Systems, volume 11022 of Lecture Notes in Computer Science, pp 91-107, Springer, 2018. (DOI, Fulltext).
- A load-buffer semantics for total store ordering. In Logical Methods in Computer Science, volume 14, number 1, 2018. (DOI, Fulltext).
- Complexity of reachability for data-aware dynamic systems. In Proc. 18th International Conference on Application of Concurrency to System Design, pp 11-20, IEEE Computer Society, 2018. (DOI, Fulltext).
- Fragment abstraction for concurrent shape analysis. In Programming Languages and Systems, volume 10801 of Lecture Notes in Computer Science, pp 442-471, Springer, 2018. (DOI, Fulltext).
- Mending fences with self-invalidation and self-downgrade. In Logical Methods in Computer Science, volume 14, number 1, 2018. (DOI, Fulltext).
- Model checking parameterized systems. In Handbook of Model Checking, pp 685-725, Springer, 2018. (DOI).
- Replacing store buffers by load buffers in TSO. In Verification and Evaluation of Computer and Communication Systems, volume 11181 of Lecture Notes in Computer Science, pp 22-28, Springer, 2018. (DOI).
- Trau: SMT solver for string constraints. In Proceedings of the 2018 18th Conference on Formal Methods in Computer Aided Design (FMCAD), IEEE, 2018. (DOI).
- Universal safety for timed Petri nets is PSPACE-complete. In 29th International Conference on Concurrency Theory, volume 118 of Leibniz International Proceedings in Informatics, pp 6:1-15, Leibniz-Zentrum für Informatik, Dagstuhl, Germany, 2018. (DOI, Fulltext).
- Verification of timed asynchronous programs. In IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science: FSTTCS 2018, volume 122 of Leibniz International Proceedings in Informatics, pp 8:1-16, Leibniz-Zentrum für Informatik, Dagstuhl, Germany, 2018. (DOI, Fulltext).
- Schedulability Analysis and Software Synthesis for Graph-Based Task Models with Resource Sharing. In Proc. 24th Real-Time and Embedded Technology and Applications Symposium, pp 261-270, IEEE Computer Society, 2018. (DOI).
- Convolutional Neural Networks for Efficient Localization of Interstitial Lung Disease Patterns in HRCT Images. In Medical Image Understanding and Analysis: 22nd Conference, MIUA 2018, Southampton, UK, July 9-11, 2018, Proceedings, volume 894 of Communications in Computer and Information Science (CCIS), pp 12-22, Springer Nature, 2018. (DOI).
- On optimal proactive and retention-aware caching with user mobility. In 2018 IEEE 88th Vehicular Technology Conference (VTC-Fall), IEEE Vehicular Technology Conference Proceedings, IEEE, 2018. (DOI).
- Are the eigenvalues of preconditioned banded symmetric Toeplitz matrices known in almost closed form?. In Numerical Algorithms, volume 78, pp 867-893, 2018. (DOI, Fulltext).
- Automated Diagnostic of Virtualized Service Performance Degradation. In NOMS 2018 - 2018 IEEE/IFIP Network operations and management symposium, IEEE IFIP Network Operations and Management Symposium, IEEE, New York, 2018.
- Efficient iterative virtual screening with Apache Spark and conformal prediction. In Journal of Cheminformatics, volume 10, 2018. (DOI, Fulltext).
- Sampled-Data Based State and Parameter Estimation for State-Affine Systems with Uncertain Output Equation. In , volume 51:15 of IFAC-PapersOnLine, pp 491-496, 2018. (DOI).
- Assessment of risk in written communication: Introducing the Profile Risk Assessment Tool (PRAT). EUROPOL, Belgium, 2018. (fulltext).
- Conveying Emotions by Touch to the Nao Robot: A User Experience Perspective. In Multimodal Technologies and Interaction, volume 2, number 4, 2018. (DOI, Fulltext).
- Changing the Educational Epistemologies of Computer Science Teachers: A Case Study of the Kingdom of Saudi Arabia. In 2018 IEEE Frontiers in Education Conference (FIE), Frontiers in Education Conference, IEEE, Piscataway, NJ, 2018. (DOI).
- Computer science teachers perspectives on competencies: A case study in the Kingdom of Saudi Arabia. In Informatics in Schools. Fundamentals of Computer Science and Software Engineering, volume 11169 of Lecture Notes in Computer Science, pp 129-140, Springer, 2018. (DOI).
- Dynamically Disabling Way-prediction to Reduce Instruction Replay. In 2018 IEEE 36th International Conference on Computer Design (ICCD), Proceedings IEEE International Conference on Computer Design, pp 140-143, IEEE, 2018. (DOI, External link).
- Forward deterministic pricing of options using Gaussian radial basis functions. In Journal of Computational Science, volume 24, pp 209-217, 2018. (DOI, fulltext:postprint).
- Model Checking Bounded Continuous-time Extended Linear Duration Invariants. In HSCC 2018: Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (HSCC), pp 81-90, ASSOC COMPUTING MACHINERY, 2018. (DOI).
- Data-driven impulse response regularization via deep learning. In , volume 51:15 of IFAC-PapersOnLine, pp 1-6, 2018. (DOI).
- The impact of deep brain stimulation on a simulated neuron: Inhibition, excitation, and partial recovery. In Proc. 16th European Control Conference, pp 2034-2039, IEEE, 2018. (DOI).
- Affective touch in human–robot interaction: Conveying emotion to the Nao robot. In International Journal of Social Robotics, volume 10, pp 473-491, 2018. (DOI, Fulltext, fulltext:print).
- BIM and 3D property visualisation. In Proc. FIG Congress 2018, 2018. (External link).
- Sound conformance testing for cyber-physical systems: Theory and implementation. In Science of Computer Programming, volume 162, pp 35-54, ELSEVIER SCIENCE BV, 2018. (DOI, Fulltext, fulltext:print).
- Security of Internet of Things for a Reliable Internet of Services. In Autonomous Control for a Reliable Internet of Services: Methods, Models, Approaches, Techniques, Algorithms, and Tools, Cham, 2018. (DOI, Fulltext, fulltext:print).
- An equation-free approach for second order multiscale hyperbolic problems in non-divergence form. In Communications in Mathematical Sciences, volume 16, pp 2317-2343, 2018. (DOI).
- Atomistic-continuum multiscale modelling of magnetisation dynamics at non-zero temperature. In Advances in Computational Mathematics, volume 44, pp 1119-1151, 2018. (DOI, Fulltext).
- Effective Techniques for Stateless Model Checking. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1602, Acta Universitatis Upsaliensis, Uppsala, 2018. (fulltext, preview image).
- Optimal dynamic partial order reduction with observers. In Tools and Algorithms for the Construction and Analysis of Systems: Part II, volume 10806 of Lecture Notes in Computer Science, pp 229-248, Springer, 2018. (DOI, Fulltext, Förlagets fulltext - Bok, fulltext:print).
- Characterization of the Fat Channel for Intra-Body Communication at R-Band Frequencies. In Sensors, volume 18, number 9, 2018. (DOI, Fulltext, fulltext:print).
- Effect of thickness inhomogeneity in fat tissue on in-body microwave propagation. In 2018 IEEE International Microwave Biomedical Conference (IMBioC), pp 136-138, IEEE, Philadelphia, USA, 2018. (DOI, fulltext:postprint).
- Effects of Blood Vessels on Fat Channel Microwave Communication. In 2018 IEEE Conference On Antenna Measurements & Applications (CAMA), IEEE Conference on Antenna Measurements & Applications, IEEE, 2018.
- Impact of Blood Vessels on Data Packet Transmission Through the Fat Channel. In 2018 IEEE International RF and Microwave Conference (RFM), IEEE MTT-S International Microwave and RF Conference, pp 196-198, IEEE, 2018. (DOI).
- Service Level Agreements for Safe and Configurable Production Environments. In 2018 IEEE 23rd International Conference on Emerging Technologies and Factory Automation (ETFA), IEEE International Conference on Emerging Technologies and Factory Automation-ETFA, pp 1252-1255, IEEE, 2018. (DOI, External link).
- Continuous residual reinforcement learning for traffic signal control optimization. In Canadian journal of civil engineering (Print), volume 45, number 8, pp 690-702, 2018. (DOI).
- Traffic signal optimization through discrete and continuous reinforcement learning with robustness analysis in downtown Tehran. In Advanced Engineering Informatics, volume 38, pp 639-655, 2018. (DOI).
- Verification and Evaluation of Computer and Communication Systems. Volume 11181 of Lecture Notes in Computer Science, Springer, 2018. (DOI).
- Verifying quantitative temporal properties of procedural programs. In 29th International Conference on Concurrency Theory, volume 118 of Leibniz International Proceedings in Informatics, pp 15:1-17, Leibniz-Zentrum für Informatik, Dagstuhl, Germany, 2018. (DOI, Fulltext).
- International Workshop on Mining Attributed Networks (MATNET 2018) Chairs' Welcome. In WWW '18: Companion Proceedings of the Web Conference 2018, pp 1231-1233, Association for Computing Machinery (ACM), 2018. (DOI).
- BAMSI: a multi-cloud service for scalable distributed filtering of massive genome data. In BMC Bioinformatics, volume 19, pp 240:1-11, 2018. (DOI, Fulltext).
- On the importance of mental time frames: A case for the need of empirical methods to investigate adaptive expertise. In Journal of Applied Research in Memory and Cognition, volume 7, number 1, pp 51-59, 2018. (DOI).
- An efficient preconditioning method for state box-constrained optimal control problems. Technical report / Department of Information Technology, Uppsala University nr 2018-008, Department of Information Technology, Uppsala University, 2018. (fulltext).
- An efficient preconditioning method for state box-constrained optimal control problems. In Journal of Numerical Mathematics, volume 26, pp 185-207, 2018. (DOI).
- Parallel solution methods and preconditioners for evolution equations. In Mathematical Modelling and Analysis, volume 23, pp 287-308, 2018. (DOI, Fulltext).
- Preconditioners for two-by-two block matrices with square blocks. Technical report / Department of Information Technology, Uppsala University nr 2018-010, 2018. (fulltext).
- Bit-Vector Interpolation and Quantifier Elimination by Lazy Reduction. In Formal Methods in Computer-Aided Design, pp 50-59, IEEE, 2018. (DOI, fulltext:postprint).
- Performance evaluation of IEC 61850-90-5 over a latency optimized 3GPP LTE network. In Proc. 9th International Conference on Smart Grid Communications, IEEE, 2018. (DOI).
- Editorial: Novel methods and theories in numerical algebra with interdisciplinary applications. In Numerical Linear Algebra with Applications, volume 25, number 4, Wiley, 2018. (DOI).
- Denoising of short exposure transmission electron microscopy images for ultrastructural enhancement. In Proc. 15th International Symposium on Biomedical Imaging, pp 921-925, IEEE, 2018. (DOI).
- Investigations into the Use of Learning Agreements to Enhance Stakeholder Engagement and Promote Self-Efficacy in Computing Education. In 2018 IEEE Frontiers in Education Conference (FIE), Frontiers in Education Conference, IEEE, Piscataway, NJ, 2018. (DOI).
- Non-Hermitian perturbations of Hermitian matrix-sequences and applications to the spectral analysis of approximated PDEs. Technical report / Department of Information Technology, Uppsala University nr 2018-004, 2018. (fulltext).
- Preface for the special issue on Interaction and Concurrency Experience 2016. In The Journal of logical and algebraic methods in programming, volume 98, pp 26-26, 2018. (DOI).
- Efficient Green's function reaction dynamics (GFRD) simulations for diffusion-limited, reversible reactions. In Journal of Computational Physics, volume 357, pp 78-99, 2018. (DOI).
- Multiscale modelling via split-step methods in neural firing. In Mathematical and Computer Modelling of Dynamical Systems, volume 24, pp 426-445, 2018. (DOI, Fulltext).
- Discontinuous Galerkin discretization of the heat equation in any dimension: The spectral symbol. Technical report / Department of Information Technology, Uppsala University nr 2018-002, 2018. (fulltext).
- Space–time FE–DG discretization of the anisotropic diffusion equation in any dimension: The spectral symbol. In SIAM Journal on Matrix Analysis and Applications, volume 39, pp 1383-1420, 2018. (DOI).
- Detection of Malignancy-Associated Changes Due to Precancerous and Oral Cancer Lesions: A Pilot Study Using Deep Learning. In CYTO2018, 2018. (External link).
- "How research came inside me as a new knowledge": An inside perspective from two Bhutanese students on learning research in Computing Education. In 2018 6th International Conference on Learning and Teaching in Computing and Engineering (LaTICE), International Conference on Teaching and Learning in Computing and Engineering, pp 98-102, IEEE, 2018. (DOI).
- Spectral analysis of finite-dimensional approximations of 1<em>d</em> waves in non-uniform grids. In Calcolo, volume 55, pp 47:1-28, 2018. (DOI).
- Lyman continuum leakage versus quenching with the James Webb Space Telescope: the spectral signatures of quenched star formation activity in reionization-epoch galaxies. In Monthly notices of the Royal Astronomical Society, volume 479, number 1, pp 368-376, 2018. (DOI, Fulltext, fulltext:preprint, fulltext:print).
- Declarative local-search neighbourhoods in MiniZinc. In PROCEEDINGS OF THE 2018 IEEE 30TH INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE (ICTAI), pp 98-105, IEEE Computer Society, 2018. (DOI).
- Language and teaching ethics. In , 2018. (External link).
- SoftCut:: A Virtual Planning Tool for Soft Tissue Resection on CT Images. In Medical Image Understanding and Analysis, Communications in Computer and Information Science, pp 299-310, Springer, Cham, 2018. (DOI, External link).
- The Scarcity of Universal Colour Names. In Proceedings of 7th International Conference on Pattern Recognition Applications and Methods (ICPRAM 2018), pp 496-502, SciTePress, 2018. (DOI).
- C?: A New Modular Approach to Implementing Efficient and Tunable Collections. In Proceedings of the 2018 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software (Onward! 2018), pp 57-71, ACM, 2018. (DOI).
- Structured Data. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1749, Acta Universitatis Upsaliensis, Uppsala, 2018. (fulltext, preview image).
- Quantifying layer similarity in multiplex networks: a systematic study. In Royal Society Open Science, volume 5, number 8, ROYAL SOC, 2018. (DOI, Fulltext, fulltext:print).
- Complex systems for society. In XRDS, volume 25, number 1, pp 63-63, 2018. (DOI).
- Medical records online for patients and effects on the work environment of nurses. In Building Continents of Knowledge in Oceans of Data: The Future of Co-Created eHealth, volume 247 of Studies in Health Technology and Informatics, pp 271-275, IOS Press, Amsterdam, The Netherlands, 2018. (DOI, Fulltext).
- Software engineering with conflicting user needs: Patient accessible electronic patient records. In Proceedings of the International Workshop on Software Engineering in Healthcare Systems, pp 1-1, IEEE, 2018. (DOI).
- Using data for better cancer treatments. In Care for Cancer, pp 34-37, Uppsala University, 2018. (fulltext:print).
- Coherent modulation of the sea-level annual cycle in the United States by Atlantic Rossby waves. In Nature Communications, volume 9, Nature Publishing Group, 2018. (DOI, Fulltext, fulltext:print).
- Battery-free 802.15. 4 Receiver. In 17th ACM/IEEE International Conference on Information Processing in Sensor Networks (IPSN), IEEE, 2018. (DOI).
- Four relections on the history of ITiCSE. In ACM inroads, volume 9, number 4, pp 40-46, ACM Digital Library, 2018. (DOI).
- Extending Automata Learning to Extended Finite State Machines. In Machine Learning for Dynamic Software Analysis: Potentials and Limits, volume 11026 of Lecture Notes in Computer Science, pp 149-177, Springer, 2018. (DOI).
- Attached and Detached Closures in Actors. In Proceedings of the 8th ACM SIGPLAN International Workshop on Programming Based on Actors, Agents, and Decentralized Control, pp 54-61, ACM Digital Library, 2018. (DOI).
- Bestow and Atomic: Concurrent programming using isolation, delegation and grouping. In The Journal of logical and algebraic methods in programming, volume 100, pp 130-151, 2018. (DOI).
- Capability-Based Type Systems for Concurrency Control. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1611, Acta Universitatis Upsaliensis, Uppsala, 2018. (fulltext, preview image).
- OOlong: An Extensible Concurrent Object Calculus. In SAC '18: Proceedings of the 33rd Annual ACM Symposium on Applied Computing, pp 1022-1029, 2018. (DOI, fulltext:postprint).
- OOlong: A Concurrent Object Calculus for Extensibility and Reuse. In ACM SIGAPP Applied Computing Review, volume 18, number 4, pp 47-60, Association for Computing Machinery, 2018. (DOI).
- Environmental Control at the Edge. In , 2018. (fulltext:print).
- Analyzing performance variation of task schedulers with TaskInsight. In Parallel Computing, volume 75, pp 11-27, 2018. (DOI).
- Behind the Scenes: Memory Analysis of Graphical Workloads on Tile-based GPUs. In Proc. International Symposium on Performance Analysis of Systems and Software: ISPASS 2018, pp 1-11, IEEE Computer Society, 2018. (DOI, fulltext:preprint).
- Tail-PASS: Resource-based Cache Management for Tiled Graphics Rendering Hardware. In Proc. 16th International Conference on Parallel and Distributed Processing with Applications, pp 55-63, IEEE, 2018. (DOI).
- Understanding Task Parallelism: Providing insight into scheduling, memory, and performance for CPUs and Graphics. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1737, Acta Universitatis Upsaliensis, Uppsala, 2018. (fulltext, preview image).
- EDF-VD Scheduling of Flexible Mixed-Criticality System With Multiple-Shot Transitions. In IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, volume 37, number 11, pp 2393-2403, 2018. (DOI).
- Utilization-Based Scheduling of Flexible Mixed-Criticality Real-Time Tasks. In IEEE Transactions on Computers, volume 67, number 4, pp 543-558, IEEE COMPUTER SOC, 2018. (DOI).
- Uniform convergence of V-cycle multigrid algorithms for two-dimensional fractional Feynman–Kac equation. In Journal of Scientific Computing, volume 74, pp 1034-1059, 2018. (DOI).
- Detecting Ponzi Schemes on Ethereum: Towards Healthier Blockchain Technology. In WWW '18: Proceedings of the 2018 World Wide Web Conference, pp 1409-1418, ACM Digital Library, 2018. (DOI, Fulltext, fulltext:print).
- Anisotropic radial basis function methods for continental size ice sheet simulations. In Journal of Computational Physics, volume 372, pp 161-177, 2018. (DOI).
- Pathwise error bounds in multiscale variable splitting methods for spatial stochastic kinetics. In SIAM Journal on Numerical Analysis, volume 56, pp 469-498, 2018. (DOI).
- Ammonium based aeration control in wastewater treatment plants: Modelling and controller design. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2018-002, Uppsala University, 2018. (fulltext).
- Input–output stability design of an ammonium based aeration controller for wastewater treatment. In 2018 Annual American Control Conference (ACC), Proceedings of the American Control Conference (ACC), pp 2964-2971, Institute of Electrical and Electronics Engineers (IEEE), 2018. (DOI).
- Nonlinear system identification of the dissolved oxygen to effluent ammonium dynamics in an activated sludge process. Technical report / Department of Information Technology, Uppsala University nr 2018-011, Uppsala universitet, Uppsala, 2018. (Report in fulltext, fulltext).
- Scheduling at the Edge for Assisting Cloud Real-Time Systems. In Proceedings of the 2018 Workshop on Theory and Practice for Integrated Cloud, Fog and Edge Computing Paradigms, pp 9-14, ACM, New York, NY, USA, 2018. (DOI).
- Orchestral: a lightweight framework for parallel simulations of cell–cell communication. In Proc. 14th International Conference on e-Science, pp 168-176, IEEE Computer Society, Los Alamitos, CA, 2018. (DOI).
- Model-based optimization for individualized deep brain stimulation. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1659, Acta Universitatis Upsaliensis, Uppsala, 2018. (fulltext, preview image).
- Optimization-based contact fault alleviation in deep brain stimulation leads. In IEEE transactions on neural systems and rehabilitation engineering, volume 26, number 1, pp 69-76, 2018. (DOI).
- Tracking the NGS revolution: managing life science research on shared high-performance computing clusters. In GigaScience, volume 7, number 5, Oxford University Press, 2018. (DOI, Fulltext, fulltext:print).
- My SIGCSE -> ITiCSE. In ACM inroads, volume 9, number 4, pp 101-101, ACM Digital Library, 2018. (DOI).
- A multi-criteria optimization model for emission-concerned multi-depot vehicle routing problem with heterogeneous fleet. In 2018 International Conference on Applied Smart Systems (ICASS), Institute of Electrical and Electronics Engineers (IEEE), 2018. (DOI).
- Comparison of two hyperparameter-free sparse signal processing methods for direction-of-arrival tracking in the HF97 ocean acoustic experiment. In IEEE Journal of Oceanic Engineering, volume 43, number 3, pp 725-734, 2018. (DOI).
- On selecting appropriate training data to model an autonomous oscillator. In Proc. 28th International Conference on Noise and Vibration Engineering, pp 2601-2614, Katholieke Univ. Leuven, 2018.
- Stability properties of a MIMO data flow controller. In Proc. American Control Conference: ACC 2018, pp 2638-2643, American Automatic Control Council, 2018. (DOI).
- Cost-optimal caching for D2D networks with user mobility: Modeling, analysis, and computational approaches. In IEEE Transactions on Wireless Communications, volume 17, number 5, pp 3082-3094, 2018. (DOI).
- Device caching for network offloading: Delay minimization with presence of user mobility. In IEEE Wireless Communications Letters, volume 7, number 4, pp 558-561, 2018. (DOI).
- Interactive segmentation of glioblastoma for post-surgical treatment follow-up. In Proc. 24th International Conference on Pattern Recognition, pp 1199-1204, IEEE, 2018. (DOI).
- Analysis of photobioreactors in series. In Mathematical Biosciences, volume 306, pp 107-118, ELSEVIER SCIENCE INC, 2018. (DOI).
- ACM SIGCHI/EIT health summer school on user-centered design in e-Health. In interactions, volume 25, number 3, pp 87-87, 2018. (DOI).
- Spectral analysis and multigrid methods for finite volume approximations of space-fractional diffusion equations. In SIAM Journal on Scientific Computing, volume 40, pp A4007-A4039, 2018. (DOI).
- Exploring properties of a telecommunication protocol with message delay using interactive theorem prover. In Software Engineering and Formal Methods, volume 10886 of Lecture Notes in Computer Science, pp 239-253, Springer, 2018. (DOI).
- Staggered discontinuous Galerkin methods for the incompressible Navier–Stokes equations: Spectral analysis and computational results. In Numerical Linear Algebra with Applications, volume 25, pp e2151:1-31, 2018. (DOI).
- The Effect of DMPA Use on the Human Cervical Epithelium: Mechanisms Revealed by Image Analysis. In AIDS Research and Human Retroviruses, volume 34, number S1, pp 310-310, 2018. (Abstracts).
- Brain activity patterns in high-throughput electrophysiology screen predict both drug efficacies and side effects.. In Nature Communications, volume 9, number 1, 2018. (DOI, Fulltext, fulltext:print).
- Are the eigenvalues of banded symmetric Toeplitz matrices known in almost closed form?. In Experimental Mathematics, volume 27, pp 478-487, 2018. (DOI, fulltext:postprint).
- Are the eigenvalues of the B-spline isogeometric analysis approximation of ?<em>?u</em> = <em>?u</em> known in almost closed form?. In Numerical Linear Algebra with Applications, volume 25, pp e2198:1-34, 2018. (DOI).
- Eigenvalue isogeometric approximations based on B-splines: Tools and results. Technical report / Department of Information Technology, Uppsala University nr 2018-012, 2018. (fulltext).
- Eigenvalues and eigenvectors of banded Toeplitz matrices and the related symbols. In Numerical Linear Algebra with Applications, volume 25, pp e2137:1-17, 2018. (DOI).
- Exact formulæ and matrix-less eigensolvers for block banded symmetric Toeplitz matrices. Technical report / Department of Information Technology, Uppsala University nr 2018-005, 2018. (fulltext).
- Exact formulæ and matrix-less eigensolvers for block banded symmetric Toeplitz matrices. In BIT Numerical Mathematics, volume 58, pp 937-968, 2018. (DOI, Fulltext).
- Matrix-Less Methods for Computing Eigenvalues of Large Structured Matrices. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1652, Acta Universitatis Upsaliensis, Uppsala, 2018. (fulltext, preview image, errata).
- Criterion scores, construct validity and reliability of a web-based instrument to assess physiotherapists' clinical reasoning focused on behaviour change: 'Reasoning 4 Change'. In AIMS PUBLIC HEALTH, volume 5, number 3, pp 235-259, American Institute of Mathematical Sciences (AIMS), 2018. (DOI, Fulltext, fulltext:print).
- Mesoscopic modeling of random walk and reactions in crowded media. In Physical Review E. Statistical, Nonlinear, and Soft Matter Physics, volume 98, pp 033304:1-16, 2018. (DOI).
- Scalable population-level modelling of biological cells incorporating mechanics and kinetics in continuous time. In Royal Society Open Science, volume 5, pp 180379:1-17, 2018. (DOI, Fulltext).
- Towards Long-range Backscatter Communication with Tunnel Diode Reflection Amplifier. In , 2018. (fulltext:postprint).
- Scaling RPL to Dense and Large Networks with Constrained Memory. In , 2018. (fulltext:postprint).
- Towards Bayesian parametrization of national scale epidemics. In MATHMOD 2018 Extended Abstracts, pp 65-66, ARGESIM Publisher, Vienna, Austria, 2018. (DOI, Fulltext).
- Thematic ranking of object summaries for keyword search. In Data & Knowledge Engineering, volume 113, pp 1-17, 2018. (DOI).
- A generalized force-directed layout for multiplex sociograms. In Social Informatics: 10th International Conference, SocInfo 2018, St. Petersburg, Russia, September 25-28, 2018, Proceedings, Part I, volume 0302-9743 of Lecture Notes in Computer Science, pp 212-227, Springer, 2018. (DOI).
- Perception of time to contact of slow- and fast-moving objects using monocular and binocular motion information. In Attention, Perception & Psychophysics, volume 80, number 6, pp 1584-1590, 2018. (DOI).
- Avoiding an IoT "Tragedy of the Commons". In Proc. 16th International Conference on Mobile Systems, Applications, and Services, pp 495-497, ACM Press, New York, 2018. (DOI, Fulltext).
- Preliminary Results on LoRaWAN and IEEE 802.15.4-SUN Interference. In SenSys '18: Proceedings of the 16th ACM Conference on Embedded Networked Sensor, pp 430-431, ACM Press, New York, 2018. (DOI).
- Forward to a Promising Future. In Conference proceedings COORDINATION 2018, 2018. (fulltext:preprint).
- The impact of opt-in gamification on students' grades in a software design course. In Proceedings of the 21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, pp -97, ACM Publications, New York, NY, USA, 2018. (DOI).
- Correctness of a concurrent object collector for actor languages. In Programming Languages and Systems, volume 10801 of Lecture Notes in Computer Science, pp 885-911, Springer, 2018. (DOI, Fulltext).
- Safely Abstracting Memory Layouts. In 20th Workshop on Formal Techniques for Java-like Programs, 2018. (External link).
- Modeling Global Competencies for Computing Education. In : PROCEEDINGS OF THE 23RD ANNUAL ACM CONFERENCE ON INNOVATION AND TECHNOLOGY IN COMPUTER SCIENCE EDUCATION, pp 348-349, ASSOC COMPUTING MACHINERY, 2018. (DOI).
- Modelling Competencies for Computing Education beyond 2020: A Research Based Approach to Defining Competencies in the Computing Disciplines. In ITICSE 2018 Companion: Proceedings Companion Of The 23rd Annual ACM Conference On Innovation And Technology In Computer Science Education, pp 148-174, 2018. (DOI, Fulltext).
- Investigating deep learning approaches for human-robot proxemics. In Proc. 27th International Symposium on Robot and Human Interactive Communication, pp 1093-1098, IEEE, 2018. (DOI, fulltext:postprint).
- When robot personalisation does not help: Insights from a robot-supported learning study. In Proc. 27th International Symposium on Robot and Human Interactive Communication, pp 705-712, IEEE, 2018. (DOI, fulltext:postprint).
- Block generalized locally Toeplitz sequences: From the theory to the applications. Technical report / Department of Information Technology, Uppsala University nr 2018-009, 2018. (fulltext).
- Block generalized locally Toeplitz sequences: From the theory to the applications. In Axioms, volume 7, pp 49:1-29, 2018. (DOI, Fulltext).
- Generalized locally Toeplitz sequences: A spectral analysis tool for discretized differential equations. In Splines and PDEs: From Approximation Theory to Numerical Linear Algebra, volume 2219 of Lecture Notes in Mathematics, pp 161-236, Springer, 2018. (DOI).
- Spectral distribution results beyond the algebra generated by variable-coefficient Toeplitz sequences: The GLT approach. In Journal of Fourier Analysis and Applications, volume 24, pp 506-524, 2018. (DOI).
- The theory of block generalized locally Toeplitz sequences. Technical report / Department of Information Technology, Uppsala University nr 2018-001, 2018. (fulltext).
- Effective slip over partially filled microcavities and its possible failure. In Physical Review Fluids, volume 3, pp 054201:1-17, 2018. (DOI).
- Model-theoretic Conservative Extension of Definitional Theories. In Electronic Notes in Theoretical Computer Science, volume 338, pp 133-145, 2018. (DOI, Fulltext, fulltext:print).
- Human Immunodeficiency Virus-Infected Women Have High Numbers of CD103<sup>-</sup>CD8<sup>+</sup> T Cells Residing Close to the Basal Membrane of the Ectocervical Epithelium. In Journal of Infectious Diseases, volume 218, number 3, pp 453-465, 2018. (DOI).
- Constraining Lyman continuum escape using Machine Learning. In Peering towards Cosmic Dawn, volume 12:S333 of IAU Symposium Proceedings Series, pp 254-258, Cambridge University Press, 2018. (DOI).
- Connecting Battery-free IoT Tags Using LED Bulbs. In HotNets-XVII: Proceedings of the 17th ACM Workshop on Hot Topics in Networks, pp 99-105, Association for Computing Machinery (ACM), 2018. (DOI).
- Analyzing work-related technology use from a UX perspective: the holisticUX method. In Proc. 10th Nordic Conference on Human-Computer Interaction, pp 711-715, ACM Press, New York, 2018. (DOI).
- A general high order two-dimensional panel method. In Applied Mathematical Modelling, volume 60, pp 1-17, 2018. (DOI).
- "Participating under the influence": How role models affect the computing discipline, profession, and student population. In Proc. 48th ASEE/IEEE Frontiers in Education Conference, IEEE Press, Piscataway, NJ, 2018. (DOI, fulltext:preprint).
- Lost for Words!: Defining the Language Around Role Models in Engineering Education. In 2018 IEEE Frontiers in Education Conference (FIE), IEEE Press, 2018. (DOI, fulltext:postprint).
- A user-centered storytelling approach to design a language companion robotic agent. In Proc. 6th International Conference on Human-Agent Interaction, pp 29-35, ACM Press, New York, 2018. (DOI).
- Why do they need to check me?: Patient participation through eHealth and the doctor–patient relationship. In Journal of Medical Internet Research, volume 20, number 1, 2018. (DOI, Fulltext).
- Second-Order Invariant Domain Preserving Approximation of the Euler Equations Using Convex Limiting. In SIAM Journal on Scientific Computing, volume 40, number 5, pp A3211-A3239, SIAM PUBLICATIONS, 2018. (DOI).
- Ground surface temperature reconstruction for the last 500 years obtained from permafrost temperatures observed in the Share Stelvio borehole, Italian Alps. In Climate of the Past, volume 14, pp 709-724, 2018. (DOI, Fulltext).
- Synthetic patient database of drug effect in general anesthesia for evaluation of estimation and control algorithms. In , volume 51:15 of IFAC-PapersOnLine, pp 323-328, 2018. (DOI).
- Automatic detection of multisize pulmonary nodules in CT images: Large-scale validation of the false-positive reduction step. In Medical physics (Lancaster), volume 45, number 3, pp 1135-1149, 2018. (DOI).
- Denoising of Short Exposure Transmission Electron Microscopy Images using CNN. In Swedish Symposium on Image Analysis, 2018. (External link).
- "Why am I Even Doing this?": The Experiences of Female Students in CS from an Insider Perspective. In 2018 6th international conference on learning and teaching in computing and engineering (LATICE), International Conference on Teaching and Learning in Computing and Engineering, pp 77-81, IEEE, New York, 2018. (DOI).
- From Interaction to Participation: The Role of the Imagined Audience in Social Media Community Detection and an Application to Political Communication on Twitter. In 2018 IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining (ASONAM), pp 531-534, IEEE Computer Society, 2018. (DOI).
- A Platform for Experiments with Energy Storage Devices for Low-power Wireless Networks. In Proc. 12th International Workshop on Wireless Network Testbeds, Experimental Evaluation & Characterization, pp 68-76, ACM Press, New York, 2018. (DOI).
- Integration of a Platform for Energy Storage Experiments into a Generic Testbed Framework. In Proc. 12th International Workshop on Wireless Network Testbeds, Experimental Evaluation & Characterization, pp 77-78, ACM Press, New York, 2018. (DOI).
- <em>TexT</em> – Text extractor tool for handwritten document transcription and annotation. In Digital Libraries and Multimedia Archives, volume 806 of Communications in Computer and Information Science, pp 81-92, Springer, 2018. (DOI).
- A fast Fourier based feature descriptor and a cascade nearest neighbour search with an efficient matching pipeline for mosaicing of microscopy images. In Pattern Recognition and Image Analysis, volume 28, number 2, pp 261-272, 2018. (DOI).
- An intelligent user interface for efficient semi-automatic transcription of historical handwritten documents. In Proc. 23rd International Conference on Intelligent User Interfaces Companion, ACM Press, New York, 2018. (DOI).
- Radial line Fourier descriptor for historical handwritten text representation. In Proc. 26th International Conference on Computer Graphics: Visualization and Computer Vision, 2018. (Proceedings).
- Radial line Fourier descriptor for historical handwritten text representation. In Journal of WSCG, volume 26, number 1, pp 31-40, 2018. (DOI).
- On the Consensus Mechanisms of Blockchain/DLT for Internet of Things. In 2018 IEEE 13th International Symposium On Industrial Embedded Systems (SIES), International Symposium on Industrial Embedded Systems, pp 150-159, IEEE, 2018.
- Exploring the Applicability of Capsule Networks for WordSpotting in Historical Handwritten Manuscripts. In , 2018.
- Word Spotting in Historical Handwritten Manuscripts using Capsule Networks. In , 2018.
- Stabilized equal low-order finite elements in ice sheet modeling: accuracy and robustness. In Computational Geosciences, volume 22, pp 951-974, 2018. (DOI, Fulltext).
- The ELDARICA Horn Solver. In Formal Methods in Computer Aided Design, pp 158-164, IEEE, 2018. (DOI, fulltext:postprint).
- String constraints with concatenation and transducers solved efficiently. In Proceedings of the ACM on Programming Languages, volume 2, number POPL, pp 1-32, ACM Digital Library, New York, 2018. (DOI, Fulltext, fulltext:print).
- Multiplexed fluorescence microscopy reveals heterogeneity among stromal cells in mouse bone marrow sections. In Cytometry Part A, volume 93, number 9, pp 876-888, 2018. (DOI).
- Auxiliary-Particle-Filter-based Two-Filter Smoothing for Wiener State-Space Models. In Proceedings of the 21st International Conference on Information Fusion, Cambridge, UK, July, 2018., pp 1904-1911, 2018. (DOI, Postprint).
- Crowdsourcing for Mobile Networks and IoT. In Wireless Communications & Mobile Computing, WILEY-HINDAWI, 2018. (DOI, Fulltext, fulltext:print).
- Buffer State is Enough: Simplifying the Design of QoE-Aware HTTP Adaptive Video Streaming. In IEEE transactions on broadcasting, volume 64, number 2, pp 590-601, IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC, 2018. (DOI).
- Differences in the experiences of reading medical records online: Elderly, Older and Younger Adults compared. In Informaatiotutkimus, volume 37, number 3, pp 51-54, 2018. (DOI, Fulltext).
- Demo: Security on Harvested Power. In WISEC'18: PROCEEDINGS OF THE 11TH ACM CONFERENCE ON SECURITY & PRIVACY IN WIRELESS AND MOBILE NETWORKS, pp 296-298, ASSOC COMPUTING MACHINERY, 2018. (DOI).
- Demo: Towards Battery-free Radio Tomographic Imaging. In WISEC'18: PROCEEDINGS OF THE 11TH ACM CONFERENCE ON SECURITY & PRIVACY IN WIRELESS AND MOBILE NETWORKS, pp 293-295, ASSOC COMPUTING MACHINERY, 2018. (DOI).
- Security on Harvested Power: Demo Abstract. In , 2018.
- Towards Battery-free Radio Tomographic Imaging: Demo Abstract. In , 2018.
- Timing It Right -: Patients' Online Access to Their Record Notes in Sweden. In , Studies in Health Technology and Informatics, pp 336-340, IOS Press, 2018. (DOI, Article, fulltext:print).
- The Kolmogorov forward fractional partial differential equation for the CGMY-process with applications in option pricing. In Computers and Mathematics with Applications, volume 76, pp 2330-2344, 2018. (DOI).
- Making Compact-Table Compact. In Principles and practice of constraint programming, volume 11008 of Lecture Notes in Computer Science, pp 210-218, Springer Nature, 2018. (DOI).
- How students get going: Triggers for students' learning in project-based education. In Proc. 23rd Conference on Innovation and Technology in Computer Science Education, pp 117-122, ACM Press, New York, 2018. (DOI).
- The Long and Winding Road Toward Efficient High-Performance Computing. In Proceedings of the IEEE, volume 106, number 11, pp 1985-2003, 2018. (DOI).
- Probabilistic modelling and reconstruction of strain. In Nuclear Instruments and Methods in Physics Research Section B: Beam Interactions with Materials and Atoms, volume 436, pp 141-155, 2018. (DOI).
- Automatic Detection of Large Extended Data-Race-Free Regions with Conflict Isolation. In IEEE Transactions on Parallel and Distributed Systems, volume 29, number 3, pp 527-541, IEEE COMPUTER SOC, 2018. (DOI).
- Robots for Learning. In International Journal of Social Robotics, volume 10, number 3, pp 293-294, 2018. (DOI, fulltext:preprint).
- Robots for Learning: R4L. In HRI '18: Companion of the 2018 ACM/IEEE International Conference on Human-Robot Interaction, ACM IEEE International Conference on Human-Robot Interaction, pp 397-398, Association for Computing Machinery (ACM), 2018. (DOI).
- Individualization of levodopa treatment using a microtablet dispenser and ambulatory accelerometry. In CNS Neuroscience & Therapeutics, volume 24, number 5, pp 439-447, 2018. (DOI).
- On Performance Observability in IoT Systems using Active Measurements. In NOMS 2018 - 2018 IEEE/IFIP Network operations and management symposium, IEEE IFIP Network Operations and Management Symposium, IEEE, New York, 2018.
- "I know that now, I'm going to learn this next": Promoting self-regulated learning with a robotic tutor. In International Journal of Social Robotics, volume 10, number 4, pp 439-454, 2018. (DOI, Fulltext).
- Adaptive robotic tutors that support self-regulated learning: A longer-term investigation with primary school children. In International Journal of Social Robotics, volume 10, number 3, pp 357-370, 2018. (DOI, Fulltext, fulltext:print).
- The Quest for Optimality in Stateless Model Checking of Concurrent Programs. In Formal Methods For Industrial Critical Systems, FMICS 2018, volume 11119 of Lecture Notes in Computer Science, pp XI-XII, Springer, 2018. (Table of contents).
- Exploring the referral and usage of science fiction in HCI literature. In Design, User Experience, and Usability: Part II, volume 10919 of Lecture Notes in Computer Science, pp 19-38, Springer, 2018. (DOI).
- HiPErJiT: A Profile-Driven Just-in-Time Compiler for Erlang. In Proceedings of the 30th Symposium on Implementation and Application ff Functional Languages (IFL 2018), pp 25-36, Association for Computing Machinery (ACM), 2018. (DOI).
- Positioning in LTE. In Handbook of Position Location: Theory, Practice, and Advances, IEEE Press, 2018.
- AI and philosophizing. In , 2018.
- AI as gadfly. In Wabi-Sabi: Imperfection, incompleteness and impermanence in Organisational Life, pp 150-150, 2018. (External link, Book of abstracts).
- Linguistic aspects in teaching and learning ethical skills. In , 2018.
- Making ethical competence possible. In , 2018.
- Philosophy as the Road to Good ICT. In This Changes Everything – ICT and Climate Change: What Can We Do?, volume 537 of IFIP AICT, pp 293-298, Springer, 2018. (DOI).
- Non-Speculative Load Reordering in Total Store Ordering. In IEEE Micro, volume 38, number 3, pp 48-57, IEEE COMPUTER SOC, 2018. (DOI).
- Understanding initial undergraduate expectations and identity in computing studies. In European Journal of Engineering Education, volume 43, number 2, pp 201-218, 2018. (DOI).
- A word from the editor. In Esperantologio / Esperanto Studies, number 8, pp 8-12, KAVA-PECH, Dobrichovice, 2018.
- Aliroj al esperanto. KAVA-PECH, Dobrichovice, 2018. (Publishers homepage).
- Enkonduko: [Introduction]. In Aliroj al esperanto: [Arriving to Esperanto], pp 5-8, KAVA-PECH, Dobrichovice, 2018.
- Esperantologio / Esperanto Studies, Issue 8: Salutvorto de la redaktoro. In Esperantologio / Esperanto Studies, number 8, pp 3-7, KAVA-PECH, Dobrichovice, 2018.
- Digita geometrio, matematika morfologio kaj diskreta optimumado. Akademio internacia de la sciencoj San Marino (AIS), San Marino, 2018. (External link).
- Queue Delegation Locking. In IEEE Transactions on Parallel and Distributed Systems, volume 29, number 3, pp 687-704, IEEE COMPUTER SOC, 2018. (DOI).
- Automating regression verification of pointer programs by predicate abstraction. In Formal methods in system design, volume 52, number 3, pp 229-259, 2018. (DOI, fulltext:postprint).
- Effective Stateless Model Checking for C/C++ Concurrency. In Proceedings of the ACM on Programming Languages, volume 2, number POPL, pp 1-32, ACM Press, 2018. (DOI, Fulltext, fulltext:print).
- Generalized Newton multi-step iterative methods GMN<sub><em>p,m</em></sub> for solving systems of nonlinear equations. In International Journal of Computer Mathematics, volume 95, pp 881-897, 2018. (DOI).
- Preface. In BIT Numerical Mathematics, volume 58, number 1, pp 1-3, Springer Nature, 2018. (DOI).
- A fast massively parallel two-phase flow solver for microfluidic chip simulation. In The international journal of high performance computing applications, volume 32, pp 266-287, 2018. (DOI).
- On-the-fly computation of frontal orbitals in density matrix expansions. In Journal of Chemical Theory and Computation, volume 14, pp 139-153, 2018. (DOI).
- 50 years of software engineering: Challenges, results, and opportunities in its education. In Proc. 23rd Conference on Innovation and Technology in Computer Science Education, pp 362-363, ACM Press, New York, 2018. (DOI).
- Power-performance tradeoffs in data center servers: DVFS, CPU pinning, horizontal, and vertical scaling. In Future Generation Computer Systems, volume 81, pp 114-128, ELSEVIER SCIENCE BV, 2018. (DOI).
- Localization of lung fields in HRCT images using a deep convolution neural network. In Medical Imaging 2018: Computer-Aided Diagnosis, volume 10575 of Proc. SPIE, pp 1057535:1-8, Bellingham, WA, 2018. (DOI).
- Segmentation of Lung Field in HRCT Images Using U-Net Based Fully Convolutional Networks. In Medical Image Understanding and Analysis: 22nd Conference, MIUA 2018, Southampton, UK, July 9-11, 2018, Proceedings, volume 894 of Communications in Computer and Information Science (CCIS), pp 84-93, Springer Nature, 2018. (DOI).
- Blasting Through The Front-End Bottleneck With Shotgun. In ACM Sigplan Notices, pp 30-42, 2018. (DOI).
- Wabi-sabi in the design of ICT: aestheticising digital imperfections. In Wabi-Sabi: Imperfection, incompleteness and impermanence in Organisational Life, pp 162-163, Chiyoda Cres Co., Ltd., Tokyo, Japan, 2018.
- Delay alignment control for 5G multi connectivity. In Proc. 57th Conference on Decision and Control, pp 7064-7070, IEEE, Piscataway, NJ, 2018. (DOI).
- Efficient minimum-energy scheduling with machine-learning based predictions for multiuser MISO systems. In Proc. International Conference on Communications: ICC 2018, IEEE Communications Society, 2018. (DOI).
- Power and Load Optimization in Interference-Coupled Non-Orthogonal Multiple Access Networks. In 2018 IEEE Global Communications Conference (GLOBECOM), IEEE Global Communications Conference, IEEE, 2018. (DOI).
- Orbital volume and shape in Treacher Collins syndrome. In Journal of Cranio-Maxillofacial Surgery, volume 46, number 2, pp 305-311, CHURCHILL LIVINGSTONE, 2018. (DOI).
- Bayesian information criterion for signed measurements with application to sinusoidal signals. In IEEE Signal Processing Letters, volume 25, number 8, pp 1251-1255, 2018. (DOI).
- Model order determination for signed measurements via the Bayesian information criterion. In 2018 IEEE 10th Sensor Array and Multichannel Signal Processing Workshop (SAM), Proceedings of the IEEE Sensor Array and Multichannel Signal Processing Workshop, pp 366-370, IEEE, Piscataway, NJ, 2018. (DOI).
- Effects of Posture and Embodiment on Social Distance in Human-Agent Interaction in Mixed Reality. In IVA '18 Proceedings of the 18th International Conference on Intelligent Virtual Agents, pp 191-196, 2018. (DOI).
- Phase retrieval via the alternating direction method of multipliers. In IEEE Signal Processing Letters, volume 25, number 1, pp 5-9, 2018. (DOI).
- A robust structured preconditioner for time-harmonic parabolic optimal control problems. In Numerical Algorithms, volume 79, pp 575-596, 2018. (DOI, Fulltext).
- Graphical model inference: Sequential Monte Carlo meets deterministic approximations. In ADVANCES IN NEURAL INFORMATION PROCESSING SYSTEMS 31 (NIPS 2018), volume 31 of Advances in Neural Information Processing Systems, NEURAL INFORMATION PROCESSING SYSTEMS (NIPS), 2018. (External link).
- A Skiplist-Based Concurrent Priority Queue with Minimal Memory Contention. Technical report / Department of Information Technology, Uppsala University nr 2018-003, 2018. (fulltext).
- A Skiplist-Based Concurrent Priority Queue with Minimal Memory Contention. Technical report / Department of Information Technology, Uppsala University nr 2013-025, 2018. (fulltext).
- Fine-grained local dynamic load balancing in PDES. In Proc. 6th ACM SIGSIM Conference on Principles of Advanced Discrete Simulation, pp 201-212, ACM Press, New York, 2018. (DOI).
- Synchronization Techniques in Parallel Discrete Event Simulation. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1634, Acta Universitatis Upsaliensis, Uppsala, 2018. (fulltext, preview image).
- Precision study on augmented reality-based visual guidance for facility management tasks. In Automation in Construction, volume 90, pp 79-90, 2018. (DOI, Fulltext).
- Assessing uncertainties in x-ray single-particle three-dimensional reconstruction. In Physical Review E. Statistical, Nonlinear, and Soft Matter Physics, volume 98, pp 013303:1-12, 2018. (DOI).
- Critical robotics: Exploring a new paradigm. In Proc. 10th Nordic Conference on Human-Computer Interaction, pp 972-975, ACM Press, New York, 2018. (DOI).
- Designing for a wearable affective interface for the NAO robot: A study of emotion conveyance by touch. In Multimodal Technologies and Interaction, volume 2, number 1, 2018. (DOI, Fulltext).
- High-order numerical methods for 2D parabolic problems in single and composite domains. In Journal of Scientific Computing, volume 76, pp 812-847, 2018. (DOI, Fulltext).
- Automating Targeted Property-Based Testing. In IEEE 11th International Conference on Software Testing, Verification and Validation (ICST), IEEE International Conference on Software Testing Verification and Validation, pp 70-80, IEEE, 2018. (DOI).
- Targeted Property-Based Testing with Applications in Sensor Networks. Ph.D. thesis, Uppsala Dissertations from the Faculty of Science and Technology nr 133, Acta Universitatis Upsaliensis, Uppsala, 2018. (fulltext, preview image).
- Eliciting strategies in revolutionary design: exploring the hypothesis of predefined strategy categories. In Theoretical Issues in Ergonomics Science, volume 19, number 1, pp 101-117, 2018. (DOI).
- When Can lp-norm Objective Functions Be Minimized via Graph Cuts?. In Combinatorial Image Analysis, Lecture Notes in Computer Science, pp 112-117, Springer, 2018. (DOI, External link).
- Digital Competence, Teacher Self-Efficacy and Training Needs. In ICER'18: Proceedings of the 2018 acm conference on international computing education research, pp 78-85, Association for Computing Machinery (ACM), 2018. (DOI).
- An improved projection method. In Journal of Computational Physics, volume 372, pp 349-372, 2018. (DOI).
- Boundary optimized diagonal-norm SBP operators. In Journal of Computational Physics, volume 374, pp 1261-1266, 2018. (DOI).
- Compatible diagonal-norm staggered and upwind SBP operators. In Journal of Computational Physics, volume 352, pp 52-75, 2018. (DOI).
- Simulation of acoustic and flexural-gravity waves in ice-covered oceans. In Journal of Computational Physics, volume 373, pp 230-252, 2018. (DOI).
- Identification of cascade water tanks using a PWARX model. In Mechanical systems and signal processing, volume 106, pp 40-48, 2018. (DOI).
- Recursive nonlinear-system identification using latent variables. In Automatica, volume 93, pp 343-351, 2018. (DOI).
- Image-Based Detection of Patient-Specific Drug-Induced Cell-Cycle Effects in Glioblastoma. In SLAS Discovery, volume 23, number 10, pp 1030-1039, 2018. (DOI).
- Minimal annotation training for segmentation of microscopy images. In Proc. 15th International Symposium on Biomedical Imaging, pp 387-390, IEEE, 2018. (DOI).
- Phronesis, Authentic Learning and the Solution of Open-Ended Problems in Computing and Engineering Education. In 2018 IEEE Frontiers in Education Conference (FIE), Frontiers in Education Conference, IEEE, Piscataway, NJ, 2018. (DOI).
- SADHealth: A personal mobile sensing system for seasonal health monitoring. In IEEE Systems Journal, volume 12, number 1, pp 30-40, 2018. (DOI).
- Entrainment in harmonically forced continuous and impulsive Goodwin's oscillators: a comparison study. In Proc. 16th European Control Conference, pp 2046-2051, IEEE, 2018. (DOI).
- Mathematical modeling of endocrine regulation subject to circadian rhythm. In Annual Reviews in Control, volume 46, pp 148-164, 2018. (DOI).
- Nonlinear dynamics and entrainment in a continuously forced pulse-modulated model of testosterone regulation. In Nonlinear dynamics, volume 94, number 2, pp 1165-1181, 2018. (DOI, Fulltext).
- Ventral hippocampal OLM cells control type 2 theta oscillations and response to predator odor. In Nature Communications, volume 9, pp 3638:1-15, 2018. (DOI, Fulltext).
- Pricing financial derivatives using radial basis function generated finite differences with polyharmonic splines on smoothly varying node layouts. 2018. (arXiv:1808.02365).
- Radial Basis Function generated Finite Difference Methods for Pricing of Financial Derivatives. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1702, Acta Universitatis Upsaliensis, Uppsala, 2018. (fulltext, preview image).
- Radial basis function generated finite differences for option pricing problems. In Computers and Mathematics with Applications, volume 75, pp 1462-1481, 2018. (DOI).
- GISwaps: A new method for decision making in continuous choice models based on even swaps. In International Journal of Decision Support System Technology, volume 10, number 3, pp 57-78, 2018. (DOI, Fulltext, fulltext:print).
- Visual GISwaps: an interactive visualization framework for geospatial decision making. In Proc. 13th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications: Volume 3, pp 236-243, SciTePress, 2018. (DOI).
- Run-Time Assurance for the E-care@ home System. In , 2018. (External link).
- Optimal harmonic period assignment: complexity results and approximation algorithms. In Real-time systems, volume 54, number 4, pp 830-860, Springer, 2018. (DOI, Fulltext, fulltext:print).
- Patients' experiences of accessing their electronic health records: National patient survey in Sweden. In Journal of Medical Internet Research, volume 20, number 11, 2018. (DOI, Fulltext, fulltext:print).
- How to extend the application scope of GLT-sequences. Technical report / Department of Information Technology, Uppsala University nr 2018-013, 2018. (fulltext).
- Expressing coherent personality with incremental acquisition of multimodal behaviors. In Proc. 27th International Symposium on Robot and Human Interactive Communication, pp 396-403, IEEE, 2018. (DOI).
- Eddylicious: A Python package for turbulent inflow generation. In SoftwareX, volume 7, pp 112-114, 2018. (DOI, Fulltext).
- Effect of wall-stress model and mesh-cell topology on the predictive accuracy of LES for wall-bounded flows. In Proc. 7th European Conference on Computational Fluid Dynamics, European Community on Computional Methods in Applied Sciences (ECCOMAS), 2018.
- Modelling Techniques for Large-Eddy Simulation of Wall-Bounded Turbulent Flows. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1697, Acta Universitatis Upsaliensis, Uppsala, 2018. (fulltext, preview image).
- Turbulucid: A Python package for post-processing of fluid flow simulations. In Journal of Open Research Software, volume 6, 2018. (DOI, Fulltext).
- Automated learning with a probabilistic programming language: Birch. In Annual Reviews in Control, volume 46, pp 29-43, Elsevier, 2018. (DOI).
- Delayed sampling and automatic Rao-Blackwellization of probabilistic programs. In Proceedings of the 21st International Conference on Artificial Intelligence and Statistics (AISTATS), Lanzarote, Spain, April, 2018, Proceedings of Machine Learning Research, 2018. (External link).
- Distance Functions Based on Multiple Types of Weighted Steps Combined with Neighborhood Sequences. In Journal of Mathematical Imaging and Vision, volume 60, number 8, pp 1209-1219, 2018. (DOI).
- Hamnar vi i skuggan av en AI?: En bok om artificiell intelligens och oss själva. In Människor och AI, pp 90-97, BoD – Books on Demand, Stockholm, 2018.
- The Digital Work Environment—a Challenge and an Opportunity for CSCW. In Proc. 16th European Conference on Computer-Supported Cooperative Work: Exploratory Papers, volume 2:1 of Reports of the European Society for Socially Embedded Technologies, EUSSET, 2018. (DOI, Fulltext).
- Accuracy and precision of 3 intraoral scanners and accuracy of conventional impressions: A novel in vivo analysis method. In Journal of Dentistry, volume 69, pp 110-118, ELSEVIER SCI LTD, 2018. (DOI, Fulltext, fulltext:print).
- Finish line distinctness and accuracy in 7 intraoral scanners versus conventional impression: an in vitro descriptive comparison. In BMC Oral Health, volume 18, 2018. (DOI, Fulltext).
- Multidimensional performance and scalability analysis for diverse applications based on system monitoring data. In Parallel Processing and Applied Mathematics: Part I, volume 10777 of Lecture Notes in Computer Science, pp 417-431, Springer, 2018. (DOI).
- Delorean: Virtualized Directed Profiling for Cache Modeling in Sampled Simulation. Technical report / Department of Information Technology, Uppsala University nr 2018-014, 2018. (fulltext).
- Comparison analysis of orbital shape and volume in unilateral fractured orbits. In Journal of Cranio-Maxillofacial Surgery, volume 46, number 3, pp 381-387, 2018. (DOI).
- A stability criterion for switching Lur'e systems with switching-path restrictions. In Automatica, volume 96, pp 337-341, 2018. (DOI).
- Why are we here?: The educational value model (EVM) as a framework to investigate the role of students’ professional identity development. In 2018 IEEE Frontiers in Education Conference (FIE), Frontiers in Education Conference, IEEE, Piscataway, NJ, 2018. (DOI).
- Designing for experiences with socially interactive robots. In Proc. 10th Nordic Conference on Human-Computer Interaction, pp 948-951, ACM Press, New York, 2018. (DOI).
- Developing a prototyping method for involving children in the design of classroom robots. In International Journal of Social Robotics, volume 10, number 2, pp 279-291, Springer, 2018. (DOI, Fulltext).
- Endowing a robotic tutor with empathic qualities: Design and pilot evaluation. In International Journal of Humanoid Robotics, volume 15, number 6, 2018. (DOI, fulltext:postprint).
- Identification of nonlinear feedback mechanisms operating in closed loop using inertial sensors. In , volume 51:15 of IFAC-PapersOnLine, pp 473-478, IFAC Papers Online, 2018. (DOI, fulltext:print).
- Modeling and assessment of human balance and movement disorders using inertial sensors. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2018-003, Uppsala University, 2018. (fulltext).
- Tremor Severity Rating by Markov Chains. In , volume 51:15 of IFAC-PapersOnLine, pp 317-322, IFAC Papers Online, 2018. (DOI, fulltext:print).
- Robustness in low power wide area networks. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2018-004, Uppsala University, 2018. (fulltext).
- Learning localized spatio-temporal models from streaming data. In Proceedings of the 35th International Conference on Machine Learning, volume 80 of Proceedings of Machine Learning Research (PMLR), pp 3927-3935, 2018. (Proceedings paper on publisher's website).
- Incremental acquisition and reuse of multimodal affective behaviors in a conversational agent. In Proc. 6th International Conference on Human-Agent Interaction, pp 92-100, ACM Press, New York, 2018. (DOI).
- The attribution of emotional state: How embodiment features and social traits affect the perception of an artificial agent. In Proc. 27th International Symposium on Robot and Human Interactive Communication, pp 495-502, IEEE, 2018. (DOI).
- "I limiti etici di un'innovazione senza freni" (The Ethical Limits of a Brakeless Innovation). In Harvard Business Review Italia, number 11, pp 46-50, Milano, Italy, 2018. (External link).
- Forget About Privacy . . . or Not?. In Privacy And Identity Management: The Smart Revolution, volume 526 of IFIP Advances in Information and Communication Technology, pp 76-85, 2018. (DOI).
- On the Complex Relationship Between ICT Systems and the Planet. In This Changes Everything –ICT and Climate Change: What Can We Do?, volume 537 of IFIP AICT, pp 181-187, Springer, 2018. (DOI, fulltext:preprint).
- The making of a computer scientist. In XRDS, volume 25, number 1, pp 7-8, 2018. (DOI).
- A statistical approach to detect protein complexes at X-ray free electron laser facilities. In Communications Physics, volume 1, pp 92:1-11, 2018. (DOI, Fulltext).
- Using convex optimization of autocorrelation with constrained support and windowing for improved phase retrieval accuracy. In Optics Express, volume 26, pp 24422-24443, 2018. (DOI, Fulltext).
- Verified Software. Theories, Tools, and Experiments: Revised Selected Papers. Volume 11294 of Lecture Notes in Computer Science, Springer Publishing Company, 2018.
- Coupling atomistic and continuum modelling of magnetism. In Computer Methods in Applied Mechanics and Engineering, volume 329, pp 219-253, 2018. (DOI).
- Demo Abstract: Battery-Free 802.15.4 Receiver. In 17th ACM/IEEE International Conference on Information Processing in Sensor Networks (IPSN), pp 130-131, IEEE, 2018. (DOI).
- NOVIFAST: A Fast Algorithm for Accurate and Precise VFA MRI<em>T</em><sub>1</sub>Mapping. In IEEE Transactions on Medical Imaging, volume 37, number 11, pp 2414-2427, IEEE, 2018. (DOI).
- Multiple-Input Single-Output Polynomial Nonlinear State-Space Model of the Li-ion Battery's Short-term Dynamics. In , volume 51:15 of IFAC-PapersOnLine, pp 497-502, 2018. (DOI).
- Sinusoidal parameter estimation from signed measurements obtained via time-varying thresholds. In Proc. 52nd Asilomar Conference on Signals, Systems, and Computers, pp 1111-1115, IEEE, Piscataway, NJ, 2018. (DOI).
- Cancer patients' attitudes and experiences of online access to their electronic medical records: A qualitative study. In Health Informatics Journal, volume 24, number 2, pp 115-124, 2018. (DOI).
- A-priori study of wall modeling in large eddy simulation. In Proc. 7th European Conference on Computational Fluid Dynamics, European Community on Computional Methods in Applied Sciences (ECCOMAS), 2018.
- Application of Uncertainty Quantification Techniques to Studies of Wall-Bounded Turbulent Flows. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1727, Acta Universitatis Upsaliensis, Uppsala, 2018. (fulltext, preview image, errata).
- Assessment of uncertainties in hot-wire anemometry and oil-film interferometry measurements for wall-bounded turbulent flows. In European journal of mechanics. B, Fluids, volume 72, pp 57-73, 2018. (DOI).
- Effect of grid resolution on large eddy simulation of wall-bounded turbulence. In Physics of fluids, volume 30, pp 055106:1-22, 2018. (DOI).
- Automatic diagnosis of short-duration 12-lead ECG using a deep convolutional network. In <em>ML4H: Machine Learning for Health Workshop at NeurIPS</em>, Montréal, Canada, December 2018., 2018. (External link).
- Semi-parametric kernel-based identification of Wiener systems. In Proc. 57th Conference on Decision and Control, pp 3874-3879, IEEE, Piscataway, NJ, 2018. (DOI).
- Non-Speculative Store Coalescing in Total Store Order. In Proc.45th International Symposium on Computer Architecture, pp 221-234, IEEE, 2018. (DOI, fulltext:postprint).
- The Superfluous Load Queue. In 2018 51st Annual IEEE/ACM International Symposium on Microarchitecture (MICRO), pp 95-107, IEEE, 2018. (DOI, fulltext:postprint).
- Ergo: An open-source program for linear-scaling electronic structure calculations. In SoftwareX, volume 7, pp 107-111, 2018. (DOI, Fulltext).
- Brush Biopsy For HR-HPV Detection With FTA Card And AI For Cytology Analysis - A Viable Non-invasive Alternative. In EAOM2018, 2018.
- High-fidelity sound propagation in a varying 3D atmosphere. In Journal of Scientific Computing, volume 77, pp 1278-1302, 2018. (DOI, Fulltext).
- Radial basis function methods for the Rosenau equation and other higher order PDEs. In Journal of Scientific Computing, volume 75, pp 1555-1580, 2018. (DOI, Fulltext).
- A contention adapting approach to concurrent ordered sets. In Journal of Parallel and Distributed Computing, volume 115, pp 1-19, ACADEMIC PRESS INC ELSEVIER SCIENCE, 2018. (DOI).
- Progress on Algorithms for Stateless Model Checking. In Proceedings of the Third Workshop on Models for Formal Analysis of Real Systems and Sixth International Workshop on Verification and Program Transformation, OPEN PUBL ASSOC, 2018. (DOI, External link).
- On threats and violence for staff and patient accessible electronic health records. In Cogent Psychology, volume 5, 2018. (DOI, Fulltext).
- Information systems in nurses' work environment: From flexibility to boundedness. In , 2018. (External link).
- Fault signatures and bias progression in dissolved oxygen sensors. In Water Science and Technology, volume 78, number 5, pp 1034-1044, 2018. (DOI, Fulltext, fulltext:print).
- How Statistics Are Used in Computing Education Research. In ITiCSE 2018: Proceedings of the 23rd Annual ACM Conference on Innovation and Technology in Computer Science Education, pp 381-381, Association for Computing Machinery (ACM), 2018. (DOI).
- Orbital shape in intentional skull deformations and adult sagittal craniosynostoses. In Journal of Anatomy, volume 233, number 3, pp 302-310, 2018. (DOI).
- Probabilistic programming allows for automated inference in factor graph models. In , 2018.
- Probabilistic learning of nonlinear dynamical systems using sequential Monte Carlo. In Mechanical systems and signal processing, volume 104, pp 866-883, ACADEMIC PRESS LTD- ELSEVIER SCIENCE LTD, 2018. (DOI).
- Localised Radial Basis Function Methods for Partial Differential Equations. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1600, Acta Universitatis Upsaliensis, Uppsala, 2018. (fulltext, preview image).
- Learning Outcome Outcomes: An Evaluation of Quality. In Proc. 48th ASEE/IEEE Frontiers in Education Conference, IEEE Press, Piscataway, NJ, 2018. (DOI).
- Hyperparameter optimization for approximate Bayesian computation. In Proc. 50th Winter Simulation Conference, pp 1718-1729, IEEE, Piscataway, NJ, 2018. (DOI).
- Learning surrogate models of document image quality metrics for automated document image processing. In Proc. 13th IAPR International Workshop on Document Analysis Systems, pp 67-72, IEEE, 2018. (DOI).
- Multi-objective optimization driven construction of uniform priors for likelihood-free parameter inference. In Proc. 32nd European Simulation and Modelling Conference, pp 22-27, EUROSIS, 2018.
- Modeling and Interpolation of the Ambient Magnetic Field by Gaussian Processes. In IEEE Transactions on robotics, volume 34, number 4, pp 1112-1127, Institute of Electrical and Electronics Engineers (IEEE), 2018. (DOI).
- Whole Slide Image Registration for the Study of Tumor Heterogeneity. In MICCAI 2018 - International Workshop on Ophthalmic Medical Image Analysis: OMIA 2018, COMPAY 2018: Computational Pathology and Ophthalmic Medical Image Analysis, volume 11039 of Lecture Notes in Computer Science (LNCS), pp 95-102, Springer, Cham, 2018. (DOI, External link).
- 2D-frequency domain identification of complex sinusoids in the presence of additive noise. In , volume 51:15 of IFAC-PapersOnLine, pp 820-825, 2018. (DOI).
- Identification of two-dimensional complex sinusoids in white noise: a state-space frequency approach. In , volume 51:15 of IFAC-PapersOnLine, pp 996-1001, 2018. (DOI).
- Identification of two-dimensional complex sinusoids in white noise: a state-space frequency approach. Technical report / Department of Information Technology, Uppsala University nr 2018-007, Department of Information Technology, Uppsala University, 2018. (fulltext).
- High Order Cut Finite Element Methods for Wave Equations. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1656, Acta Universitatis Upsaliensis, Uppsala, 2018. (fulltext, preview image).
- A Capacity Augmentation Bound for Real-Time Constrained-Deadline Parallel Tasks Under GEDF. In IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, volume 37, number 11, pp 2200-2211, 2018. (DOI).
- How consistent is my model with the data?: Information-theoretic model check. In , volume 51:15 of IFAC-PapersOnLine, pp 407-412, 2018. (DOI).
- Learning nonlinear state-space models using smooth particle-filter-based likelihood approximations. In , volume 51:15 of IFAC-PapersOnLine, pp 652-657, 2018. (DOI).
- Learning of state-space models with highly informative observations: A tempered sequential Monte Carlo solution. In Mechanical systems and signal processing, volume 104, pp 915-928, ACADEMIC PRESS LTD- ELSEVIER SCIENCE LTD, 2018. (DOI).
- Machine learning with state-space models, Gaussian processes and Monte Carlo methods. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1709, Acta Universitatis Upsaliensis, Uppsala, 2018. (fulltext, preview image).
- Assortative interactions revealed by sorting of animal groups. In Animal Behaviour, volume 142, pp 165-179, ACADEMIC PRESS LTD- ELSEVIER SCIENCE LTD, 2018. (DOI).
- Errors-in-Variables Methods in System Identification. Springer, 2018. (DOI).
- Extending SHAPES for SIMD Architectures –: An approach to native support for Struct of Arrays in languages. In 13th Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems Workshop, 2018. (External link).
- Partial and Overlapping Community Detection in Multiplex Social Networks. In 10th International Conference on Social Informatics (SocInfo2018 ), volume 11186 of Lecture Notes in Computer Science, pp 15-28, Springer, 2018. (DOI).
- Privacy-preserving scheme in social participatory sensing based on Secure Multi-party Cooperation. In Computer Communications, volume 119, pp 167-178, 2018. (DOI).
- A finite difference method for earthquake sequences in poroelastic solids. In Computational Geosciences, volume 22, pp 1351-1370, 2018. (DOI).
- HarmonicIO: Scalable data stream processing for scientific datasets. In Proc. 11th International Conference on Cloud Computing, pp 879-882, IEEE Computer Society, Los Alamitos, CA, 2018. (DOI).
- An Objective Scoring Framework for Histology Slide Image Mosaics Applicable for the Reliable Benchmarking of Image Quality Assessment Algorithms. In IEEE Access, volume 6, pp 53080-53091, IEEE, 2018. (DOI).
- SWOOP: software-hardware co-design for non-speculative, execute-ahead, in-order cores. In Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, pp 328-343, Association for Computing Machinery (ACM), 2018. (DOI, fulltext:print).
- Static instruction scheduling for high performance on energy-efficient processors. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2018-001, Uppsala University, 2018. (fulltext).
- Static instruction scheduling for high performance on limited hardware. In IEEE Transactions on Computers, volume 67, number 4, pp 513-527, 2018. (DOI).
- Velox VM: A safe execution environment for resource-constrained IoT applications. In Journal of Network and Computer Applications, volume 118, pp 61-73, 2018. (DOI).
- Learning convex bounds for linear quadratic control policy synthesis. In Neural Information Processing Systems 2018, Advances in Neural Information Processing Systems, 2018. (External link).
- Maximum likelihood identification of stable linear dynamical systems. In Automatica, volume 96, pp 280-292, 2018. (DOI).
- Enabling Sustainable Networked Embedded Systems. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1648, Acta Universitatis Upsaliensis, Uppsala, 2018. (fulltext).
- The self-flipped classroom concept: Underlying ideas and experiences. In Proc. 48th ASEE/IEEE Frontiers in Education Conference, IEEE Press, Piscataway, NJ, 2018. (DOI).
- Extracting script features from a large corpus of handwritten documents. In Digital Humanities in the Nordic Countries: Book of Abstracts, 2018. (Abstracts).
- Foundations of Temporal Text Networks. In Applied Network Science, volume 3, number 25, 2018. (DOI, Fulltext, fulltext:print).
- An improved high order finite difference method for non-conforming grid interfaces for the wave equation. In Journal of Scientific Computing, volume 77, pp 775-792, 2018. (DOI, Fulltext).
- Convergence of finite difference methods for the wave equation in two space dimensions. In Mathematics of Computation, volume 87, number 314, pp 2737-2763, 2018. (DOI).
- A City-Wide Real-Time Traffic Management System: Enabling Crowdsensing in Social Internet of Vehicles. In IEEE Communications Magazine, volume 56, number 9, pp 19-25, 2018. (DOI, fulltext:postprint).
- Large continuous perspective change with noncoplanar points enables accurate slant perception. In Journal of Experimental Psychology: Human Perception and Performance, volume 44, number 10, pp 1508-1522, 2018. (DOI).
- The Cause-Effect Latency Problem in Real-Time Systems. In Formal Methods For Industrial Critical Systems, FMICS 2018, volume 11119 of Lecture Notes in Computer Science, pp XIII-XIII, SPRINGER INTERNATIONAL PUBLISHING AG, 2018. (Table of contents).
- Image Processing using Color SpaceModels for Forensic Fiber Detection. In IFAC PapersOnLine, pp 445-450, 2018. (DOI).
- Towards automated multiscale imaging and analysis in TEM: Glomeruli detection by fusion of CNN and LBP maps. In Swedish Symposium on Deep Learning, 2018. (External link).
- Optical Interconnect Architectures for Datacenters. In 2018 IEEE Photonics Conference (IPC), IEEE Photonics Conference, IEEE, 2018. (DOI).
- Reliability performance aware routing. In Proc. 10th International Workshop on Resilient Networks Design and Modeling, IEEE, 2018. (DOI).
- Spatio-temporal modelling of verotoxigenic <em>Escherichia coli</em> O157 in cattle in Sweden: exploring options for control. In Veterinary research (Print), volume 49, pp 78:1-13, 2018. (DOI, Fulltext).
- Improving the particle filter in high dimensions using conjugate artificial process noise. In , volume 51:15 of IFAC-PapersOnLine, pp 670-675, 2018. (DOI, fulltext:print).
- Delay skew packet flow control in wireless systems with dual connectivity. In IEEE Transactions on Vehicular Technology, volume 67, number 6, pp 5357-5371, 2018. (DOI).
- Globally stable wireless data flow control. In IEEE Transactions on Control of Network Systems, volume 5, number 1, pp 469-478, 2018. (DOI).
- Wireless hybrid positioning based on surface modeling with polygon support. In Proc. 87th Vehicular Technology Conference, IEEE, Piscataway, NJ, 2018. (DOI).
- Dynamic Adaptations of Synchronization Granularity in Concurrent Data Structures. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1684, Acta Universitatis Upsaliensis, Uppsala, 2018. (fulltext, preview image).
- Lock-free Contention Adapting Search Trees. In The 30th ACM Symposium on Parallelism in Algorithms and Architectures, SPAA 2018, New York, NY, USA, 2018. (DOI).
- Regularized parametric system identification: a decision-theoretic formulation. In 2018 Annual American Control Conference (ACC), Proceedings of the American Control Conference, pp 1895-1900, IEEE, 2018. (DOI).
- Spatio-Temporal Aware Collaborative Mobile Sensing with Online Multi-Hop Calibration. In Proceedings of the 2018 the Nineteenth International Symposium on Mobile Ad Hoc Networking and Computing (MOBIHOC '18), pp 310-311, Association for Computing Machinery (ACM), 2018. (DOI).
- Ubiquitous transmission of multimedia sensor data in Internet of Things. In IEEE Internet of Things Journal, volume 5, number 1, pp 403-414, 2018. (DOI).
- Robustification of the synchronous mode in a hybrid observer for a continuous system under an intrinsic pulse-modulated feedback. In Proc. 16th European Control Conference, pp 107-112, IEEE, 2018. (DOI, fulltext:print).
- Convergence in networked recursive identification with output quantization. In , volume 51:15 of IFAC-PapersOnLine, pp 915-920, 2018. (DOI).
- Counterexamples to parametric convergence in recursive networked identification. In 2018 Annual American Control Conference (ACC), Proceedings of the American Control Conference (ACC), pp 258-264, Institute of Electrical and Electronics Engineers (IEEE), 2018. (DOI).
- Worst-case prediction performance analysis of the Kalman filter. In IEEE Transactions on Automatic Control, volume 63, number 6, pp 1768-1775, 2018. (DOI).
- Resource Optimization With Flexible Numerology and Frame Structure for Heterogeneous Services. In IEEE Communications Letters, volume 22, number 12, pp 2579-2582, IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC, 2018. (DOI).
- Resource optimization with load coupling in multi-cell NOMA. In IEEE Transactions on Wireless Communications, volume 17, number 7, pp 4735-4749, 2018. (DOI).
- Model-robust counterfactual prediction method. In ICML Workshop on Machine Learning for Causal Inference, Counterfactual Prediction, and Autonomous Action, 2018.
- Advances in Task-Based Parallel Programming for Distributed Memory Architectures. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1621, Acta Universitatis Upsaliensis, Uppsala, 2018. (fulltext, preview image).
- Distributed dynamic load balancing for task parallel programming. 2018. (arXiv:1801.04582).
- TaskUniVerse: A Task-Based Unified Interface for Versatile Parallel Execution. In Parallel Processing and Applied Mathematics: Part I, volume 10777 of Lecture Notes in Computer Science, pp 169-184, Springer, 2018. (DOI, fulltext:postprint).
- Exploring Approximations for Floating-Point Arithmetic using UppSAT. In Automated Reasoning, volume 10900 of Lecture Notes in Computer Science, pp 246-262, 2018. (DOI, Technical report in arXiv, fulltext:postprint).
- Dependency- and similarity-aware caching for HTTP adaptive streaming. In Multimedia tools and applications, volume 77, number 1, pp 1453-1474, 2018. (DOI).
- Quantitative image analysis of protein expression and colocalisation in skin sections. In Experimental dermatology, volume 27, number 2, pp 196-199, 2018. (DOI).
- Energy-latency tradeoff for energy-aware offloading in mobile edge computing networks. In IEEE Internet of Things Journal, volume 5, number 4, pp 2633-2645, 2018. (DOI).
- Bandit learning with concurrent transmissions for energy-efficient flooding in sensor networks. In EAI Endorsed Transactions on Industrial Networks and Intelligent Systems, volume 4, number 13, 2018. (DOI, Fulltext).
- Constructing a Weak Memory Model. In , ACM/IEEE Annual International Symposium on Computer Architecture (ISCA), pp 124-137, IEEE, New York, 2018. (DOI, fulltext:postprint).
- Caches, Transactions and Memories: Models, Coherence and Consistency. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1665, Acta Universitatis Upsaliensis, Uppsala, 2018. (fulltext, preview image).
- Special issue-Computational and algorithmic finance. In Journal of Computational Science, volume 24, pp 180-181, Elsevier BV, 2018. (DOI).
- Private announcements on topological spaces. In Studia Logica: An International Journal for Symbolic Logic, volume 106, number 3, pp 481-513, 2018. (DOI, Fulltext).
- Dynamically coupling full Stokes and shallow shelf approximation for marine ice sheet flow using Elmer/Ice (v8.3). In Geoscientific Model Development, volume 11, pp 4563-4576, 2018. (DOI, Fulltext).
- Probabilistic forecasting of electricity consumption, photovoltaic power generation and net demand of an individual building using Gaussian Processes. In Applied Energy, volume 213, pp 195-207, 2018. (DOI).
- Measuring programming knowledge in a research context. In Proc. 48th ASEE/IEEE Frontiers in Education Conference, IEEE Press, Piscataway, NJ, 2018. (DOI).
- Practical thinking while programming: A Deweyan approach to knowledge in Computer Science. In Proc. 14th International Computing Education Research Conference, pp 268-269, ACM Press, New York, 2018. (DOI).
- Mapping of roof types in orthophotos using feature descriptors. In Proc. International Multidisciplinary Scientific GeoConference: SGEM 2018, pp 285-291, 2018. (DOI, Fulltext).
- Parallel Programming With Arrays in Kappa. In 5th ACM SIGPLAN International Workshop on Libraries, Languages and Compilers for Array Programming, 2018. (External link).
- Distance Between Vector-valued Images based on Intersection Decomposition with Applications in Object Detection. In Swedish Symposium on Image Analysis, 2018. (External link).
- Fast and Robust Symmetric Image Registration Based on Intensity and Spatial Information. 2018. (External link).