Publications from 2020
-
Automated FDK-filter selection for cone-beam CT in research environments Article
IEEE Transactions on Computational Imaging, 739-748.February 2020 -
November 2020
-
A canonical form for positive definite matrices In Proceedings
December 2020 -
The case for uncertainty in COVID19 predictions Magazine Article
December 2020 -
September 2020
-
TimSoethout/tla-ci: TLA+ specifications used in "Automated Validation of State-Based Client-Centric Isolation with TLA+". Software|Data
July 2020 -
November 2020
-
November 2020
-
Data-driven modeling for wave-propagation In Proceedings
August 2020 -
January 2020
-
December 2020
-
A fifteen-tile tomographic micro-CT dataset of a panel painting "Cadmus sowing dragon's teeth" 1/3 Dataset
December 2020 -
December 2020
-
Large fluctuations in locational marginal prices Tech Report
February 2020 -
November 2020
-
June 2020
-
Parallel-beam X-ray CT datasets of apples with internal defects and label balancing for machine learning Tech Report
December 2020 -
Numerical techniques for the Heston collocated volatility model Article
Journal of Computational Finance, 24(3), 59-110.December 2020 -
April 2020
-
December 2020
-
February 2020
-
April 2020
-
RECAST3D Software
April 2020 -
September 2020
-
September 2020
-
April 2020
-
Digitale vrijplaats onder druk: Lichtkogel, Rijkswaterstaat (PDF in Dutch, pages 56-58). Magazine Article
June 2020 -
ACM Recognizes 2020 Distinguished Members for Contributions that Propel the Digital Age Magazine Article
December 2020 -
December 2020
-
Lit Lace Interface Magazine Article
October 2020 -
November 2020
-
Meet VRTogether at VRDays 2020! Blogpost
November 2020 -
September 2020
-
May 2020
-
Constructing and cleaning identity graphs in the LOD Cloud Article
Data Intelligence, 2(3), 323-352.July 2020 -
June 2020
-
June 2020
-
ICT onderzoeker Pablo Cesar wint 50.000 euro - Computable Magazine Article
January 2020 -
Computable: CWI's Pablo Cesar krijgt hoge onderscheiding Magazine Article
December 2020 -
December 2020
-
ComputerWeekly_13November2020_Dutch IT award recognises importance of research in the wild Magazine Article
November 2020 -
I/O Magazine: COMPUTER SCIENCE CLOSE TO REAL WORLD Magazine Article
October 2020 -
September 2020
-
April 2020
-
June 2020
-
June 2020
-
July 2020
-
Online metric algorithms with untrusted predictions In Proceedings
January 2020 -
Seismic wavefield redatuming with regularized multi-dimensional deconvolution Article
Inverse Problems, 36(9)September 2020 -
End-Member Modeling Analyses (EMMA) of pseudo-Thellier style experiments to derive absolute paleointensities from lavas In Proceedings
May 2020 -
May 2020
-
Comparing RSVD and Krylov methods for linear inverse problems Article
Computers & GeosciencesApril 2020 -
Convexity and order in probabilistic call-by-name FPC Article
Logical Methods in Computer Science, 16(4), 10:1-10:25.November 2020 -
Efficient query processing with Optimistically Compressed Hash Tables & Strings in the USSR In Proceedings
April 2020 -
Quantum-inspired algorithms for solving low-rank linear equation systems with logarithmic dependence on the dimension In Proceedings
December 2020 -
Hide and mine in strings: Hardness and algorithms In Proceedings
November 2020 -
December 2020
-
Interview - Pablo Cesar Online Video
December 2020 -
Dutch Prize for ICT research 2020 winner Pablo Cesar Online Video
September 2020 -
Uitreiking Langerhuizen Prijs&Bate, NL Prijs ICT-onderzoek, K.Schouhamer Immink Prijs 20sept.2020 Online Video
September 2020 -
PhD defense Jan Willem Kleinrouweler: Modeling and Optimization of Network Assisted Video Streaming Online Video
November 2020 -
Lit Lace Interface Online Video
June 2020 -
VRTogether - Social VR like never seen before! Online Video
October 2020 -
April 2020
-
CHI2020: ThermalWear: Wearable On-chest Thermal Displays to Augment Voice Messages with Affect Online Video
April 2020 -
CHI2020: RCEA: Real-time, Continuous Emotion Annotation for Mobile Video Ground Truth Labels Online Video
April 2020 -
CHI2020 (LBW): Designing Real-time, Continuous Emotion Annotation Techniques for 360° VR Videos Online Video
April 2020 -
GermanCHI 2020: Exploring Wearable On-chest Thermal Displays to Augment Voice Messages with Affect Online Video
June 2020 -
May 2020
-
MMsys2020: Pipeline for Multiparty Volumetric VideoConferencing: point clouds over low latency DASH Online Video
June 2020 -
September 2020
-
April 2020
-
IUPACpal Software
June 2020 -
Opponent-Pruning Paranoid Search In Proceedings
September 2020 -
Guiding multiplayer MCTS by focusing on yourself In Proceedings
August 2020 -
October 2020
-
December 2020
-
Grid-friendly sustainable local energy communities Magazine Article
April 2020 -
Languages of games and play: A systematic mapping study Article
ACM Computing Surveys, 53(6)December 2020 -
Tight bounds for online TSP on the line Article
ACM Transactions on Algorithms, 17(1)December 2020 -
Safe Statistics for Means and Proportions In Proceedings
June 2020 -
November 2020
-
XForms 2.0 Test Suite Software
January 2020 -
ABC for the Raspberry Pi Software
July 2020 -
2-IMMERSE Software
January 2020 -
ThermalWear: Exploring Wearable On-chest Thermal Displays to Augment Voice Messages with Affect Software
April 2020 -
April 2020
-
October 2020
-
Challenges and Main Results of the Automated Negotiating Agents Competition (ANAC) 2019 In Proceedings
January 2020 -
August 2020
-
September 2020
-
September 2020
-
A multi-sectoral approach to modelling community energy demand of the built environment Article
Energy Policy, 865-875.September 2020 -
AI-Driven Maintenance Support for Downhole Tools and Electronics Operated in Dynamic Drilling Environments Article
IEEE AccessApril 2020 -
Prognostics and Health Management for the Optimization of Marine Hybrid Energy Systems Article
Energies, 13(18)September 2020 -
Green hope or red herring? Examining consumer perceptions of peer-to-peer energy trading in the United Kingdom Article
Energy Research & Social ScienceOctober 2020 -
Automating the Verification of the Low Voltage Network Cables and Topologies Article
IEEE Transactions on Smart Grid, 11(2)March 2020 -
Automated Negotiation for Peer-to-Peer Electricity Trading in Local Energy Markets Article
Energies, 13(4)February 2020 -
Assessing safety-critical systems from operational testing: A study on autonomous vehicles Article
Information and Software TechnologyDecember 2020