Centrum Wiskunde & Informatica: Centrum Wiskunde & Informatica

The design space of a configurable autocompletion component Tech Report

M. Hildebrand (Michiel), J.R. van Ossenbruggen (Jacco), A.K. Amin (Alia), L. Aroyo (Lora), J. Wielemaker (Jan) and L. Hardman (Lynda)

January 2007
Stochastic bounds for two-layer loss systems Tech Report

M. Jonckheere (Matthieu) and L.S. Leskela (Lasse)

January 2007
Identifying minimal and dominant solutions for Kummer recursions Tech Report

A. Deaño, J. Segura (Javier) and N.M. Temme (Nico)

January 2007
Importance sampling in rate-sharing networks Tech Report

P.M.D. Lieshout (Pascal) and M.R.H. Mandjes (Michel)

January 2007
Airfoil optimization by using the Manifold Mapping method Tech Report

M. van der Jagt (Martin)

January 2007
On a generic class of Lévy-driven vacation models Tech Report

O.J. Boxma (Onno), O. Kella and M.R.H. Mandjes (Michel)

January 2007
On the correlation structure of a Lévy-driven queue Tech Report

A. Es-Saghouani (Abdelghafour) and M.R.H. Mandjes (Michel)

January 2007
Rate stability and output rates in queueing networks with shared resources Tech Report

M. Jonckheere (Matthieu), R.D. van der Mei (Rob) and W. van der Weij (Wemke)

January 2007
An hp-adaptive strategy for the solution of the exact kernel curved wire Pocklington equation Tech Report

D.J.P. Lahaye (Domenico) and P.W. Hemker (Piet)

January 2007
Space-mapping techniques applied to the optimization of a safety isolating transformer Tech Report

T.V. Tran, S. Brisset, D. Echeverria (David), D.J.P. Lahaye (Domenico) and P. Brochet

January 2007
Analysis of explicit multirate and partitioned Runge-Kutta schemes for conservation laws Tech Report

W. Hundsdorfer (Willem), A. Mozartova (Anna) and V. Savcenco (Valeriu)

January 2007
Construction of high-order multirate Rosenbrock methods for stiff ODEs Tech Report

V. Savcenco (Valeriu)

January 2007
Unsteady compressible two-fluid flow model for interface capturing. On the dynamics of a shock-bubble interaction Tech Report

J.J. Kreeft (Jasper)

January 2007
Existence of mesons after deconfinement Tech Report

F. Brau (Fabian) and F. Buisseret

January 2007
Understanding experts' information seeking needs: a user study in the cultural heritage domain Tech Report

A.K. Amin (Alia), J.R. van Ossenbruggen (Jacco), L. Hardman (Lynda) and A. van Nispen

January 2007
Language Parametric Module Management for IDEs Tech Report

P. Klint (Paul), A.T. Kooiker (Taeke) and J.J. Vinju (Jurgen)

January 2007
The Complex Dynamics of Collaborative Tagging In Proceedings

H. Halpin, V. Robu (Valentin) and H. Shepherd

January 2007
A Fully Connectionist Model Generator for Covered First-Order Logic Programs In Proceedings

S. Bader, P. Hitzler (Pascal), S. Hölldobler and S. A. Witzel (Andreas)

January 2007
On time staggering for wave equations Tech Report

J.G. Verwer (Jan)

January 2007
A note on large-buffer asymptotics for generalized processor sharing with Gaussian inputs Tech Report

K.G. Dȩbicki (Krzysztof) and M.R.H. Mandjes (Michel)

January 2007
An Empirical Evaluation of XQuery Processors Tech Report

S. Manegold (Stefan)

January 2007
A Runge-Kutta discontinuous-Galerkin level-set method for unsteady compressible two-fluid flow Tech Report

J. Naber (Jorick) and B. Koren (Barry)

January 2007
Epistemic Analysis of Strategic Games with Arbitrary Strategy Sets In Proceedings

K.R. Apt (Krzysztof)

January 2007
A System for Distributed Mechanisms: Design, Implementation and Applications Tech Report

K.R. Apt (Krzysztof), F. Arbab (Farhad) and H. Ma (Huiye)

January 2007
Efficient computation of steady water flow with waves Tech Report

J. Wackers (Jeroen) and B. Koren (Barry)

January 2007
Deviations from the local field approximation in negative streamer heads, Tech Report

C. Li (Chao), W.J.M. Brok, U. Ebert (Ute) and J.J.A.M. van der Mullen

January 2007
Evaluating Structured Information Retrieval and Multimedia Retrieval Using PF/Tijah In Proceedings

T.H.W. Westerveld (Thijs), H. Rode (Henning), R. van Os, D. Hiemstra, G. Ramirez Camps (Georgina), V. Mihajlovic and A.P. de Vries (Arjen)

