Centrum Wiskunde & Informatica

From reflected Lévy processes to stochastically monotone Markov processes via generalized inverses and supermodularity Article

Journal of Applied Probability, 60(1), 68-84.

O. Kella and M.R.H. Mandjes (Michel)

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

A. El Ali (Abdallah)

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
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
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
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

From reflected Lévy processes to stochastically monotone Markov processes via generalized inverses and supermodularity Article

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

Pushdown automata and context-free grammars in bisimulation semantics 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

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

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

From reflected Lévy processes to stochastically monotone Markov processes via generalized inverses and supermodularity Article

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

Pushdown automata and context-free grammars in bisimulation semantics 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

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

Generalizing DP-SGD with shuffling and batch clipping Article

Revisiting the moment accountant method for DP-SGD Tech Report

Workflow

Workflow

Add Content