Centrum Wiskunde & Informatica

AlleAlle: Bounded relational model finding with unbounded data In Proceedings

J.H. Stoel (Jouke), T. van der Storm (Tijs) and J.J. Vinju (Jurgen)

October 2019
Non-linearly stable reduced-order models in compressible flow with energy-conserving finite volume methods Tech Report

B. Sanderse (Benjamin)

October 2019
Reowolf: Synchronous multi-party communication over the Internet? In Proceedings

C.A. Esterhuyse (Christopher) and H.A. Hiep (Hans-Dieter)

October 2019
Verifying OpenJDK's LinkedList using KeY: Video Software

J. Bian (Jinting) and H.A. Hiep (Hans-Dieter)

October 2019
Fixed-Confidence Guarantees for Bayesian Best-Arm Identification Tech Report

X. Shang (Xuedong), R. de Heide (Rianne), E. Kaufmann (Emilie), P. Ménard (Pierre) and M. Valko (Michal)

October 2019
A granular approach to source trustworthiness for negative trust assessment In Proceedings

D. Ceolin (Davide) and G. Primiero (Giuseppe)

October 2019
Extracting novel facts from tables for Knowledge Graph completion In Proceedings

B.B. Kruit (Benno), P.A. Boncz (Peter) and J. Urbani (Jacopo)

October 2019
Purex_games Software

W.M. Koolen-Wijkstra (Wouter)

October 2019

Previous

Next