CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
A Graphical #SAT Algorithm for Formulae with Small Clause Density Tech Report
T. Laakkonen (Tuomas), K. Meichanetzidis (Konstantinos) and J.M.M. van de Wetering (John)
August 2024
-
AI: hype of hoop - EW Magazine - 12-08-2024 Magazine Article
August 2024
-
Optimising quantum circuits is generally hard Tech Report
August 2024
-
Mobile touch: Responsive wireless tactile communication for portable pneumatic wearables Master Thesis
August 2024
-
Het einde van een veilig internet? - NewScientist - 13-08-2024 Magazine Article
August 2024
-
Module-Lattice-Based Key-Encapsulation Mechanism Standard Standard
R. Avanzi (Roberto), J. Bos (Joppe), L. Ducas (Léo), E. Kiltz (Eike), T. Lepoint (Tancrède), V. Lyubashevsky (Vadim), J.M. Schanck (John), P. Schwabe (Peter), G. Seiler (Gregor) and D. Stehlé (Damien)
August 2024 -
65-jarige Cobol nog lang niet met pensioen - Computable - 13-09-2024 Magazine Article
August 2024
-
Longitudinal CT scanning for explainable early detection of postharvest disorders: The ‘Braeburn’ browning case Tech Report
D.E. Schut (Dirk), R.M. Wood (Rachael), R.E. Schouten (Rob), R. van Liere (Robert), T. van Leeuwen (Tristan) and K.J. Batenburg (Joost)
August 2024