CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
An Exact Algorithm for Side-Chain Placement in Protein Design Article
Optimization Letters, 1-14.S. Canzar (Stefan), N. Toussaint (Nora) and G.W. Klau (Gunnar)
January 2011 -
January 2011
-
Formal Methods for Components and Objects", 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010 --- "State-of-the-Art Survey Book
B.K. Aichernig, F.S. de Boer (Frank) and M.M. Bonsangue (Marcello)
January 2011 -
January 2011
-
January 2011
-
Comparison of Block-Lanczos and Block-Wiedemann for Solving Linear Systems in Large Factorizations Lecture
January 2011
-
Optimal resource allocation for time-reservation systems Article
Performance Evaluation, 414-428.R. Yang (Ran), S. Bhulai (Sandjai), R.D. van der Mei (Rob) and F.J. Seinstra
January 2011 -
January 2011