Centrum Wiskunde & Informatica

On the robustness of sparse counterfactual explanations to adverse perturbations Article

Artificial Intelligence, 103840:1-103840:30.

M. Virgolin (Marco) and S. Fracaros (Saverio)

March 2023
Pushdown automata and context-free grammars in bisimulation semantics Article

Logical Methods in Computer Science, 19(1), 15:1-15:32.

J.C.M. Baeten (Jos), C. Carissimo (Cesare) and S.P. Luttik (Bas)

March 2023
Invited talk: “Designing Affective Augmentation Systems for Mind, Body, and Social Connection” Presentation

A. El Ali (Abdallah)

March 2023
Improving the efficiency of renewable energy assets by optimizing the matching of supply and demand using a smart battery scheduling algorithm Article

Energies, 16(5)

P. de Bekker (Philippe), S.A. Cremers (Sho), S. Norbu (Sonam), D. Flynn (David) and V. Robu (Valentin)

March 2023
VeyMont: Parallelising verified programs instead of verifying parallel programs In Proceedings

P. van den Bos (Petra) and S.-S.T.Q. Jongmans (Sung)

March 2023
Data set for (binary) text classification, involving spoken utterances and written text Dataset

M. Wahde (Mattias), M.L. Della Vedova (Marco), M. Virgolin (Marco) and M. Suvanto (Minerva)

March 2023
Generalizing DP-SGD with shuffling and batch clipping Article

Computing Research Repository

M.E. van Dijk (Marten), P.H. Nguyen (Phuong Ha), T. N. Nguyen (Toan) and L. M. Nguyen (Lam)

March 2023
Revisiting the moment accountant method for DP-SGD Tech Report

M.E. van Dijk (Marten), N. V. Nguyen (Nhuong), T. N. Nguyen (Toan), L. M. Nguyen (Lam) and P.H. Nguyen (Phuong Ha)

March 2023

Publication

On the robustness of sparse counterfactual explanations to adverse perturbations Article

Pushdown automata and context-free grammars in bisimulation semantics Article

Invited talk: “Designing Affective Augmentation Systems for Mind, Body, and Social Connection” Presentation

Improving the efficiency of renewable energy assets by optimizing the matching of supply and demand using a smart battery scheduling algorithm Article

VeyMont: Parallelising verified programs instead of verifying parallel programs In Proceedings

Data set for (binary) text classification, involving spoken utterances and written text Dataset

Generalizing DP-SGD with shuffling and batch clipping Article

Revisiting the moment accountant method for DP-SGD Tech Report

Address

CWI researchers

Questions or comments?

Publication

On the robustness of sparse counterfactual explanations to adverse perturbations Article

Pushdown automata and context-free grammars in bisimulation semantics Article

Invited talk: “Designing Affective Augmentation Systems for Mind, Body, and Social Connection” Presentation

Improving the efficiency of renewable energy assets by optimizing the matching of supply and demand using a smart battery scheduling algorithm Article

VeyMont: Parallelising verified programs instead of verifying parallel programs In Proceedings

Data set for (binary) text classification, involving spoken utterances and written text Dataset

Generalizing DP-SGD with shuffling and batch clipping Article

Revisiting the moment accountant method for DP-SGD Tech Report

Workflow

Workflow

Add Content