Centrum Wiskunde & Informatica

Minimal session types for the €-calculus In Proceedings

A. Arslanagic (Alen), A.-A. Palamariuc (Anda-Amelia) and J.A. Pérez Parra (Jorge)

September 2021
Hypergraph min-cuts from quantum entropies Tech Report

M. Walter (Michael) and F. Witteveen (Freek)

September 2021
Optimizing hypergraph-based polynomials modeling job-occupancy in queuing with redundancy scheduling Article

SIAM Journal on Optimization, 31(3), 2227-2254.

D. Brosch, M. Laurent (Monique) and J.A.J. Steenkamp (Andries)

September 2021
Comparing methods for finding search sessions on a specified topic: A double case study In Proceedings

T. Bogaard (Tessel), A. Bilgin (Aysenur), J. Wielemaker (Jan), L. Hollink (Laura), K. Ribbens (Kees) and J.R. van Ossenbruggen (Jacco)

September 2021
LocalNorm: Robust image classification through dynamically regularized normalization In Proceedings

B. Yin (Bojian), H.S. Scholte (Steven) and S.M. Bohte (Sander)

September 2021
Connecting large-scale velocity and temperature bursts with small-scale intermittency in stratified turbulence Article

Europhysics Letters, 135(1)

F. Feraco, R. Marino (Raffaele), L. Primavera, A. Pumir, P. D. Mininni, D. Rosenberg, A. Pouquet, R. Foldes (Raffaello), E. Léveque, E. Camporeale (Enrico), et al. S.S. Cerri, J. L. Chau, M. Marro

September 2021
Beyond the BEST Theorem: Fast assessment of Eulerian Trails In Proceedings

A. Conte (Alessio), R. Grossi (Roberto), G. Loukides (Grigorios), N. Pisanti (Nadia), S. Pissis (Solon) and G. Punzi (Giulia)

September 2021
TimSoethout/cbc-artifacts: Artifacts for AGERE'21 paper "Contract-Based Return-Value Commutativity: Safely exploiting contract-based commutativity for faster serializable transactions" Software|Data

T.M. Soethout (Tim)

September 2021

Publication

Minimal session types for the €-calculus In Proceedings

Hypergraph min-cuts from quantum entropies Tech Report

Optimizing hypergraph-based polynomials modeling job-occupancy in queuing with redundancy scheduling Article

Comparing methods for finding search sessions on a specified topic: A double case study In Proceedings

LocalNorm: Robust image classification through dynamically regularized normalization In Proceedings

Connecting large-scale velocity and temperature bursts with small-scale intermittency in stratified turbulence Article

Beyond the BEST Theorem: Fast assessment of Eulerian Trails In Proceedings

TimSoethout/cbc-artifacts: Artifacts for AGERE'21 paper "Contract-Based Return-Value Commutativity: Safely exploiting contract-based commutativity for faster serializable transactions" Software|Data

Address

CWI researchers

Questions or comments?

Publication

Minimal session types for the €-calculus In Proceedings

Hypergraph min-cuts from quantum entropies Tech Report

Optimizing hypergraph-based polynomials modeling job-occupancy in queuing with redundancy scheduling Article

Comparing methods for finding search sessions on a specified topic: A double case study In Proceedings

LocalNorm: Robust image classification through dynamically regularized normalization In Proceedings

Connecting large-scale velocity and temperature bursts with small-scale intermittency in stratified turbulence Article

Beyond the BEST Theorem: Fast assessment of Eulerian Trails In Proceedings

TimSoethout/cbc-artifacts: Artifacts for AGERE'21 paper "Contract-Based Return-Value Commutativity: Safely exploiting contract-based commutativity for faster serializable transactions" Software|Data

Workflow

Workflow

Add Content