Centrum Wiskunde & Informatica

Epistemic Verification of Anonymity In Proceedings

D.J.N. van Eijck (Jan) and S.-M. Orzan (Simona-Mihaela)

January 2007
Database cracking In Proceedings

S. Idreos (Stratos), M.L. Kersten (Martin) and S. Manegold (Stefan)

January 2007
Configurable Input Devices for 3D Interaction using Optical Tracking Dissertation

Visualization and 3D User Interfaces

A.J. van Rhijn (Arjen)

January 2007
Mobile Channels for Exogenous Coordination of Distributed Systems: Semantics, Implementation and Composition Dissertation

Formal Methods

J.V. Guillen Scholten (Juan)

January 2007
Models and algorithms for online server routing Dissertation

CWI management

V. Bonifaci (Vincenzo)

January 2007
Reducing spike train variability: A computational theory of spike-timing dependent plasticity Article

Neural Computation, 371-403.

S.M. Bohte (Sander) and M.C. Mozer

February 2007
Lattice based extended formulations for integer linear equality systems Tech Report

K.I. Aardal (Karen) and L.A. Wolsey (Laurence)

February 2007
Computing semidefinite programming lower bounds for the (fractional) chromatic number via block-diagonalization Tech Report

N. Gvozdenovic (Nebojsa) and M. Laurent (Monique)

February 2007

Previous

Next