Truth-as-Simulation: towards a coalgebraic perspective on logic and games (2008)
A. Baltag, Copyright Stichting, Mathematisch Centrum, Alexandru Baltag
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
E. Bach, J. Boyar, L. Epstein, L. M. Favrholdt, T. Jiang, ...
Tight bounds on the competitive ratio on accommodating sequences
Network Quality of Service for Multimedia Presentation Generation Systems (2007)
F. J. Cornelissen, Copyright Stichting, Mathematisch Centrum, Frank Cornelissen
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Centrum voor Wiskunde en Informatica REPORTRAPPORT (2007)
C. A. Lindley, J. R. Davis, F. Nack, L. W. Rutledge, Copyright Stichting, Mathematisch Centrum, ...
The application of rhetorical structure theory to interactive news program generation from digital archives
Programming Paradigms in an Object–Oriented Multimedia Standard (2007)
Copyright Stichting, Mathematisch Centrum, D. J. Duke, D. J. Duke, I. Herman, I. Herman
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Generalized Pickands constants (2007)
K. Debicki, Mathematisch Centrum (smc, The Dutch Foundation, Copyright Stichting, Mathematisch Centrum, Krzysztof Debicki
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
ABSTRACT Random Generation of Dags for Graph Drawing (2007)
G. Melançon, M. Bousquet-mélou, Copyright Stichting, Mathematisch Centrum, I. Dutour, I. Dutour
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
High-order time-accurate schemes for parabolic singular perturbation problems with convection (2007)
L. P. Shishkin, Copyright Stichting, Mathematisch Centrum, P. W. Hemker, P. W. Hemker, G. I. Shishkin, ...
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
T. Lach, M. A. Peletier, Mathematisch Centrum (smc, The Dutch Foundation, Copyright Stichting, Mathematisch Centrum, ...
The minimum of quadratic functionals of the gradient on the
U. M. Ebert, W. Van Saarloos, L. A. Peletie, Mathematisch Centrum (smc, The Dutch Foundation, Copyright Stichting, ...
Centrum voor Wiskunde en Informatica Universal algebraic convergence in time of pulled fronts: the common mechanism for difference-differential and partial differential equation
1 Asymptotics and Numerics of Zeros of Polynomials That Are Related to Daubechies Wavelets (2007)
N. M. Temme, Copyright Stichting, Mathematisch Centrum, Nico M. Temme
Asymptotics and numerics of zeros of polynomials that are related
A timed verification of the IEEE 1394 leader election protocol (2001)
Mathematisch Centrum (smc, The Dutch Foundation, Copyright Stichting, Mathematisch Centrum, Judi Romijn
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
State-dependent M/G/1 type queueing analysis for congestion control in data networks (2001)
E. Altman, K. Avrachenkov, C. Barakat, R. Núñez Queija, Copyright Stichting, Mathematisch Centrum, ...
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Equivalence of recursive specifications in process algebra (2001)
Alban Ponse, Yaroslav S. Usenko, Issn -x, Copyright Stichting, Mathematisch Centrum, Alban Ponse, ...
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
ABSTRACT Millennium Edition (2001)
Copyright Stichting, Mathematisch Centrum, Richard P. Brent, Peter L. Montgomery
Factorizations of Cunningham numbers with bases 13 to 99: millennium edition
A particle-mesh method for the shallow water equations near geostrophic balance (2001)
J. Frank, S. Reich, Copyright Stichting, Mathematisch Centrum, Jason Frank, Sebastian Reich
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
ABSTRACT Distributing Requirements Speci cations on Basic Splice (2001)
S. M. Orzan, Issn -x, Copyright Stichting, Mathematisch Centrum, Simona Orzan
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
A Model Problem for Unsaturated Porous Media Flow with Dynamic Capillary Pressure (2001)
C. Cuesta, J. Hulshof, Copyright Stichting, Mathematisch Centrum, C. Cuesta, J. Hulshof
A model problem for unsaturated porous media flow with dynamic capillary pressure
A. Van Deursen, G. Kok, Issn -x, Copyright Stichting, ...
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Centrum voor Wiskunde en Informatica (2001)
Copyright Stichting, Mathematisch Centrum, Herman Te Riele
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Computer assisted manipulation of algebraic process specifications (2001)
J. F. Groote, B. Lisser, Copyright Stichting, Mathematisch Centrum, Jan Friso Groote, Bert Lisser
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Global minimization of a multivariate polynomial using matrix methods (2001)
B. Hanzon, D. Jibetean, Copyright Stichting, Mathematisch Centrum, Bernard Hanzon, Dorina Jibetean
minimization of a mutivariate polynomial using matrix methods
M. De Jonge, E. Visser, Mathematisch Centrum (smc, The Dutch Foundation, Copyright Stichting, ...
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of ERCIM, the European Research Consortium for
Grey-scale morphology based on fuzzy logic (2000)
Copyright Stichting, Mathematisch Centrum, Ting-quan Deng
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Copyright Stichting, Mathematisch Centrum
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
B. Lastdrager, B. Koren, J. G. Verwer, Copyright Stichting, Mathematisch Centrum, Boris Lastdrager, ...
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
W. J. Fokkink, S. P. Luttik, Issn -x, Copyright Stichting, Mathematisch Centrum, Wan Fokkink, ...
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
M. S. Marshall, I. Herman, G. Melançon, Copyright Stichting, Mathematisch Centrum, M. Scott Marshall, ...
Automatic generation of interactive overview diagrams for the
CharToon 2.1 Extensions (2000)
Expression Repertoire And, Zs. M. Ruttkay, Mathematisch Centrum (smc, The Dutch Foundation, Copyright Stichting, ...
CharToon is a modular system to design and animate 2 1 / 2 D faces and other graphical objects. This report contains the extensions made for version 2.1, effecting only the Animation Editor module....
Outliers detection and localisation with wavelet based multifractal formalism (2000)
Z. R. Struzik, Copyright Stichting, Mathematisch Centrum, Zbigniew R. Struzik, Arno Siebes
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Centrum voor Wiskunde en Informatica (2000)
Reportrapport Chartoon Extensions, Zs. M. Ruttkay, Copyright Stichting, Mathematisch Centrum, Zsófia Ruttkay, ...
D faces and other graphical objects. This report contains the extensions made for version 2.1, effecting only the Animation Editor module. The new features allow the re-usage of a repertoire of...
Centrum voor Wiskunde en Informatica (2000)
Reportrapport Exploring The, Zs. M. Ruttkay, Copyright Stichting, Mathematisch Centrum, J. Hendrix, J. Hendrix, ...
The current state of semi-automated facial animation demands better understanding of how facial expressions are produced by real people. As a first step of a series of empirical studies, we...
ABSTRACT Random Generation of Dags for Graph Drawing (2000)
G. Melancon, I. Dutour, M. Bousquet-melou, Copyright Stichting, Mathematisch Centrum, G. Melancon, ...
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
L. W. Rutledge, A. Eliëns, Copyright Stichting, Mathematisch Centrum, Lloyd Rutledge, ...
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Performance criteria for graph clustering and markov cluster experiments (2000)
S. Van Dongen, Copyright Stichting, Mathematisch Centrum, Stijn Van Dongen
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Centrum voor Wiskunde en Informatica REPORTRAPPORT Report SEN-R9903 (1999)
Etienne De Klerk, Hans Van Maaren, Joost P. Warners, Issn -x, Copyright Stichting, Mathematisch Centrum
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Semantics of Programming Languages: (1999)
Jan Heering, Paul Klint, Copyright Stichting, Mathematisch Centrum, Jan Heering, Paul Klint
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Accuracy and stability of splitting with stabilizing corrections (1999)
W. Hundsdorfer, Copyright Stichting, Mathematisch Centrum, Willem Hundsdorfer
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Splitting Methods for Partial Volterra Integro-Differential Equations (1999)
H. Brunner, B. P. Sommeijer, Copyright Stichting, Mathematisch Centrum, H. Brunner
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
S. P. Luttik, Copyright Stichting, Mathematisch Centrum, S. P. Luttik
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Research Issues in the Renovation of Legacy Systems (1999)
Issn -x, Mathematisch Centrum (smc, The Dutch Foundation, Copyright Stichting, Mathematisch Centrum, Arie Van Deursen, ...
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
ABSTRACT Understanding COBOL Systems using Inferred Types (1999)
Arie Van Deursen, Leon Moonen, Issn -x, Mathematisch Centrum (smc, The Dutch Foundation, Copyright Stichting, ...
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
S. P. Luttik, Copyright Stichting, Mathematisch Centrum, S. P. Luttik
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
ABSTRACT Size Fair and Homologous Tree Crossovers (1999)
W. B. Langdon, Issn -x, Copyright Stichting, Mathematisch Centrum, W. B. Langdon
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
The logic of public announcements, common knowledge, and private suspicions (1998)
A. Baltag, L. Moss, S. Slawek, Copyright Stichting, Mathematisch Centrum, Alexandru Baltag, ...
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Computational Sieving Applied to some Classical Number-Theoretic (1998)
Copyright Stichting, Mathematisch Centrum, Herman Te Riele
Computational sieving applied to some classical number-theoretic problems H.J.J. te Riele Modelling, Analysis and Simulation (MAS)
A Distributed Blackboard Architecture for Interactive Data Visualization (1998)
R. Van Liere, J. Harkes, W. De Leeuw, Copyright Stichting, Mathematisch Centrum, Robert Van Liere, ...
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Exploiting symmetry in protocol testing (1998)
J. G. Springintveld, Issn -x, Copyright Stichting, Mathematisch Centrum, Judi Romijn, ...
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Asymptotic density in a coalescing random walk model (1998)
H. Kesten, Mathematisch Centrum (smc, The Dutch Foundation, Copyright Stichting, Mathematisch Centrum, Harry Kesten, ...
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
A note on Coinduction and Weak Bisimilarity for While Programs (1998)
Issn -x, Mathematisch Centrum (smc, The Dutch Foundation, Copyright Stichting, Mathematisch Centrum, ...
An illustration of coinduction in terms of a notion of weak bisimilarity is presented. First, an operational semantics O for while programs is defined in terms of a final automaton. It identifies any...
J. F. Groote, S. P. Luttik, Copyright Stichting, Mathematisch Centrum
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
ABSTRACT On Optimal Pipeline Processing in Parallel Query Execution (1998)
S. Manegold, F. Waas, M. L. Kersten, Copyright Stichting, Mathematisch Centrum, Stefan Manegold, ...
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
ABSTRACT Type Inference for COBOL Systems ∗ (1998)
A. Van Deursen, L. Moonen, Issn -x, Mathematisch Centrum (smc, The Dutch Foundation, Copyright Stichting, ...
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
ABSTRACT Dynamic Reasoning Without Variables (1998)
Copyright Stichting, Mathematisch Centrum, Jan Van Eijck
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Basic theorems for parallel processes in timed CRL (1998)
J. F. Groote, J. Van Wamel, Issn -x, Copyright Stichting, Mathematisch Centrum, Jan Friso Groote, ...
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Copyright Stichting, Mathematisch Centrum, D. J. Duke, D. J. Duke, I. Herman, I. Herman
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
ABSTRACT Wavelet Transform in Similarity Paradigm I (1998)
Z. R. Struzik, Copyright Stichting, Mathematisch Centrum, Zbigniew R. Struzik, Arno Siebes
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
ABSTRACT Axiomatising Dynamic Logics for Anaphora (1998)
Copyright Stichting, Mathematisch Centrum, Jan Van Eijck
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
ABSTRACT Manual of the TYPO Type Checker (1998)
Copyright Stichting, Mathematisch Centrum, H. De Nivelle
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
A Mathematical Model for the Dissolution of Particles in Multi-Component Alloys ABSTRACT (1998)
F. J. Vermolen, C. Vuik, Copyright Stichting, Mathematisch Centrum, Fred Vermolen, Kees Vuik
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
ABSTRACT Bisimilarity in Term Graph Rewriting (1998)
Z. M. Ariola, J. W. Klop, D. Plump, Issn -x, Copyright Stichting, Mathematisch Centrum, ...
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Copyright Stichting, Mathematisch Centrum
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Mathematisch Centrum (smc, The Dutch Foundation, Copyright Stichting, Mathematisch Centrum, Weak Bisimilarity
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
ABSTRACT Formulas as Programs (1998)
Copyright Stichting, Mathematisch Centrum, Krzysztof R. Apt, Marc Bezem
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
ABSTRACT Metrics for Classifying Heterogeneous Objects (1998)
M. Bezem, K. Blok, M. Keijzer, Copyright Stichting, Mathematisch Centrum, Marc Bezem, ...
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
ABSTRACT Speci cation of Components in a Proposition Solver (1997)
B. Lisser, Issn -x, Copyright Stichting, Mathematisch Centrum, Bert Lisser, ...
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Compilation of Left-Linear Rewrite Systems via Minimal Rewrite Systems (1997)
W. J. Fokkink, H. R. Walters, Mathematisch Centrum (smc, The Dutch Foundation, Copyright Stichting, ...
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Bringing computational steering to the user (1997)
R. Van Liere, J. D. Mulder, Copyright Stichting, Mathematisch Centrum, ...
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
K. E. Shahroudi, Copyright Stichting, Mathematisch Centrum, ...
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
to the Standard Reference Model for Intelligent Multimedia Presentation Systems (1997)
D. J. Duke, I. Herman, T. Rist, M. Wilson, Copyright Stichting, Mathematisch Centrum, ...
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Validating year 2000 compliance (1997)
A. Van Deursen, P. Klint, A. Sellink, Issn -x, Mathematisch Centrum (smc, The Dutch Foundation, ...
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Hypothetical-Reasoning and Radical Non-constituent Coordination in Categorial Logic ABSTRACT (1997)
N. Francez, Copyright Stichting, Mathematisch Centrum, Nissim Francez
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
ABSTRACT Modeling of Genetic Algorithms with a Finite Population (1997)
Copyright Stichting, Mathematisch Centrum
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
ABSTRACT Steering Smog Prediction (1997)
R. Van Liere, Issn -x, Copyright Stichting, Mathematisch Centrum, Robert Van Liere, ...
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Industrial Applications of ASF+SDF (1996)
Mark Van Den, A. Van Deursen, P. Klint, A. S. Klusener, ...
In recent years, a number of Dutch companies have used the algebraic specification formalism ASF+SDF. Bank MeesPierson has specified a language for describing interest rate products, their...
Continuation of stationary solutions to evolution problems in CONTENT (1996)
V.V. Levitin, A. R. Skovoroda, Copyright Stichting, Mathematisch Centrum, Yu. A. Kuznetsov, Yu. A. Kuznetsov
A numerical algorithm for continuation of stationary solutions to nonlinear evolution problems representable in the form u t = F (uxx ; ux ; u; x; ff); 0 ! x ! 1; f 0 (ux ; u; ff) = 0; x = 0; f 1 (ux...
Tree--tree matrices and other combinatorial problems from taxonomy (1995)
M. Hazewinkel, Copyright Stichting, Mathematisch Centrum, Michiel Hazewinkel
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
M. Hazewinkel, Copyright Stichting, Mathematisch Centrum, Michiel Hazewinkel
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Towards and infinitary logic of domains: Abramsky logic for transition systems (1995)
M. M. Bonsangue, J. N. Kok, Issn -x, Copyright Stichting, Mathematisch Centrum, Marcello M. Bonsangue, ...
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
A complete equational axiomatization for mpa with string iteration (1995)
L. Aceto, J. F. Groote, Copyright Stichting, Mathematisch Centrum, Luca Aceto, Jan Friso Groote
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
F. Arbab, Copyright Stichting, Mathematisch Centrum, C. L. Blom, C. L. Blom, ...
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of