Centrum Wiskunde & Informatica: Centrum Wiskunde & Informatica

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
Database cracking In Proceedings

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

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), Rene Schreurs, 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
IMEX extensions of linear multistep methods with general monotonicity Article

Journal of Computational Physics, 225(2), 2016-2042.

W. Hundsdorfer (Willem) and S.J. Ruuth

January 2007
A Fast Method for Learning Non-linear Preferences Online Using Anonymous Negotiation Data Book Chapter

D.J.A. Somefun (Koye) and J.A. La Poutré (Han)

January 2007
High Entropy Random Selection Protocols In Proceedings

H.M. Buhrman (Harry), M. Christandl (Matthias), M. Koucký (Michal), Z. Lotker (Zvi) and B. Patt-Shamir

January 2007
Partitioning multi-dimensional sets in a small number of ``uniform'' parts Article

European Journal of Combinatorics, 134-144.

A. Noga, I. Newman, G. Tardos, A. Shen (Alexander) and N.K. Vereshchagin (Nikolay Konstantinovich)

January 2007
Prefix Reversals on Binary and Ternary Strings In Proceedings

C.A.J. Hurkens (Cor), L.J.J. van Iersel (Leo), J.C.M. Keijsper, S.M. Kelk (Steven), L. Stougie (Leen) and J.T. Tromp (John)

January 2007
Perfect Parallel Repetition Theorem for Quantum XOR Proof Systems In Proceedings

R.E. Cleve (Richard), W. Slofstra (William), F.P. Unger (Falk) and S. Upadhyay

January 2007
Computational Depth of Infinite Strings Revisited In Proceedings

L.F. Antunes (Luis), A. Costa, A. Matos and P.M.B. Vitányi (Paul)

January 2007
The power and perils of MDL In Proceedings

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

January 2007
Thinning and the Law of Small Numbers In Proceedings

P. Harremoës (Peter), O. Johnson (Oliver) and I. Kontoyiannis (Ioannis)

January 2007
Projections Maximizing Tsallis Entropy In Proceedings

P. Harremoës (Peter)

January 2007
Switching between Predictors with an Application in Density Estimation In Proceedings

T.A.L. van Erven (Tim), S. de Rooij (Steven) and P.D. Grünwald (Peter)

January 2007
On Social Learning and Robust Evolutionary Algorithm Design in the Cournot Oligopoly Game Article

Computational Intelligence, 23(2), 162-175.

F. Alkemade (Floortje), J.A. La Poutré (Han) and H.M. Amman (Hans)

January 2007
DEMO --- A Demo of Epistemic Modelling In Proceedings

D.J.N. van Eijck (Jan)

January 2007
Natural Logic for Natural Language In Proceedings

D.J.N. van Eijck (Jan)

January 2007
The role of semismooth numbers in factoring large numbers (extended abstract) In Proceedings

W.H. Ekkelkamp (Willemien)

January 2007
Chosen-Prefix Collisions for MD5 and Colliding X.509 Certificates for Different Identities In Proceedings

M.M.J. Stevens (Marc), A.K. Lenstra (Arjen) and B. de Weger (Benne)

January 2007
Secure Computation from Random Error Correcting Codes In Proceedings

H. Chen (Helen), R.J.F. Cramer (Ronald), S. Goldwasser, R. de Haan (Robbert) and V. Vaikuntanathan

January 2007
Atomic Secure Multi-Party Multiplication with Low Communication In Proceedings

R.J.F. Cramer (Ronald), I.B. Damgård (Ivan) and R. de Haan (Robbert)

January 2007
Secure Linear Algebra Using Linearly Recurrent Sequences In Proceedings

E. Kiltz (Eike), P. Mohassel, E. Weinreb (Enav) and M. Franklin

January 2007
Ch. VI.2 Programmatuur Book Chapter

A. van Deursen (Arie) and P. Klint (Paul)

January 2007
ATerms for manipulation and exchange of structured data: It's all about sharing Article

Information and Software Technology, 49(1), 55-64.

M.G.J. van den Brand (Mark) and P. Klint (Paul)

January 2007
About "trivial" software patents: The IsNot case Article

Science of Computer Programming, 16(3), 264-285.

J.A. Bergstra (Jan) and P. Klint (Paul)

January 2007
Epistemic Verification of Anonymity In Proceedings

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

January 2007
A Note on Secure Computation of the Moore-Penrose Pseudoinverse and Its Application to Secure Linear Algebra In Proceedings

R.J.F. Cramer (Ronald), E. Kiltz (Eike) and C. Padró (Carles)

January 2007
Generalized Key Delegation for Hierarchical Identity-Based Encryption In Proceedings

M. Abdalla, E. Kiltz (Eike) and G. Neven

January 2007
Chosen-Ciphertext Secure Key-Encapsulation Based on Gap Hashed Diffie-Hellman In Proceedings

E. Kiltz (Eike)

