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 2018 24th International Conference on Pattern Recognition (ICPR), International Conference on Pattern Recognition, pp 1199-1204, Institute of Electrical and Electronics Engineers (IEEE), 2018. (DOI
, fulltext:postprint
).
-
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
).