university website Publications by Year
  • sign in
  • Home

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 Taylor Function Calculus for Hybrid System Analysis: Validation in Coq In Proceedings

    P.J. Collins (Pieter), M. Niqui (Milad) and N. Revol

    July 2010
  • thumb

    Prequential Plug-In Codes that Achieve Optimal Redundancy Rates even if the Model is Wrong In Proceedings

    W.T. Kotlowski (Wojciech) and P.D. Grünwald (Peter)

    July 2010
  • XHTML™ Modularization 1.1 - Second edition Book Chapter

    S. Pemberton (Steven)

    July 2010
  • Invariant semidefinite programs Tech Report

    C. Bachoc, D. Gijswijt (Dion), A. Schrijver (Lex) and F. Vallentin (Frank)

    July 2010
    open access
  • Supervisory control synthesis of discrete-event systems using coordination scheme Tech Report

    J. Komenda, T. Masopust (Tomas) and J.H. van Schuppen (Jan)

    July 2010
    open access
  • Exponential, Logarithmic, Sine, and Cosine Integrals Book Chapter

    N.M. Temme (Nico)

    July 2010
    open access
  • Eureka: A methodology for measuring bandwidth usage of networked games, environments and applications In Proceedings

    I. Vaishnavi (Ishan), A. Arefin, D.C.A. Bulterman (Dick), K. Nahrstedt and R. Rivas

    July 2010
    open access
  • The positive semidefinite Grothendieck problem with rank constraint In Proceedings

    J. Briët (Jop), F.M. de Oliveira Filho (Fernando Mario) and F. Vallentin (Frank)

    July 2010
    open access
Previous
Next
university website
  • Address

    • Centrum Wiskunde & Informatica
    • Science Park 123 | 1098 XG Amsterdam | the Netherlands
  • CWI researchers

    • Register Your Work
  • Questions or comments?

    • repository@cwi.nl
artudis website

Workflow

Workflow

Add Content


User Publication Person Organisation Collection
Close