January 2007
Numerical aspects of special functions Tech Report

N.M. Temme (Nico)

January 2007
Statistical mechanics of Arakawa`s discretizations Tech Report

S. Dubinkina (Svetlana) and J.E. Frank (Jason)

January 2007
Silicon Cell Models: construction, analysis and reduction Book Chapter

F.J. Bruggeman (Frank), H.M. Härdin (Hanna), J.H. van Schuppen (Jan) and H.V. Westerhoff (Hans)

January 2007
Ecological control analysis: being(s) in control of mass flux and metabolite concentrations in anaerobic degradation processes Article

Environ Microbiology, 500-511.

W.F. Roling, B.M. van Breukelen, F.J. Bruggeman (Frank) and H.V. Westerhoff (Hans)

January 2007
Systems Biology: at last an integrative wet and dry Biology Article

Biological Theory, 2(2), 183-188.

F.J. Bruggeman (Frank)

January 2007
Introduction to systems biology Book Chapter

F.J. Bruggeman (Frank), J.J. Hornberg, F.C. Boogerd and H.V. Westerhoff (Hans)

January 2007
Systems Biology: Philosophical Foundations Book

F.C. Boogerd, F.J. Bruggeman (Frank), J.H.S. Hofmeyr and H.V. Westerhoff (Hans)

January 2007
Numerical description of high frequency ignition of fluorescent tubes Article

Journal of Physics D: Applied Physics, 3931-3936.

W.J.M. Brok, M.F. Gendre, M. Haverlag and J.J.A.M. van der Mullen

January 2007
MoModel study of DC ignition of fluorescent tubes Article

Journal of Physics D: Applied Physics, 156-162.

W.J.M. Brok, M.F. Gendre and J.J.A.M. van der Mullen

January 2007
A Note on Iterated Splitting Schemes Article

Journal of Computational and Applied Mathematics, 201(1), 146-152.

W. Hundsdorfer (Willem) and L. Portero (Laura)

January 2007
Wi-Fi Walkman Book Chapter

J. Wang (Jun), A.P. de Vries (Arjen) and M.J.T. Reinders

January 2007
Closed-Loop Adaptive Decision Support Based on Automated Trust Assessment In Proceedings

P.-P. van Maanen, T.B. Klos (Tomas) and K. van Dongen

January 2007
The Core Method: Connectionist Model Generation for First-Order Logic Programs Book Chapter

S. Bader, P. Hitzler (Pascal), S. Hölldobler and S. A. Witzel (Andreas)

January 2007
06472 Executive Summary - XQuery Implementation Paradigms In Proceedings

P.A. Boncz (Peter), T. Grust, J. Siméon and M. van Keulen

January 2007
06472 Abstracts Collection - XQuery Implementation Paradigms In Proceedings

P.A. Boncz (Peter), T. Grust, J. Siméon and M. van Keulen

January 2007
Evaluation of Neighbourhood Selection Methods in Decentralized Recommendation Systems In Proceedings

M. Clements (Maarten), A.P. de Vries (Arjen), J.A. Pouwelse, J. Wang (Jun) and M.J.T. Reinders

January 2007
An Epidemic-based P2P Recommender System In Proceedings

J. Yang, J. Wang (Jun), M. Clements (Maarten), J.A. Pouwelse, A.P. de Vries (Arjen) and M.J.T. Reinders

January 2007
Integrating XQuery and P2P in MonetDB/XQuery* In Proceedings

Y. Zhang (Ying) and P.A. Boncz (Peter)

January 2007
A parameterised search system In Proceedings

R. Cornacchia (Roberto) and A.P. de Vries (Arjen)

January 2007
Updating a cracked database In Proceedings

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

January 2007
A Query Language for a Data Refinery Cell In Proceedings

M.L. Kersten (Martin), E. Liarou (Erietta) and R.A. Pereira Goncalves (Romulo Antonio)

January 2007
Performance Evaluation and Experimental Assessment - Conscience or Curse of Database Research? In Proceedings

I. Manolescu and S. Manegold (Stefan)

January 2007
Cooperative Scans: Dynamic Bandwidth Sharing in a DBMS In Proceedings

M. Zukowski (Marcin), S. A. B. C. Héman (Sándor), N.J. Nes (Niels) and P.A. Boncz (Peter)

January 2007
Continuous RDF Query Processing over DHTs In Proceedings

E. Liarou (Erietta), S. Idreos (Stratos) and M. Koubarakis (Manolis)

January 2007
Structured Document Retrieval, Multimedia Retrieval, and Entity Ranking Using PF/Tijah In Proceedings

T. Tsikrika (Theodora), P. Serdyukov, H. Rode (Henning), T.H.W. Westerveld (Thijs), R. Aly, D. Hiemstra and A.P. de Vries (Arjen)

January 2007
Report on the INEX 2007 Multimedia Track In Proceedings

T. Tsikrika (Theodora) and T.H.W. Westerveld (Thijs)

January 2007
The CSIRO enterprise search test collection Article

SIGIR Forum, a Medium of Discussion for SIGIR Members, 41(2), 42-45.

P. Bailey, N. Craswell, I. Soboroff and A.P. de Vries (Arjen)

January 2007
Performing in Ambient Narratives: Supporting Everyday Life Performances with Technology Article

TDR : the Drama Review, 51(4), 68-last.

M.G.L.M. van Doorn (Mark), E. van Loenen and A.P. de Vries (Arjen)

January 2007
Multimedia Search without Visual Analysis: The Value of Linguistic and Contextual Information Article

F.M.G. de Jong (Franciska), T.H.W. Westerveld (Thijs) and A.P. de Vries (Arjen)

January 2007
7th Dutch-Belgian Information Retrieval Workshop March 28-29, 2007 Katholieke Universiteit Leuven, Belgium Article

SIGIR Forum, a Medium of Discussion for SIGIR Members, 41(2), 121-122.

M.-F. Moens, T. Tuytelaars and A.P. de Vries (Arjen)

January 2007
An agent architecture for multi-attribute negotiation using incomplete preference information Article

Autonomous Agents and Multi-Agent Systems, 15(2), 221-252.

C.M. Jonker (Catholijn), V. Robu (Valentin) and J. Treur

January 2007
Book review of "Alfred Tarski: Life and Logic", by A. Burdman Feferman and S. Feferman Article

Mathematical Intelligencer, 29(2), 78-80.

K.R. Apt (Krzysztof)

January 2007
Relative Strength of Strategy Elimination Procedures Article

Economics Bulletin, 21(3), 1-9.

K.R. Apt (Krzysztof)

January 2007
Post your articles in ArXiv:Math and CoRR! Article

Nieuw Archief voor Wiskunde, 5/9(2), 98-99.

K.R. Apt (Krzysztof)

January 2007
The many faces of rationalizability Article

The B.E. Journal of Theoretical Economics, 7(1), 1-39.

K.R. Apt (Krzysztof)

January 2007
An Analysis of Arithmetic Constraints on Integer Intervals Article

Constraints, 12(4), 429-468.

K.R. Apt (Krzysztof) and P. Zoeteweij (Peter)

January 2007
The Formal Specification Language mCRL2 In Proceedings

J.F. Groote (Jan Friso), A.H.J. Mathijssen (Aad), Y.S. Usenko (Yaroslav), M.A. Reniers (Michel) and M.J. van Weerdenburg (Muck)

January 2007
Modeling and verifying a Real-Life Industrial Session-Layer Protocol in $\mu$CRL2. Tech Report

Y.S. Usenko (Yaroslav), R. Schreurs (Rene), S. ten Hoedt (Stefan) and M.C.J.D. van Eekelen (Marko)

January 2007
Distributed Extended Beam Search for Quantitative Model Checking In Proceedings

A.J. Wijs (Anton) and B. Lisser (Bert)

January 2007
Achieving Discrete Relative Timing with Untimed Process Algebra In Proceedings

A.J. Wijs (Anton)

January 2007
Operational and Epistemic Approaches to Protocol Analysis: Bridging the Gap In Proceedings

F. Dechesne (Francien), M.R. Mousavi and S.-M. Orzan (Simona-Mihaela)

January 2007
Nuovo DRM paradiso: Towards a verified fair DRM scheme In Proceedings

M.T. Dashti (Mohammad), S.K. Nair and H.L. Jonker (Hugo)

January 2007
A hybrid PKI-IBC based ephemerizer system In Proceedings

S.K. Nair, M.T. Dashti (Mohammad), B. Crispo and A.S. Tanenbaum (Andrew)

January 2007
A certified email protocol using key chains In Proceedings

J.G. Cederquist, M.T. Dashti (Mohammad) and S. Mauw (Sjouke)

January 2007
Pruning state spaces with extended beam search In Proceedings

M.T. Dashti (Mohammad) and A.J. Wijs (Anton)

January 2007
Two new variants of the manifold-mapping technique Article

Compel, 26(2), 334-344.

D. Echeverria (David)

January 2007
Efficient computation of steady water flow with waves In Proceedings

J. Wackers (Jeroen) and B. Koren (Barry)

January 2007
Development of the discrete adjoint for a 3D unstructured Euler solver In Proceedings

G. Carpentieri (Giampietro), B. Koren (Barry) and M.J.L. van Tooren

January 2007
A novel physical model and computational method for non-isentropic, compressible two-fluid flow In Proceedings

J. Wackers (Jeroen) and B. Koren (Barry)

January 2007
Prize winning two-fluid flow method, Best MSc work 2006 Article

Leonardo Times, 44-45.

J. Naber (Jorick) and B. Koren (Barry)

January 2007
An improved front tracking method for the Euler equations Article

Journal of Computational Physics, 224(2), 712-728.

J.A.S. Witteveen (Jeroen), B. Koren (Barry) and P.G. Bakker

January 2007
Modifying a sports car's aerodynamics while preserving its aesthetic appearance, Spyker's C8 Spyder Article

Leonardo Times, 12-13.

D. van der Werff, G. Adriaensen, B. Koren (Barry) and M.J.L. van Tooren

January 2007
A fast method for pricing early-exercise options with the FFT In Proceedings

C.W. Oosterlee (Kees), R. Lord, F. Fang and F. Bervoets

January 2007
Multigrid preconditioners for Bi-CGSTAB for the sparse-grid solution of high-dimensional anisotropic diffusion equation In Proceedings

H. bin Zubair (Hisham), C.C.W. Leentvaar and C.W. Oosterlee (Kees)

January 2007
An efficient multigrid solver for a reformulated version of the poroelasticity system Article

Computer Methods in Applied Mechanics and Engineering, 1447-1457.

C.W. Oosterlee (Kees), F.J. Gaspar (Francisco), F.J. Lisbona and P.N. Vabishchevich

January 2007
On American options under the Variance Gamma process Article

Applied Mathematical Finance, 14(2), 131-152.

A. Almendral and C.W. Oosterlee (Kees)

January 2007
A parallel multigrid-based preconditioner for the 3D heterogeneous high-frequency Helmholtz equation Article

Journal of Computational Physics, 431-448.

C.D. Riyanti, A. Kononov, Y.A. Erlangga, C. Vuik, C.W. Oosterlee (Kees), R.-E. Plessix and W.A. Mulder

January 2007
Accurate evaluation of European and American options under the CGMY process Article

SIAM Journal on Scientific Computing, 93-117.

A. Almendral and C.W. Oosterlee (Kees)

January 2007
Efficient d-multigrid preconditioners for sparse-grid solution of high-dimensional partial differential equations Article

International Journal of Computer Mathematics, 1129-1147.

H. bin Zubair (Hisham), C.C.W. Leentvaar and C.W. Oosterlee (Kees)

January 2007
Multigrid for high-dimensional elliptic partial differential equations on non-equidistant grids Article

SIAM Journal on Scientific Computing, 1613-1636.

H. bin Zubair (Hisham), C.W. Oosterlee (Kees) and R. Wienands

January 2007
Higher order saddlepoint approximations in the Vasicek portfolio credit loss model Article

Journal of Computational Finance, 11(1), 93-113.

X. Huang, C.W. Oosterlee (Kees) and J.A.M. van der Weide (Hans)

January 2007
Integrality gaps of semidefinite programs for Vertex Cover and relations to ell$_1$ embeddability of negative type metrics In Proceedings

H. Hatami, A. Magen and V. Markakis (Vangelis)

January 2007
Applications of Algorithmic Information Theory Tech Report

M. Li (Ming) and P.M.B. Vitányi (Paul)

January 2007
Andrey Nikolaevich Kolmogorov Tech Report

P.M.B. Vitányi (Paul)

January 2007
Algorithmic Probability Tech Report

M. Hutter, S. Legg and P.M.B. Vitányi (Paul)

January 2007
A simple family of nonadditive quantum codes Article

Physical Review Letters, 130505-last.

G.S.B. Smith (Graeme), J. Smolin and S.D.C. Wehner (Stephanie)

January 2007
Entropic uncertainty relations and locking: tight bounds for mutually unbiased bases Article

Physical Review A: Atomic, Molecular and Optical Physics, 022319-last.

S.D.C. Wehner (Stephanie) and M.A. Ballester Sanches (Manuel Alberto)

January 2007
Control of discrete-event systems with modular or distributed structure Article

Theoretical Computer Science, 199-226.

J. Komenda and J.H. van Schuppen (Jan)

January 2007
Observers for linear positive systems Article

Linear Algebra and its Applications, 571-607.

H.M. Härdin (Hanna) and J.H. van Schuppen (Jan)

January 2007
The Sisyphus Continuous Integration System In Proceedings

T. van der Storm (Tijs)

January 2007
Generic Feature-Based Composition In Proceedings

T. van der Storm (Tijs)

January 2007
Stability Analysis of Switched-Linear Hybrid Systems In Proceedings

L. Sella (Lorenzo) and P.J. Collins (Pieter)

January 2007
Binary Change Set Composition In Proceedings

T. van der Storm (Tijs)

January 2007

Previous

Next

Available Years