January 2007
Non-Uniform Crosstalk Reduction for Dynamic Scenes In Proceedings

F.A. Smit (Ferdi), R. van Liere (Robert) and B. Fröhlich (Bernd)

January 2007
Widget Manipulation Revisited: a Case Study in Modeling Interactions Between Experimental Conditions In Proceedings

J.-B. Martens, R. van Liere (Robert) and A.J.F. Kok (Arjan)

January 2007
Three Extensions to Subtractive Crosstalk Reduction In Proceedings

F.A. Smit (Ferdi), R. van Liere (Robert) and B. Fröhlich (Bernd)

January 2007
The design and implementation of a VR-architecture for smooth motion In Proceedings

F.A. Smit (Ferdi), R. van Liere (Robert) and B. Fröhlich (Bernd)

January 2007
Secure Hybrid Encryption from Weakened Key Encapsulation In Proceedings

D. Hofheinz (Dennis) and E. Kiltz (Eike)

January 2007
Obfuscation for Cryptographic Purposes In Proceedings

D. Hofheinz (Dennis), J. Malone-Lee and M. Stam

January 2007
Bounded CCA2-Secure Encryption In Proceedings

R.J.F. Cramer (Ronald), G. Hanaoka, D. Hofheinz (Dennis), H. Imai, E. Kiltz (Eike), R. Pass, A. Shelat and V. Vaikuntanathan

January 2007
Parametric Visualization of High Resolution Correlated Multi-spectral Features Using PC In Proceedings

A. Broersen (Alexander), R. van Liere (Robert) and R.M.A. Heeren (Ron)

January 2007

Available Years

Publications from 2017

MoModel study of DC ignition of fluorescent tubes Article

A Note on Iterated Splitting Schemes Article

Wi-Fi Walkman Book Chapter

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

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

06472 Executive Summary - XQuery Implementation Paradigms In Proceedings

06472 Abstracts Collection - XQuery Implementation Paradigms In Proceedings

Evaluation of Neighbourhood Selection Methods in Decentralized Recommendation Systems In Proceedings

An Epidemic-based P2P Recommender System In Proceedings

Database cracking In Proceedings

Integrating XQuery and P2P in MonetDB/XQuery* In Proceedings

A parameterised search system In Proceedings

Updating a cracked database In Proceedings

A Query Language for a Data Refinery Cell In Proceedings

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

Cooperative Scans: Dynamic Bandwidth Sharing in a DBMS In Proceedings

Continuous RDF Query Processing over DHTs In Proceedings

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

Report on the INEX 2007 Multimedia Track In Proceedings

The CSIRO enterprise search test collection Article

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

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

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

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

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

Relative Strength of Strategy Elimination Procedures Article

Post your articles in ArXiv:Math and CoRR! Article

The many faces of rationalizability Article

An Analysis of Arithmetic Constraints on Integer Intervals Article

The Formal Specification Language mCRL2 In Proceedings

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

Distributed Extended Beam Search for Quantitative Model Checking In Proceedings

Achieving Discrete Relative Timing with Untimed Process Algebra In Proceedings

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

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

A hybrid PKI-IBC based ephemerizer system In Proceedings

A certified email protocol using key chains In Proceedings

Pruning state spaces with extended beam search In Proceedings

Two new variants of the manifold-mapping technique Article

Efficient computation of steady water flow with waves In Proceedings

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

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

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

An improved front tracking method for the Euler equations Article

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

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

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

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

On American options under the Variance Gamma process Article

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

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

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

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

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

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

Applications of Algorithmic Information Theory Tech Report

Andrey Nikolaevich Kolmogorov Tech Report

Algorithmic Probability Tech Report

A simple family of nonadditive quantum codes Article

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

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

Observers for linear positive systems Article

The Sisyphus Continuous Integration System In Proceedings

Generic Feature-Based Composition In Proceedings

Stability Analysis of Switched-Linear Hybrid Systems In Proceedings

Binary Change Set Composition In Proceedings

IMEX extensions of linear multistep methods with general monotonicity Article

A Fast Method for Learning Non-linear Preferences Online Using Anonymous Negotiation Data Book Chapter

High Entropy Random Selection Protocols In Proceedings

Partitioning multi-dimensional sets in a small number of ``uniform'' parts Article

Prefix Reversals on Binary and Ternary Strings In Proceedings

Perfect Parallel Repetition Theorem for Quantum XOR Proof Systems In Proceedings

Computational Depth of Infinite Strings Revisited In Proceedings

The power and perils of MDL In Proceedings

Thinning and the Law of Small Numbers In Proceedings

Projections Maximizing Tsallis Entropy In Proceedings

Switching between Predictors with an Application in Density Estimation In Proceedings

On Social Learning and Robust Evolutionary Algorithm Design in the Cournot Oligopoly Game Article

DEMO --- A Demo of Epistemic Modelling In Proceedings