Refereed publications from the IT research programmes 2020
Artificial Intelligence (Artificiell intelligens)
- Learning Robust LQ-Controllers Using Application Oriented Exploration. In IEEE Control Systems Letters, volume 4, number 1, pp 19-24, IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC, 2020. (DOI).
- Energy-Based Models for Deep Probabilistic Regression. In , 2020.
- Evaluating Scalable Bayesian Deep Learning Methods for Robust Computer Vision. In 2020 IEEE/CVF Conference on Computer Vision and Pattern Recognition Workshops (CVPRW 2020), IEEE Computer Society Conference on Computer Vision and Pattern Recognition Workshops, pp 1289-1298, IEEE Computer Society, 2020. (DOI).
- How to Train Your Energy-Based Model for Regression. In , 2020.
- On the smoothness of nonlinear system identification. In Automatica, volume 121, 2020. (DOI).
- Inference of Causal Effects when Control Variables are Unknown. In <em>Proceedings of the Thirty-Seventh Conference on Uncertainty in Artificial Intelligence</em>, PMLR 161:1300-1309, 2021., 2020. (External link).
- Smoothing With Couplings of Conditional Particle Filters. In Journal of the American Statistical Association, volume 115, number 530, pp 721-729, Informa UK Limited, 2020. (DOI).
- Particle Filter with Rejection Control and Unbiased Estimator of the Marginal Likelihood. In ICASSP 2020: 2020 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP), International Conference on Acoustics Speech and Signal Processing (ICASSP), pp 5860-5864, 2020. (DOI).
- Probabilistic programming for birth-death models of evolution using an alive particle filter with delayed sampling. In The 35th Uncertainty in Artificial Intelligence Conference (UAI), Proceedings of Machine Learning Research, pp 679-689, JOURNAL MACHINE LEARNING RESEARCH, San Diego, 2020.
- Deep Learning and System Identification. In IFAC Papersonline, pp 1175-1181, Elsevier BV, 2020. (DOI, Fulltext, fulltext:print).
- Beyond exploding and vanishing gradients: analysing RNN training using attractors and smoothness. In Proceedings of the 23<sup>rd</sup> International Conference on Artificial Intelligence and Statistics (AISTATS), volume 108 of Proceedings of Machine Learning Research (PMLR), pp 2370-2380, 2020. (Publisher fulltext).
- Automatic 12-lead ECG Classification Using a Convolutional Network Ensemble. In 2020 Computing in Cardiology, volume 47 of Computing in Cardiology (CinC), IEEE, Rimini, Italy, 2020. (DOI).
- Automatic diagnosis of the 12-lead ECG using a deep neural network. In Nature Communications, volume 11, number 1, NATURE PUBLISHING GROUP, 2020. (DOI, Fulltext, fulltext:print).
- Nonlinear Input Design as Optimal Control of a Hamiltonian System. In IEEE Control Systems Letters, volume 4, number 1, pp 85-90, IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC, 2020. (DOI).
- A fast quasi-Newton-type method for large-scale stochastic optimisation. In IFAC PapersOnline, pp 1249-1254, Elsevier BV, 2020. (DOI, Fulltext, fulltext:print).
Automatic Control (Reglerteknik)
- A multiple motion sensors index for motor state quantification in Parkinson's disease. In Computer Methods and Programs in Biomedicine, volume 189, ELSEVIER IRELAND LTD, 2020. (DOI).
- Online Model-Based Beat-by-beat Heart Rate Estimation. In 2020 American Control Conference (ACC), Proceedings of the American Control Conference, pp 539-544, 2020. (DOI).
- Patient-Specific Electrocardiogram Monitoring by Model-Based Stochastic Anomaly Detection. In 2020 European Control Conference (ECC), pp 735-740, 2020. (DOI).
- A fast instance selection method for support vector machines in building extraction. In Applied Soft Computing, volume 97, 2020. (DOI, Fulltext, fulltext:print).
- Laguerre-domain Modeling and Identification of Linear Discrete-time Delay Systems. In IFAC PapersOnline, pp 939-944, ELSEVIER, 2020. (DOI, Fulltext, fulltext:print).
- Modeling of human smooth pursuit by sparse Volterra models with functionally dependent parameters. In Control Engineering Practice, volume 103, Elsevier BV, 2020. (DOI).
- Combined <em>L</em><sub>2</sub>-stable feedback and feedforward aeration control in a wastewater treatment plant. In IEEE Transactions on Control Systems Technology, volume 28, number 3, pp 1017-1024, Institute of Electrical and Electronics Engineers (IEEE), 2020. (DOI).
- Polynomial nonlinear state space identification of an aero-engine structure. In Computers & structures, volume 238, 2020. (DOI).
- Online tissue conductivity estimation in Deep Brain Stimulation. In IEEE Transactions on Control Systems Technology, volume 28, number 1, pp 149-162, 2020. (DOI).
- Identifying reionization-epoch galaxies with extreme levels of Lyman continuum leakage in James Webb Space Telescope surveys. In Monthly notices of the Royal Astronomical Society, volume 491, number 4, pp 5277-5286, OXFORD UNIV PRESS, 2020. (DOI).
- On the smoothness of nonlinear system identification. In Automatica, volume 121, 2020. (DOI).
- Inference of Causal Effects when Control Variables are Unknown. In <em>Proceedings of the Thirty-Seventh Conference on Uncertainty in Artificial Intelligence</em>, PMLR 161:1300-1309, 2021., 2020. (External link).
- Robust Prediction When Features are Missing. In IEEE Signal Processing Letters, volume 27, pp 720-724, IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC, 2020. (DOI).
- Deep Learning and System Identification. In IFAC Papersonline, pp 1175-1181, Elsevier BV, 2020. (DOI, Fulltext, fulltext:print).
- On stability and performance of disturbance observer-based-dynamic load torque compensator for assistive exoskeleton: A hybrid approach. In Mechatronics (Oxford), volume 69, 2020. (DOI, Fulltext, fulltext:print).
- Nonparametric time-domain tremor quantification with smart phone for therapy individualization. In IEEE Transactions on Control Systems Technology, volume 28, number 1, pp 118-129, 2020. (DOI).
- Learning Robust Decision Policies from Observational Data. In , 2020. (External link).
- Robust Risk Minimization for Statistical Learning From Corrupted Data. In IEEE Open Journal of Signal Processing, volume 1, pp 287-294, 2020. (DOI, Fulltext, fulltext:print).
- Monitoring High-Frequency Data Streams in FinTech: FADO Versus <em>K</em>-means. In IEEE Intelligent Systems, volume 35, number 2, pp 36-42, 2020. (DOI).
- Impulsive Feedback Modeling of Levodopa Pharmacokinetics Subject to Intermittently Interrupted Gastric Emptying. In 2020 American Control Conference (ACC), Proceedings of the American Control Conference, pp 1323-1328, 2020. (DOI).
- Initialization of a Disease Transmission Model. In IFAC PapersOnline, pp 839-844, Elsevier BV, 2020. (DOI, Fulltext, fulltext:print).
- Laguerre Domain Estimation of an Input Impulse Train to a Continuous Linear Time-invariant System. In 2020 59th IEEE Conference on Decision and Control (CDC), Proceedings of the IEEE Conference on Decision & Control, pp 4622-4627, 2020. (DOI).
- Structural Identifiability of a Third-order Continuous System under Impulsive Feedback. In IFAC PapersOnline, pp 16215-16220, Elsevier BV, 2020. (DOI, Fulltext, fulltext:print).
- Visualisation of 3D Property Data and Assessment of the Impact of Rendering Attributes. In Journal of Geovisualization and Spatial Analysis, volume 4, number 2, 2020. (DOI, Fulltext, fulltext:print).
- A latent variable approach to heat load prediction in thermal grids. In 2020 European Control Conference (ECC), pp 344-349, 2020. (DOI).
- Blind identification of two-channel FIR systems: a frequency domain approach. In IFAC PapersOnline, pp 914-920, Elsevier BV, 2020. (DOI, Fulltext, fulltext:print).
- Frequency domain identification of FIR models in the presence of additive input-output noise. In Automatica, volume 115, PERGAMON-ELSEVIER SCIENCE LTD, 2020. (DOI).
- The Frisch scheme for EIV system identification: time and frequency domain formulations. In IFAC PapersOnline, pp 907-913, Elsevier BV, 2020. (DOI, Fulltext, fulltext:print).
- Polyphase Waveform Design for MIMO Radar Space Time Adaptive Processing. In IEEE Transactions on Signal Processing, volume 68, pp 2143-2154, IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC, 2020. (DOI).
- Detection of signs of Parkinson's disease using dynamical features via an indirect pointing device. In IFAC Papersonline, pp 16347-16352, ELSEVIER, 2020. (DOI, Fulltext, fulltext:print).
- The Vanishing and Appearing Sources during a Century of Observations Project. I. USNO Objects Missing in Modern Sky Surveys and Follow-up Observations of a "Missing Star". In Astronomical Journal, volume 159, number 1, American Astronomical Society, 2020. (DOI).
- Globally stable delay alignment for feedback control over NR multi-point connections. In IEEE Transactions on Control od Network Systems, volume 7, number 4, pp 1633-1642, 2020. (DOI, External link).
- Jitter suppression for very low latency feedback control over NR. In IEEE VTC-SPRING 2020, 2020.
- Statistical beam information for mmW positioning. In Proc. IEEE VTC-Spring 2020, 2020.
- Time averaged power control of a 4G or a 5G radio base station for RF EMF compliance. In IEEE Access, volume 8, pp 211937-211950, 2020. (DOI).
- Bifurcation analysis for non-local design of a hybrid observer for the impulsive Goodwin's oscillator. In Nonlinear dynamics, volume 100, number 2, pp 1401-1419, 2020. (DOI, Fulltext, fulltext:print).
- Microstructures and mechanical properties of Al2O3/YAG:Ce3+ eutectics with different Ce3+ concentrations grown by HDS method. In Journal of Alloys and Compounds, volume 816, 2020. (DOI).
- Classical labor values: properties of economic reproduction. In World Review of Political Economy, volume 11, number 3, pp 388-414, Pluto Journals, 2020. (DOI).
Computational Science (Tillämpad beräkningsvetenskap)
- Numerical solution methods for implicit Runge-Kutta methods of arbitrarily high order. In Proceedings of the conference Algoritmy 2020, pp 11-20, 2020. (Publisher fulltext).
- Apache Spark Streaming, Kafka and HarmonicIO: A performance benchmark and architecture comparison for enterprise and scientific computing. In Benchmarking, Measuring, and Optimizing, volume 12093 of Lecture Notes in Computer Science, pp 335-347, Springer, 2020. (DOI).
- A multiscale model to design therapeutic strategies that overcome drug resistance to tyrosine kinase inhibitors in multiple myeloma. In Mathematical Biosciences, volume 319, 2020. (DOI).
- A first meshless approach to simulation of the elastic behaviour of the diaphragm. In Spectral and High Order Methods for Partial Differential Equations: ICOSAHOM 2018, volume 134 of Lecture Notes in Computational Science and Engineering, pp 501-512, Springer, 2020. (DOI, fulltext:postprint).
- MaRe: Processing Big Data with application containers on Apache Spark. In GigaScience, volume 9, number 5, Oxford University Press, 2020. (DOI, Fulltext, fulltext:print).
- A full Stokes subgrid scheme in two dimensions for simulation of grounding line migration in ice sheets using Elmer/ICE (v8.3). In Geoscientific Model Development, volume 13, pp 2245-2258, 2020. (DOI, Fulltext).
- Parameter sensitivity analysis of dynamic ice sheet models — numerical computations. In The Cryosphere, volume 14, pp 673-691, 2020. (DOI, Fulltext).
- Bayesian epidemiological modeling over high-resolution network data. In Epidemics, volume 32, Elsevier BV, 2020. (DOI, Fulltext, fulltext:print).
- Developing the First Intensity Prediction Equation Based on the Environmental Scale Intensity: A Case Study from Strong Normal-Faulting Earthquakes in the Italian Apennines. In Seismological Research Letters, volume 91, number 5, pp 2611-2623, Seismological Society of America (SSA), 2020. (DOI, External link).
- Hierarchical algorithm for the reaction–diffusion master equation. In Journal of Chemical Physics, volume 152, number 3, 2020. (DOI, Fulltext).
- An investigation of global radial basis function collocation methods applied to Helmholtz problems. In Dolomites Research Notes on Approximation, volume 13, pp 65-85, Padova University Press, 2020. (DOI, Fulltext, fulltext:print).
- Flash X-ray diffraction imaging in 3D: a proposed analysis pipeline. In Journal of the Optical Society of America A, volume 37, number 10, pp 1673-1686, 2020. (DOI).
- Impact of Force Function Formulations on the Numerical Simulation of Centre-Based Models.. In Bulletin of Mathematical Biology, volume 82, number 10, Springer Nature, 2020. (DOI, Fulltext, fulltext:print).
- Differentiated Assessments for Advanced Courses that Reveal Issues with Prerequisite Skills: A Design Investigation. In ITICSE-WGR'20: Proceedings Of The Working Group Reports On Innovation And Technology In Computer Science Education, pp 75-129, Association for Computing Machinery (ACM), 2020. (DOI).
- On using a zero lower bound on the physical density in material distribution topology optimization. In Computer Methods in Applied Mechanics and Engineering, volume 359, ELSEVIER SCIENCE SA, 2020. (DOI).
- Initialization of a Disease Transmission Model. In IFAC PapersOnline, pp 839-844, Elsevier BV, 2020. (DOI, Fulltext, fulltext:print).
- Towards Smart e-Infrastructures, A Community Driven Approach Based on Real Datasets. In Proceedings of the 2020 IEEE Green Technologies Conference (GreenTech), IEEE Green Technologies Conference, pp 109-114, 2020. (DOI).
- Smart Resource Management for Data Streaming using an Online Bin-packing Strategy. In 2020 IEEE International Conference on Big Data (Big Data), pp 2207-2216, 2020. (DOI).
- Bootstrapping Weakly Supervised Segmentation-free Word Spotting through HMM-based Alignment. In 2020 17th International Conference on Frontiers in Handwriting Recognition (ICFHR), pp 49-54, 2020. (DOI).
- Learning to program hands-on: a controlled study. In Proceedings of the 20th Koli Calling International Conference on Computing Education Research November 2020 November 2020, pp 1-10, 2020. (DOI).
Computer Architecture and Communication Systems
(Datorarkitektur och datorkommunikation)
- Intermittent Computing with Dynamic Voltage and Frequency Scaling. In EWSN '20: Proceedings of the 2020 International Conference on Embedded Wireless Systems and Networks, Proceedings of the International Conference on Embedded Wireless Systems and Networks, pp 97-107, 2020. (Publisher fulltext).
- Delay and Bypass: Ready and Criticality Aware Instruction Scheduling in Out-of-Order Processors. In 2020 IEEE International Symposium on High Performance Computer Architecture (HPCA), International Symposium on High-Performance Computer Architecture-Proceedings, pp 424-434, 2020. (DOI).
- Efficient temporal and spatial load to load forwarding. In Proc. 26th International Symposium on High-Performance and Computer Architecture, IEEE Computer Society, 2020.
- On Securing Persistent State in Intermittent Computing. In ENSsys '20: Proceedings of the 8th International Workshop on Energy Harvesting and Energy-Neutral Sensing Systems, pp 8-14, 2020. (DOI).
- Boosting Store Buffer Efficiency with Store-Prefetch Bursts. In 2020 53rd Annual IEEE/ACM International Symposium on Microarchitecture (MICRO), pp 568-580, Institute of Electrical and Electronics Engineers (IEEE), 2020. (DOI, Fulltext, fulltext:print).
- Predicting Round-Trip Time Distributions in IoT Systems using Histogram Estimators. In NOMS 2020 - PROCEEDINGS OF THE 2020 IEEE/IFIP NETWORK OPERATIONS AND MANAGEMENT SYMPOSIUM 2020: MANAGEMENT IN THE AGE OF SOFTWARIZATION AND ARTIFICIAL INTELLIGENCE, IEEE IFIP Network Operations and Management Symposium, IEEE, 2020.
- Two to Tango: Hybrid Light and Backscatter Networks for Next Billion Devices. In , 2020.
- Architecturally-independent and time-based characterization of SPEC CPU 2017. In 2020 IEEE International Symposium on Performance Analysis of Systems and Software (ISPASS)Raw-Data: A Reusable Characterization Of The Memory System behavior Of SPEC 2017 And SPEC 2006, IEEE International Symposium on Performance Analysis of Systems and Software (ISPASS), pp 107-109, 2020. (DOI, fulltext:postprint, fulltext:preprint).
- Demo: Multi-Radio Access Technology IoT Gateway. In , 2020.
- Privacy-preserving continuous tumour relapse monitoring using in-body radio signals. In 2020 IEEE Symposium On Security And Privacy Workshops (SPW 2020), pp 82-87, IEEE, 2020. (DOI).
- Non-Invasive Transmission Based Tumor Detection Using Anthropomorphic Breast Phantom at 2.45 GHz. In 2020 14th European Conference on Antennas and Propagation (EuCAP), Proceedings of the European Conference on Antennas and Propagation, 2020. (DOI).
- Decoupled Address Translation for Heterogeneous Memory Systems. In PACT '20: PROCEEDINGS OF THE ACM INTERNATIONAL CONFERENCE ON PARALLEL ARCHITECTURES AND COMPILATION TECHNIQUES, International Conference on Parallel Architectures and Compilation Techniques, pp 155-156, ASSOC COMPUTING MACHINERY, 2020. (DOI, Fulltext).
- Reconciling Time Slice Conflicts of Virtual Machines With Dual Time Slice for Clouds. In IEEE Transactions on Parallel and Distributed Systems, volume 31, number 10, pp 2453-2465, 2020. (DOI).
- Real-time Thread Isolation and Trusted Execution on Embedded RISC-V. In , 2020.
- Intermittence Anomalies not Considered Harmful. In Proceedings of the 8th International Workshop on Energy Harvesting and Energy-Neutral Sensing Systems, 2020. (fulltext:postprint).
- Pruning Edge Research with Latency Shears. In Proceedings of the 19th ACM Workshop on Hot Topics in Networks, HotNets ’20, pp 182-189, Association for Computing Machinery, 2020. (DOI, External link, External link).
- Twig: Multi-Agent Task Management for Colocated Latency-Critical Cloud Services. In , IEEE, 2020. (DOI).
- Perforated Page: Supporting Fragmented Memory Allocation for Large Pages. In Proceedings of the 47th Annual ACM/IEEE International Symposium on Computer Architecture (ISCA), pp 913-925, 2020. (DOI, fulltext:postprint).
- A Fast Carrier Scheduling Algorithm for Battery-free Sensor Tags in Commodity Wireless Networks. In IEEE INFOCOM 2020 - IEEE Conference on Computer Communications, IEEE INFOCOM, pp 994-1003, IEEE, 2020. (DOI, fulltext:postprint).
- TagAlong: Efficient Integration of Battery-free Sensor Tags in Standard Wireless Networks. In Proceedings of the 19th ACM/IEEE International Conference on Information Processing in Sensor Networks, pp 169-180, IEEE, 2020. (DOI).
- RVSDG: An Intermediate Representation for Optimizing Compilers. In ACM Transactions on Embedded Computing Systems, volume 19, number 6, 2020. (DOI).
- Speculative Enforcement of Store Atomicity. In 2020 53rd Annual IEEE/ACM International Symposium on Microarchitecture (MICRO), pp 555-567, Institute of Electrical and Electronics Engineers (IEEE), 2020. (DOI, Fulltext, fulltext:postprint).
- Evaluating the Potential Applications of Quaternary Logic for Approximate Computing. In ACM Journal on Emerging Technologies in Computing Systems, volume 16, number 1, Association for Computing Machinery (ACM), 2020. (DOI).
- Understanding Selective Delay as a Method for Efficient Secure Speculative Execution. In IEEE Transactions on Computers, volume 69, number 11, pp 1584-1595, 2020. (DOI).
- Flood Prediction Using IoT and Artificial Neural Networks with Edge Computing. In 2020 International Conferences on Internet of Things (iThings) and IEEE Green Computing and Communications (GreenCom) and IEEE Cyber, Physical and Social Computing (CPSCom) and IEEE Smart Data (SmartData) and IEEE Congress on Cybermatics (Cybermatics), pp 234-240, IEEE, 2020. (DOI, fulltext:postprint).
- Real-time Thread Isolation and Trusted Execution on Embedded RISC-V. In , 2020.
- Modeling and Optimizing NUMA Effects and Prefetching with Machine Learning. In ICS '20: Proceedings of the 34th ACM International Conference on Supercomputing, 2020. (DOI, Fulltext, fulltext:postprint).
- Tunnel Emitter: Tunnel Diode based Low-Power Carrier Emitters for Backscatter Tags. In , 2020. (DOI, External link).
- Jamming to Support Privacy-preserving Continuous Tumour Relapse Monitoring Using In-body Radio Signals. In , 2020.
- Towards Physical-Layer Authentication for Backscatter Devices: Extended Abstract. In International Workshop on Attacks and Defenses for Internet-of-Things, volume 12501 of Lecture Notes in Computer Science, Springer Nature, 2020. (DOI, fulltext:postprint).
- Towards Secure Backscatter-based In-Body Sensor Networks. In , 2020.
- Bricklayer: Resource Composition on the Spot Market. In ICC 2020: 2020 IEEE International Conference on Communications (ICC), IEEE International Conference on Communications, 2020. (DOI).
- PHY-IDS: a physical-layer spoofing attack detection system for wearable devices. In WearSys '20: Proceedings of the 6th ACM Workshop on Wearable Systems and Applications, Association for Computing Machinery (ACM), Toronto, Ontario, Canada, 2020. (DOI).
- Sensitivity of radiometric fingerprint against wireless channel: Poster Abstract. In SenSys '20: Proceedings of the 18th Conference on Embedded Networked Sensor Systems, pp 719-720, Association for Computing Machinery (ACM), New York, NY, United States, 2020. (DOI, External link).
- Towards Robust and Low-complexity Radiometric Fingerprint: PhD forum abstract. In SenSys '20: Proceedings of the 18th Conference on Embedded Networked Sensor Systems, pp 821-822, New York, NY, United States, 2020. (DOI, External link, fulltext:print).
Computer Systems (Datorteknik)
- Efficient Handling of String-Number Conversion. In PLDI 2020: Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation, pp 943-957, 2020. (DOI).
- On the Formalization of Decentralized Contact Tracing Protocols. In Proceedings of the 2nd Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis hosted by the Bolzano Summer of Knowledge 2020 {(BOSK} 2020), September 25, 2020, CEUR Workshop Proceedings, pp 65-70, CEUR-WS.org, 2020. (External link).
- On the Separability Problem of String Constraints. In 31st International Conference on Concurrency Theory, CONCUR 2020, September 1-4, 2020, Vienna, Austria (Virtual Conference), LIPIcs, pp 16:1-16:19, Dagstuhl, Germany, 2020. (DOI, External link).
- On the State Reachability Problem for Concurrent Programs Under Power. In Networked Systems - 8th International Conference, {NETYS} 2020, Morocco, Revised Selected Papers, Lecture Notes in Computer Science, Springer Nature Switzerland AG, 2020.
- Parameterized verification under TSO is PSPACE-complete. In Proceedings of the ACM on Programming Languages, volume 4, number POPL, pp 26:1-26:29, Association for Computing Machinery (ACM), New York, NY, USA, 2020. (DOI, Fulltext, fulltext:print).
- Optimal Scheduling of Measurement-Based Parallel Real-Time Tasks. In Real-time systems, volume 56, number 3, pp 247-253, Springer Nature, 2020. (DOI, Fulltext, fulltext:print).
- Constraint-based Contract Inference for Deductive Verification. In Deductive Software Verification: Future Perspectives: Reflections on the Occasion of 20 Years of KeY, volume 12345 of Lecture Notes in Computer Science, pp 149-176, Springer Nature, 2020. (DOI, External link).
- Minimal Adversarial Perturbations in Mobile Health Applications: The Epileptic Brain Activity Case Study. In ICASSP 2020: 2020 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP), International Conference on Acoustics Speech and Signal Processing (ICASSP), pp 1205-1209, 2020. (DOI).
- Universal Adversarial Perturbations in Epileptic Seizure Detection. In 2020 International Joint Conference On Neural Networks (IJCNN), IEEE International Joint Conference on Neural Networks (IJCNN), IEEE, 2020.
- On Securing Persistent State in Intermittent Computing. In ENSsys '20: Proceedings of the 8th International Workshop on Energy Harvesting and Energy-Neutral Sensing Systems, pp 8-14, 2020. (DOI).
- Boosting Store Buffer Efficiency with Store-Prefetch Bursts. In 2020 53rd Annual IEEE/ACM International Symposium on Microarchitecture (MICRO), pp 568-580, Institute of Electrical and Electronics Engineers (IEEE), 2020. (DOI, Fulltext, fulltext:print).
- Fault-tolerant real-time tasks scheduling with dynamic fault handling. In Journal of systems architecture, volume 102, ELSEVIER, 2020. (DOI).
- A Decision Procedure for Path Feasibility of String Manipulating Programs with Integer Data Type. In ATVA 2020: Automated Technology for Verification and Analysis, volume 12302 of Lecture Notes in Computer Science (LNCS), pp 325-342, Springer Nature, 2020. (DOI).
- Rate-Monotonic Schedulability of Implicit-Deadline Tasks is NP-hard Beyond Liu and Layland's Bound. In 2020 IEEE Real-Time Systems Symposium (RTSS), Real-Time Systems Symposium : Proceedings, pp 308-318, 2020. (DOI).
- Efficient drone hijacking detection using two-step GA-XGBoost. In Journal of systems architecture, volume 103, ELSEVIER, 2020. (DOI).
- Analysis of DTLS Implementations Using Protocol State Fuzzing. In Proceedings of the 29th USENIX Security Symposium, pp 2523-2540, 2020. (Proceedings paper fulltext, fulltext:print).
- Predicting Round-Trip Time Distributions in IoT Systems using Histogram Estimators. In , 2020. (DOI, External link).
- Predicting Round-Trip Time Distributions in IoT Systems using Histogram Estimators. In NOMS 2020 - PROCEEDINGS OF THE 2020 IEEE/IFIP NETWORK OPERATIONS AND MANAGEMENT SYMPOSIUM 2020: MANAGEMENT IN THE AGE OF SOFTWARIZATION AND ARTIFICIAL INTELLIGENCE, IEEE IFIP Network Operations and Management Symposium, IEEE, 2020.
- Everybody Rock Your Equity: Experiences of Organizing a Women in Computing Event with Role Models for Diversity and Inclusion. In Digital Transformation for a Sustainable Society in the 21st Century, volume 573 of IFIP Advances in Information and Communication Technology, pp 5-16, Springer Nature, 2020. (DOI).
- Monadic Decomposition in Integer Linear Arithmetic. In IJCAR 2020: Automated Reasoning, volume 12166 of Lecture Notes in Computer Science, pp 122-140, Springer Nature, 2020. (DOI).
- Demo: Multi-Radio Access Technology IoT Gateway. In , 2020.
- Shadow-based Hand Gesture Recognition in one Packet. In 16th Annual International Conference on Distributed Computing in Sensor Systems (DCOSS 2020), pp 27-34, IEEE, 2020. (DOI, fulltext:postprint).
- Privacy-preserving continuous tumour relapse monitoring using in-body radio signals. In 2020 IEEE Symposium On Security And Privacy Workshops (SPW 2020), pp 82-87, IEEE, 2020. (DOI).
- Optimizing the Locations and Sizes of Solar Assisted Electric Vehicle Charging Stations in an Urban Area. In IEEE transactions on rehabilitation engineering, volume 8, pp 112772-112782, IEEE Computer Society, 2020. (DOI).
- Real-time air pollution monitoring with sensors on city bus. In Digital Communications and Networks, volume 6, number 1, pp 23-30, KeAi, 2020. (DOI, Fulltext, fulltext:print).
- Sustainable Development of Professional Competencies: A Teacher Training Perspective. In , IEEE Computer Society, 2020.
- Approximate Gaussian Process Regression and Performance Analysis Using Composite Likelihood. In 30th IEEE International Workshop on Machine Learning for Signal Processing, MLSP 2020, Espoo, Finland, September 21-24, 2020, pp 1-6, IEEE, 2020. (DOI).
- Robust Prediction When Features are Missing. In IEEE Signal Processing Letters, volume 27, pp 720-724, IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC, 2020. (DOI).
- Secure Information Fusion using Local Posterior for Distributed Cyber-Physical Systems. In IEEE Transactions on Mobile Computing, volume 20, number 5, pp 2041-2054, IEEE, 2020. (DOI).
- Parallel Graph-Based Stateless Model Checking. In Automated Technology for Verification and Analysis: 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19–23, 2020, Proceedings, volume 12302 of Lecture Notes in Computer Science (LNCS), pp 377-393, 2020. (DOI).
- Self-Aware Machine Learning for Multimodal Workload Monitoring during Manual Labor on Edge Wearable Sensors. In IEEE design & test, volume 37, number 5, pp 58-66, 2020. (DOI).
- Twig: Multi-Agent Task Management for Colocated Latency-Critical Cloud Services. In , IEEE, 2020. (DOI).
- A Fast Carrier Scheduling Algorithm for Battery-free Sensor Tags in Commodity Wireless Networks. In IEEE INFOCOM 2020 - IEEE Conference on Computer Communications, IEEE INFOCOM, pp 994-1003, IEEE, 2020. (DOI, fulltext:postprint).
- TagAlong: Efficient Integration of Battery-free Sensor Tags in Standard Wireless Networks. In Proceedings of the 19th ACM/IEEE International Conference on Information Processing in Sensor Networks, pp 169-180, IEEE, 2020. (DOI).
- Speculative Enforcement of Store Atomicity. In 2020 53rd Annual IEEE/ACM International Symposium on Microarchitecture (MICRO), pp 555-567, Institute of Electrical and Electronics Engineers (IEEE), 2020. (DOI, Fulltext, fulltext:postprint).
- Evaluating the Potential Applications of Quaternary Logic for Approximate Computing. In ACM Journal on Emerging Technologies in Computing Systems, volume 16, number 1, Association for Computing Machinery (ACM), 2020. (DOI).
- Understanding Selective Delay as a Method for Efficient Secure Speculative Execution. In IEEE Transactions on Computers, volume 69, number 11, pp 1584-1595, 2020. (DOI).
- Introducing Digital-7 Threat Assessment of Individuals in Digital Environments. In 2020 IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining (ASONAM), International Conference on Advances in Social Network Analysis and Mining, ASONAM, pp 720-726, Institute of Electrical and Electronics Engineers (IEEE), 2020. (DOI).
- Capacity Augmentation Function for Real-Time Parallel Tasks With Constrained Deadlines Under GEDF Scheduling. In IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, volume 39, number 12, pp 4537-4548, IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC, 2020. (DOI).
- Capacity Augmentation Function for Real-Time Parallel Tasks With Constrained Deadlines Under GEDF Scheduling. In IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, volume 39, number 12, pp 4537-4548, IEEE, 2020. (DOI).
- On Computing Exact WCRT for DAG Tasks. In 57th ACM/IEEE Design Automation Conference, DAC 2020, San Francisco, CA, USA, July 20-24, 2020, Design Automation Conference DAC, pp 1-6, IEEE, 2020. (DOI).
- On the Volume Calculation for Conditional DAG Tasks: Hardness and Algorithms. In PROCEEDINGS OF THE 2020 DESIGN, AUTOMATION & TEST IN EUROPE CONFERENCE & EXHIBITION (DATE 2020), Design Automation and Test in Europe Conference and Exhibition, pp 204-209, NEW YORK, USA, 2020. (DOI, Fulltext).
- On the Volume Calculation for Conditional DAG Tasks: Hardness and Algorithms. In 2020 Design, Automation & Test in Europe Conference & Exhibition, DATE 2020, Grenoble, France, March 9-13, 2020, pp 204-209, 2020. (DOI).
- Professional Competencies in Computing Education: Are They Important?. In 2020 IEEE Frontiers in Education Conference (FIE), Frontiers in Education Conference, 2020. (DOI).
- Students' professional competencies in computing project courses in the Norwegian context. In 2020 IEEE Frontiers in Education Conference (FIE), IEEE Frontiers in Education Conference (FIE), 2020. (DOI).
- Modeling and Optimizing NUMA Effects and Prefetching with Machine Learning. In ICS '20: Proceedings of the 34th ACM International Conference on Supercomputing, 2020. (DOI, Fulltext, fulltext:postprint).
- Response Time Analysis and Priority Assignment of Processing Chains on ROS2 Executors. In 2020 IEEE Real-Time Systems Symposium (RTSS), Real-Time Systems Symposium: Proceedings, pp 231-243, 2020. (DOI).
- Towards Intelligent Industry 4.0 5G Networks: A First Throughput and QoE Measurement Campaign. In 2020 28th International Conference on Software, Telecommunications and Computer Networks, SoftCOM 2020, Institute of Electrical and Electronics Engineers (IEEE), 2020. (DOI).
- Clearing the Shadows: Recovering Lost Performance for Invisible Speculative Execution through HW/SW Co-Design. In PACT ’20: Proceedings of the ACM International Conference on Parallel Architectures and Compilation Techniques, International Conference on Parallel Architectures and Compilation Techniques, pp 241-254, Association for Computing Machinery (ACM), 2020. (DOI, External link).
- Jamming to Support Privacy-preserving Continuous Tumour Relapse Monitoring Using In-body Radio Signals. In , 2020.
- Towards Physical-Layer Authentication for Backscatter Devices: Extended Abstract. In International Workshop on Attacks and Defenses for Internet-of-Things, volume 12501 of Lecture Notes in Computer Science, Springer Nature, 2020. (DOI, fulltext:postprint).
- Towards Secure Backscatter-based In-Body Sensor Networks. In , 2020.
- Modeling Human Activity With Seasonality Bursty Dynamics. In IEEE Transactions on Industrial Informatics, volume 16, number 2, pp 1130-1139, 2020. (DOI).
- Modeling Human Activity With Seasonality Bursty Dynamics. In , 2020. (DOI).
- Bricklayer: Resource Composition on the Spot Market. In ICC 2020: 2020 IEEE International Conference on Communications (ICC), IEEE International Conference on Communications, 2020. (DOI).
- PHY-IDS: a physical-layer spoofing attack detection system for wearable devices. In WearSys '20: Proceedings of the 6th ACM Workshop on Wearable Systems and Applications, Association for Computing Machinery (ACM), Toronto, Ontario, Canada, 2020. (DOI).
- Sensitivity of radiometric fingerprint against wireless channel: Poster Abstract. In SenSys '20: Proceedings of the 18th Conference on Embedded Networked Sensor Systems, pp 719-720, Association for Computing Machinery (ACM), New York, NY, United States, 2020. (DOI, External link).
- Towards Robust and Low-complexity Radiometric Fingerprint: PhD forum abstract. In SenSys '20: Proceedings of the 18th Conference on Embedded Networked Sensor Systems, pp 821-822, New York, NY, United States, 2020. (DOI, External link, fulltext:print).
- Boosting Sequential Consistency Checking Using Saturation. In Automated Technology for Verification and Analysis - 18th International Symposium, ATVA 2020, Proceedings, Lecture Notes in Computer Science, pp 360-376, Springer Nature, 2020. (DOI).
- Towards Pricing for Sensor-Cloud. In IEEE Transactions on Cloud Computing, volume 8, number 4, pp 1018-1029, 2020. (DOI).
- Spatio-temporal regression kriging for modelling urban NO2 concentrations. In International Journal of Geographical Information Science, volume 34, number 5, pp 851-865, 2020. (DOI).
Computing Education Research (Datavetenskapens didaktik)
- The exchange programme between new and different partners, Royal University of Bhutan and Uppsala University. In 2020 IEEE Frontiers in Education Conference (FIE), Frontiers in Education Conference, 2020. (DOI).
- "Mature" to Doubt: Using Ethical Theories for Role Modeling in Computing Education. In 2020 IEEE Frontiers in Education Conference (FIE), Frontiers in Education Conference, 2020. (DOI).
- Everybody Rock Your Equity: Experiences of Organizing a Women in Computing Event with Role Models for Diversity and Inclusion. In Digital Transformation for a Sustainable Society in the 21st Century, volume 573 of IFIP Advances in Information and Communication Technology, pp 5-16, Springer Nature, 2020. (DOI).
- Types of Role Models for the Frontiers in Education (FIE) Community. In 2020 IEEE Frontiers in Education Conference (FIE), Frontiers in Education Conference, 2020. (DOI).
- Who Should We Invite? A Proposal of Steps for Conference Organizers to Follow to Bring Diverse Role Models to Computing Events. In , International Conference on Learning and Teaching in Computing and Engineering (LaTiCE), IEEE Computer Society, 2020.
- Sustainable Development of Professional Competencies: A Teacher Training Perspective. In , IEEE Computer Society, 2020.
- The Use of Scenarios in a Vision Seminar Process: The Case of Students Envisioning the Future of Study-Administration. In , 2020.
- Design Guidelines for Educational Games Targeting Children. In , 2020.
- Care ethics to develop computing and engineering education for sustainability. In 2020 IEEE Frontiers in Education Conference (FIE), Frontiers in Education Conference, 2020. (DOI).
- Cancer patients' information seeking behaviour related to online electronic healthcare records. In Proceedings of the 18th International Symposium for Health Information Management Research, pp 53-61, 2020. (fulltext:print).
- Professional Competencies in Computing Education: Are They Important?. In 2020 IEEE Frontiers in Education Conference (FIE), Frontiers in Education Conference, 2020. (DOI).
- Students' professional competencies in computing project courses in the Norwegian context. In 2020 IEEE Frontiers in Education Conference (FIE), IEEE Frontiers in Education Conference (FIE), 2020. (DOI).
- Students as Prosumers: Learning from Peer-Produced Materials in a Computing Science Course. In 2020 IEEE Frontiers in Education Conference (FIE), Frontiers in Education Conference, 2020. (DOI).
- Copying Can Be Good: How Students View Imitation as a Tool in Learning to Program. In 2020 IEEE Frontiers in Education Conference (FIE), IEEE Frontiers in Education Conference, Institute of Electrical and Electronics Engineers (IEEE), 2020. (DOI).
- Learning to program hands-on: a controlled study. In Proceedings of the 20th Koli Calling International Conference on Computing Education Research November 2020 November 2020, pp 1-10, 2020. (DOI).
- Social dimensions in the lab session when novices learn to program. In 2020 IEEE Frontiers in Education Conference (FIE), Frontiers in Education Conference, 2020. (DOI).
Computing Science (Datalogi)
- Accounting for Information Freshness in Scheduling of Content Caching. In ICC 2020: 2020 IEEE International Conference on Communications (ICC), IEEE International Conference on Communications, 2020. (DOI).
- Optimal scheduling of content caching subject to deadline. In IEEE Open Journal of the Communications Society, volume 1, pp 293-307, IEEE, 2020. (DOI, Fulltext, fulltext:print).
- Routing and scheduling of network flows with deadlines and discrete capacity allocation. In Networks, volume 76, number 1, pp 54-74, WILEY, 2020. (DOI).
- Strategies for array data retrieval from a relational back-end based on access patterns. In Computing, volume 102, number 5, pp 1139-1158, 2020. (DOI, Fulltext, fulltext:print).
- Solving Satisfaction Problems using Large-Neighbourhood Search. In Principles and Practice of Constraint Programming, volume 12333 of Lecture Notes in Computer Science, pp 55-71, 2020. (DOI).
- Diversified spatial keyword search on RDF data. In The VLDB journal, volume 29, number 5, pp 1171-1189, 2020. (DOI, Fulltext, fulltext:print).
- Modeling and Optimization of Mobility-Aware Dynamic Caching With Time-Varying Content Popularity. In IEEE Transactions on Vehicular Technology, volume 69, number 1, pp 1157-1162, 2020. (DOI).
- Analysis of DTLS Implementations Using Protocol State Fuzzing. In Proceedings of the 29th USENIX Security Symposium, pp 2523-2540, 2020. (Proceedings paper fulltext, fulltext:print).
- Towards Explainable, Compliant and Adaptive Human-Automation Interaction. In Proceedings of the 3rd EXplainable AI in Law Workshop (XAILA 2020), volume 2891 of CEUR Workshop Proceedings, 2020. (External link, fulltext:print).
- Proof-theoretic Conservativity for HOL with Ad-hoc Overloading. In Theoretical Aspects of Computing - ICTAC 2020 - 17th International Colloquium, Macau, China, November 30 - December 4, 2020, Lecture Notes in Computer Science, pp 23-42, Springer, 2020. (DOI, External link).
- Unspoken Assumptions in Multi-layer Modularity maximization. In Scientific Reports, volume 10, number 1, NATURE PUBLISHING GROUP, 2020. (DOI, Fulltext, fulltext:print).
- Multilayer network simplification: Approaches, models and methods. In Computer Science Review, volume 36, 2020. (DOI).
- Particle Filter with Rejection Control and Unbiased Estimator of the Marginal Likelihood. In ICASSP 2020: 2020 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP), International Conference on Acoustics Speech and Signal Processing (ICASSP), pp 5860-5864, 2020. (DOI).
- Probabilistic programming for birth-death models of evolution using an alive particle filter with delayed sampling. In The 35th Uncertainty in Artificial Intelligence Conference (UAI), Proceedings of Machine Learning Research, pp 679-689, JOURNAL MACHINE LEARNING RESEARCH, San Diego, 2020.
- Parallel Graph-Based Stateless Model Checking. In Automated Technology for Verification and Analysis: 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19–23, 2020, Proceedings, volume 12302 of Lecture Notes in Computer Science (LNCS), pp 377-393, 2020. (DOI).
- Wrapping a NoSQL Datastore for Stream Analytics. In 2020 IEEE 21st International Conference On Information Reuse And Integration For Data Science (IRI 2020), pp 301-305, Institute of Electrical and Electronics Engineers (IEEE), 2020. (DOI).
- Functional and Logic Programming: 15th International Symposium, FLOPS 2020, Akita, Japan, September 14–16, 2020, Proceedings. Volume 12073 of Lecture Notes in Computer Science, Springer, Cham, 2020. (DOI).
- Reshape your layouts, not your programs: A safe language extension for better cache locality. In Science of Computer Programming, volume 197, 2020. (DOI).
- Clearing the Shadows: Recovering Lost Performance for Invisible Speculative Execution through HW/SW Co-Design. In PACT ’20: Proceedings of the ACM International Conference on Parallel Architectures and Compilation Techniques, International Conference on Parallel Architectures and Compilation Techniques, pp 241-254, Association for Computing Machinery (ACM), 2020. (DOI, External link).
- A Twitter-Based Study of the European Internet of Things. In Information Systems Frontiers, volume 23, number 1, pp 135-149, 2020. (DOI, Fulltext, fulltext:print).
- Graph-theoretic approaches and tools for quantitatively assessing curricula coherence. In European Journal of Engineering Education, volume 46, number 3, pp 344-363, 2020. (DOI).
- Improving Program Locality in the GC using Hotness. In PLDI 2020: Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation, pp 301-313, ASSOC COMPUTING MACHINERY, 2020. (DOI).
- ThinGC: complete isolation with marginal overhead. In ISMM 2020: Proceedings of the 2020 ACM SIGPLAN International Symposium on Memory Management, pp 74-86, Association for Computing Machinery (ACM), 2020. (DOI).
- User-centric Performance Optimization with Remote Radio Head Cooperation in C-RAN. In IEEE Transactions on Wireless Communications, volume 19, number 1, pp 340-353, 2020. (DOI, External link).
- Leveraging Muiti-cell NOMA for Cell Edge. In 2020 IEEE International Conference on Advanced Networks and Telecommunications Systems (IEEE ANTS), IEEE International Conference on Advanced Networks and Telecommunication Systems, Institute of Electrical and Electronics Engineers (IEEE), 2020. (DOI).
- Towards Pricing for Sensor-Cloud. In IEEE Transactions on Cloud Computing, volume 8, number 4, pp 1018-1029, 2020. (DOI).
- Grammar-Based Testing for Little Languages: An Experience Report with Student Compilers. In Proceedings of the 13th ACM SIGPLAN International Conference on Software Language Engineering, pp 253-269, Association for Computing Machinery (ACM), 2020. (DOI, Fulltext).
- A Mechanised Semantics for HOL with Ad-hoc Overloading. In , EPiC Series in Computing, pp 498-515, 2020. (DOI, Fulltext, External link).
Image Analysis and Human-Computer Interaction
(Bildanalys och människa-datorinteraktion)
- Transcriptome-Supervised Classification of Tissue Morphology Using Deep Learning. In IEEE 17th International Symposium on Biomedical Imaging (ISBI), IEEE International Symposium on Biomedical Imaging (ISBI), pp 1630-1633, 2020. (DOI).
- A fast instance selection method for support vector machines in building extraction. In Applied Soft Computing, volume 97, 2020. (DOI, Fulltext, fulltext:print).
- Adaptive Mathematical Morphology on Irregularly Sampled Signals in Two Dimensions. In Mathematical Morphology - Theory and Applications, volume 4, number 1, pp 108-126, Walter de Gruyter, 2020. (DOI, Fulltext, Publisher's full text, fulltext:print).
- Generalised deep learning framework for HEp-2 cell recognition using local binary pattern maps. In IET Image Processing, volume 14, number 6, pp 1201-1208, INST ENGINEERING TECHNOLOGY-IET, 2020. (DOI).
- Nontrivial Lexical Convergence in a Geography-Themed Game. In SIGDIAL 2020: 21ST ANNUAL MEETING OF THE SPECIAL INTEREST GROUP ON DISCOURSE AND DIALOGUE (SIGDIAL 2020), pp 209-214, ASSOC COMPUTATIONAL LINGUISTICS, 2020.
- Multiple comparison correction methods for whole-body magnetic resonance imaging. In Journal of Medical Imaging, volume 7, number 1, SPIE-Intl Soc Optical Eng, 2020. (DOI, Fulltext, fulltext:print).
- HISTOBREAST: a collection of brightfield microscopy images of Haematoxylin and Eosin stained breast tissue. In Scientific Data, volume 7, number 1, 2020. (DOI, Fulltext, fulltext:print).
- The effects of automation of a patient?centric service in primary care on the work engagement and exhaustion of nurses. In Quality and User Experience, volume 5, number 9, 2020. (DOI, External link).
- Can a Social Robot Be Persuasive Without Losing Children’s Trust?. In HRI '20: Companion of the 2020 ACM/IEEE International Conference on Human-Robot Interaction, pp 157-159, ACM Digital Library, 2020. (DOI, fulltext:preprint).
- The Effects of Robot’s Facial Expressions on Children’s First Impressions of Trustworthiness. In 2020 29th IEEE International Conference on Robot and Human Interactive Communication (RO-MAN), IEEE RO-MAN, pp 165-171, IEEE Press, 2020. (DOI, fulltext:postprint).
- Att utveckla ihärdighet: En intervjustudie om lärarens roll för studenters motivation att jobba mot långsiktiga mål. In , 2020.
- ”We’re Doing This Together”: An in-Depth Analysis of the Teamwork between Train Traffic Controllers and Train Drivers. In Proceedings of the 4th International Conference on Computer-Human Interaction Research and Applications, pp 96-103, Portugal, 2020. (DOI).
- Fast graph-cut based optimization for practical dense deformable registration of volume images. In Computerized Medical Imaging and Graphics, volume 84, Elsevier, 2020. (DOI).
- Communication Breakdowns between Nurses and IT Department: Why Hospitals Fail at Improving the Usability of Health Information Technology. In Proceedings of the 18th International Symposium on Health Information Management Research, 2020. (fulltext:postprint).
- Detection of pulmonary micronodules in computed tomography images and false positive reduction using 3D convolutional neural networks. In International journal of imaging systems and technology (Print), volume 30, number 2, pp 327-339, 2020. (DOI).
- Weakly-supervised prediction of cell migration modes in confocal microscopy images using bayesian deep learning. In 2020 IEEE 17th International Symposium on Biomedical Imaging (ISBI), IEEE International Symposium on Biomedical Imaging (ISBI), pp 1626-1629, 2020. (DOI).
- User Experiences of an Internet-Based Stepped-Care Intervention for Individuals With Cancer and Concurrent Symptoms of Anxiety or Depression (the U-CARE AdultCan Trial): Qualitative Study. In Journal of Medical Internet Research, volume 22, number 5, JMIR PUBLICATIONS, INC, 2020. (DOI, Fulltext, fulltext:print).
- Patient-specific fine-tuning of CNNs for follow-up lesion quantification. In Journal of Medical Imaging, 2020.
- Assessment of openness as a dynamic team skill in order to counteract “free-riding”. In 2020 IEEE Frontiers in Education Conference (FIE), Frontiers in Education Conference, 2020. (DOI).
- Kidney segmentation in neck-to-knee body MRI of 40,000 UK Biobank participants. In Scientific Reports, volume 10, number 1, 2020. (DOI, Fulltext, fulltext:print).
- Large-scale Inference of Liver Fat with Neural Networks on UK Biobank Body MRI. In International Conference on Medical Image Computing and Computer-Assisted Intervention (MICCAI) 2020, volume 12262 of Lecture Notes in Computer Science, pp 602-611, Springer, Cham, 2020. (DOI, Fulltext).
- Large-scale biometry with interpretable neural network regression on UK Biobank body MRI. In Scientific Reports, volume 10, number 1, 2020. (DOI, Fulltext, fulltext:print).
- Large-scale inference of liver fat with neural networks on UK Biobank body MRI. In Lecture Notes in Computer Science LNCS Vol. 12265, pages 602-611, Springer, Cham., pp 602-611, 2020.
- A Pragmatic Approach for Teaching Ethics to Engineers and Computer Scientists. In 2020 IEEE Frontiers in Education Conference (FIE), IEEE Frontiers in Education Conference (FIE), 2020. (DOI).
- Voxel-wise Study of Cohort Associations in Whole-Body MRI: Application in Metabolic Syndrome and Its Components.. In Radiology, volume 294, number 3, pp 559-567, 2020. (DOI).
- The Use of Scenarios in a Vision Seminar Process: The Case of Students Envisioning the Future of Study-Administration. In , 2020.
- Evaluation of Augmented Reality-Based Building Diagnostics Using Third Person Perspective. In ISPRS International Journal of Geo-Information, volume 9, number 1, 2020. (DOI, Fulltext, fulltext:print).
- A Deep Learning Based Pipeline for Efficient Oral Cancer Screening on Whole Slide Images. In Image Analysis and Recognition, Lecture Notes in Computer Science - LNCS 12132, pp 249-261, pp 249-261, Springer International Publishing, 2020. (DOI, External link).
- Combinatorial Image Analysis -: 20th International Workshop, IWCIA 2020, Novi Sad, Serbia, July 16-18, 2020, Proceedings. Lecture Notes in Computer Science - LNCS 12148, Springer, 2020. (DOI, External link).
- Two Polynomial Time Graph Labeling Algorithms Optimizing Max-Norm-Based Objective Functions. In Journal of Mathematical Imaging and Vision, volume 62, number 5, pp 737-750, 2020. (DOI).
- Oncology health-care professionals’ perceived effects of patient accessible electronic health records 6 years after launch: A survey study at a major university hospital in Sweden. In Health Informatics Journal, volume 26, number 2, pp 1392-1403, 2020. (DOI, Fulltext, fulltext:print).
- Design Guidelines for Educational Games Targeting Children. In , 2020.
- ‘I do not share it with others. No, it’s for me, it’s my care’: On sharing of patient accessible electronic health records. In Health Informatics Journal, volume 26, number 4, pp 2554-2567, 2020. (DOI, Fulltext, fulltext:print).
- Clustered Grid Cell Data Structure for Isosurface Rendering. In Journal of WSCG, volume 28, number 1-2, pp 9-17, 2020. (DOI, Fulltext).
- RayCaching: Amortized Isosurface Rendering for Virtual Reality. In Computer graphics forum (Print), volume 39, number 1, pp 220-230, 2020. (DOI, Fulltext, fulltext:print).
- A rapid and accurate method to quantify neurite outgrowth from cell and tissue cultures: Two image analytic approaches using adaptive thresholds or machine learning. In Journal of Neuroscience Methods, volume 331, 2020. (DOI).
- Automated identification of the mouse brain’s spatial compartments from in situ sequencing data. In BMC Biology, volume 18, number 1, Springer Nature, 2020. (DOI, Fulltext, fulltext:print, attachment:print, attachment:print).
- What are the ingredients for an ethics education for computer scientists?. In Paradigm Shifts in ICT Ethics: Societal Challenges in the Smart Society, pp 107-109, Logroño, Spain, 2020. (External link).
- On the Role of Personality and Empathy in Human-Human, Human-Agent, and Human-Robot Mimicry. In Social Robotics: 12th International Conference, ICSR 2020, Golden, CO, USA, November 14–18, 2020, Proceedings, volume 12483 of Lecture Notes in Computer Science (LNAI), pp 120-131, Springer, Cham, 2020. (DOI).
- CoMIR: Contrastive Multimodal Image Representation for Registration. In NeurIPS - 34th Conference on Neural Information Processing Systems, 2020. (External link, External link).
- Cancer patients' information seeking behaviour related to online electronic healthcare records. In Proceedings of the 18th International Symposium for Health Information Management Research, pp 53-61, 2020. (fulltext:print).
- BIAFLOWS: A Collaborative Framework to Reproducibly Deploy and Benchmark Bioimage Analysis Workflows.. In Patterns (New York, N.Y.), volume 1, number 3, Elsevier BV, 2020. (DOI, Fulltext, fulltext:print).
- A Robot by Any Other Frame: Framing and Behaviour Influence Mind Perception in Virtual but not Real-World Environments. In HRI '20: Proceedings of the 2020 ACM/IEEE International Conference on Human-Robot Interaction, ACM IEEE International Conference on Human-Robot Interaction, pp 609-618, Assoc Computing Machinery, 2020. (DOI).
- Visualisation of 3D Property Data and Assessment of the Impact of Rendering Attributes. In Journal of Geovisualization and Spatial Analysis, volume 4, number 2, 2020. (DOI, Fulltext, fulltext:print).
- Research programs as a tool to map Internet studies. In Second International Handbook of Internet Research, pp 505-528, Springer, Dordrecht, The Netherlands, 2020. (DOI).
- Recent Advances in Large Scale Whole Body MRI Image Analysis – Imiomics. In In Proceedings of The 5th International Conference on Sustainable Information Engineering and Technology (SIET 2020), Malang, Indonesia, 2020.
- Artificial intelligence for diagnosis and grading of prostate cancer in biopsies: a population-based, diagnostic study. In The Lancet Oncology, volume 21, number 2, pp 222-232, Elsevier, 2020. (DOI).
- When texture matters: Texture-focused CNNs outperform general data augmentation and pretraining in oral cancer detection. In 2020 IEEE 17th International Symposium on Biomedical Imaging (ISBI), IEEE International Symposium on Biomedical Imaging (ISBI), pp 517-521, 2020. (DOI).
- Bootstrapping Weakly Supervised Segmentation-free Word Spotting through HMM-based Alignment. In 2020 17th International Conference on Frontiers in Handwriting Recognition (ICFHR), pp 49-54, 2020. (DOI).
- zOPT: an open source optical projection tomography system and methods for rapid 3D zebrafish imaging. In Biomedical Optics Express, volume 11, number 8, pp 4290-4305, The Optical Society, 2020. (DOI, Fulltext, fulltext:print).
- Stochastic Distance Transform: Theory, Algorithms and Applications. In Journal of Mathematical Imaging and Vision, volume 62, pp 751-769, 2020. (DOI, Fulltext, fulltext:print).
Numerical Analysis (Numerisk analys)
- Fractional Laplace operator in two dimensions, approximating matrices, and related spectral analysis. In Calcolo, volume 57, 2020. (DOI, Fulltext).
- Asymptotic Spectra of Large (Grid) Graphs with a Uniform Local Structure (Part I): Theory. In Milan Journal of Mathematics, volume 88, number 2, pp 409-454, Springer Science and Business Media LLC, 2020. (DOI, Fulltext, fulltext:print).
- Local meshless methods for second order elliptic interface problems with sharp corners. In Journal of Computational Physics, volume 416, 2020. (DOI, fulltext:postprint).
- Non-stiff boundary and interface penalties for narrow-stencil finite difference approximations of the Laplacian on curvilinear multiblock grids. In Journal of Computational Physics, volume 408, 2020. (DOI, External link).
- Modelling long-range interactions in multiscale simulations of ferromagnetic materials. In Advances in Computational Mathematics, volume 46, number 1, 2020. (DOI, Fulltext).
- An Introduction and Summary of Use of Optimal Control Methods for PDE's. In Large-Scale Scientific Computing (LSSC 2019), volume 11958 of Lecture Notes in Computer Science (LNCS), pp 275-283, 2020. (DOI).
- Extensions of a coarse–fine mesh stabilized Schwarz alternating iteration domain decomposition method. In Journal of Computational and Applied Mathematics, volume 364, 2020. (DOI).
- Numerical solution methods for implicit Runge-Kutta methods of arbitrarily high order. In Proceedings of the conference Algoritmy 2020, pp 11-20, 2020. (Publisher fulltext).
- Optimality properties of a square block matrix preconditioner with applications. In Computers and Mathematics with Applications, volume 80, pp 286-294, 2020. (DOI).
- Superior properties of the PRESB preconditioner for operators on two-by-two block form with square blocks. In Numerische Mathematik, volume 146, number 2, pp 335-368, 2020. (DOI, Fulltext, fulltext:print).
- Block generalized locally Toeplitz sequences: theory and applications in the multidimensional case. In Electronic Transactions on Numerical Analysis, volume 53, pp 113-216, Osterreichische Akademie der Wissenschaften, 2020. (DOI).
- Block generalized locally Toeplitz sequences: theory and applications in the unidimensional case. In Electronic Transactions on Numerical Analysis, volume 53, pp 28-112, Osterreichische Akademie der Wissenschaften, 2020. (DOI, External link, External link).
- A first meshless approach to simulation of the elastic behaviour of the diaphragm. In Spectral and High Order Methods for Partial Differential Equations: ICOSAHOM 2018, volume 134 of Lecture Notes in Computational Science and Engineering, pp 501-512, Springer, 2020. (DOI, fulltext:postprint).
- A Multigrid method for nonlocal problems: non-diagonally dominant Toeplitz-plus-tridiagonal systems. In SIAM Journal on Matrix Analysis and Applications, volume 41, number 4, pp 1546-1570, 2020. (DOI).
- A full Stokes subgrid scheme in two dimensions for simulation of grounding line migration in ice sheets using Elmer/ICE (v8.3). In Geoscientific Model Development, volume 13, pp 2245-2258, 2020. (DOI, Fulltext).
- Parameter sensitivity analysis of dynamic ice sheet models — numerical computations. In The Cryosphere, volume 14, pp 673-691, 2020. (DOI, Fulltext).
- A level-set multigrid technique for nonlinear diffusion in the numerical simulation of marble degradation under chemical pollutants. In Applied Mathematics and Computation, volume 386, Elsevier BV, 2020. (DOI, External link).
- Numerical Simulations of Marble Sulfation. In Mathematical Modeling in Cultural Heritage, volume 41 of Springer INdAM Series, pp 107-122, Springer International Publishing, 2020. (DOI, External link).
- PDE-constrained optimization: Matrix structures and preconditioners. In Large-Scale Scientific Computing, volume 11958 of Lecture Notes in Computer Science (LNCS), pp 315-323, 2020. (DOI).
- A stable discontinuous Galerkin method for the perfectly matched layer for elastodynamics in first order form. In Numerische Mathematik, volume 146, number 4, pp 729-782, 2020. (DOI).
- Developing the First Intensity Prediction Equation Based on the Environmental Scale Intensity: A Case Study from Strong Normal-Faulting Earthquakes in the Italian Apennines. In Seismological Research Letters, volume 91, number 5, pp 2611-2623, Seismological Society of America (SSA), 2020. (DOI, External link).
- NURBS in isogeometric discretization methods: A spectral analysis. In Numerical Linear Algebra with Applications, volume 27, number 6, Wiley, 2020. (DOI, External link).
- Existence result for the coupling of shallow water and Borda–Carnot equations with Riemann data. In Journal of Hyperbolic Differential Equations, volume 17, number 01, pp 185-212, 2020. (DOI).
- An investigation of global radial basis function collocation methods applied to Helmholtz problems. In Dolomites Research Notes on Approximation, volume 13, pp 65-85, Padova University Press, 2020. (DOI, Fulltext, fulltext:print).
- Efficient iterative solvers for a complex valued two-by-two block linear system with application to parabolic optimal control problems. In Applied Numerical Mathematics, volume 152, pp 422-445, 2020. (DOI).
- An efficient finite difference method for the shallow water equations. In Journal of Computational Physics, volume 422, Elsevier BV, 2020. (DOI).
- A high order method for pricing of financial derivatives using radial basis function generated finite differences. In Mathematics and Computers in Simulation, volume 174, pp 205-217, 2020. (DOI).
- Computation of Asymptotic Spectral Distributions for Sequences of Grid Operators. In Computational Mathematics and Mathematical Physics, volume 60, number 11, pp 1761-1777, Springer, 2020. (DOI).
- Multiscale approach for magnetization dynamics: unraveling exotic magnetic states of matter. In Physical Review Research, volume 2, number 1, 2020. (DOI, Fulltext, fulltext:print).
- Regularity of almost periodic solutions of Poisson equation. In Ufa Mathematical Journal, volume 12, number 2, pp 97-107, 2020. (DOI).
- On using a zero lower bound on the physical density in material distribution topology optimization. In Computer Methods in Applied Mechanics and Engineering, volume 359, ELSEVIER SCIENCE SA, 2020. (DOI).
- Spectral analysis of Pk Finite Element matrices in the case of Friedrichs–Keller triangulations via Generalized Locally Toeplitz technology. In Numerical Linear Algebra with Applications, volume 27, number 4, Wiley, 2020. (DOI, External link).
- High-order cut discontinuous Galerkin methods with local time stepping for acoustics. In International Journal for Numerical Methods in Engineering, volume 121, number 13, pp 2979-3003, 2020. (DOI).
- High-order cut finite elements for the elastic wave equation. In Advances in Computational Mathematics, volume 46, number 3, 2020. (DOI, Fulltext).
- A monotonic optimization approach for solving strictly quasiconvex multiobjective programming problems. In Journal of Intelligent & Fuzzy Systems, volume 38, pp 6053-6063, 2020. (DOI).
- A numerical simulation for Darcy–Forchheimer flow of nanofluid by a rotating disk with partial slip effects. In Frontiers in Physics, volume 7, 2020. (DOI, Fulltext).
- Numerical Ross Recovery for Diffusion Processes Using a PDE Approach. In Applied Mathematical Finance, pp 46-66, 2020. (DOI).