Publications from 2013
-
A numerical method with floating meshes for singularly perturbed problems with a concentrated disturbance in the initial data In Proceedings
January 1997 -
Approximating Runge-Kutta matrices by triangular matrices Article
BIT : Numerical Mathematics, 37(2), 346-354.January 1997 -
January 1997
-
January 1997
-
January 1997
-
January 1997
-
Inferring a DNA sequence from erroneous copies In Proceedings
January 1997 -
Short time behavior in de Gennes' reptation model Article
Physical Review Letters, 1592-1595.January 1997 -
Propagation and Structure of Planar Streamer Fronts Article
Physical Review E: Statistical, Nonlinear, and Soft Matter Physics, 1530-1549.January 1997 -
Connections between semidefinite relaxations of the max-cut and stable set problems Article
Mathematical Programming, 225-246.January 1997 -
The real positive semidefinite completion problem for series-parallel graphs Article
Linear Algebra and its Applications, 347-366.January 1997 -
Geometric Integrators for Classical Spin Systems Article
Journal of Computational Physics, 160-172.January 1997 -
January 1997
-
Standard multigrid techniques for CFD In Proceedings
January 1997 -
January 1997
-
System Design for Structured Hypermedia Generation Book Chapter
January 1997 -
Document Model Issues for Hypermedia Book Chapter
January 1997 -
Generic Hypermedia Structure and Presentation Specification In Proceedings
January 1997 -
January 1997
-
January 1997
-
Creating Adaptive Hyperdocuments for and on the Web In Proceedings
January 1997 -
FishNet: Finding and Maintaining Information on the Net In Proceedings
January 1997 -
January 1997
-
Using Dynamic Hypertext to Create Multi-Purpose Textbooks In Proceedings
January 1997 -
A framework for multi query optimization In Proceedings
January 1997 -
January 1997
-
Stability Considerations for Invariant Features in the Solution to the Inverse Fractal Problem with the Wavelet Transform In Proceedings
January 1997 -
Enriching Active Databases with Agent Technology In Proceedings
January 1997 -
Fitting the Generic Multi-Parameter Crossover Model: Towards Realistic Scaling Estimates Book Chapter
January 1997 -
January 1997
-
Region-based indexing in an image database In Proceedings
January 1997 -
Data Mining, een Introductie In Proceedings
January 1997 -
January 1997
-
Keso: Minimizing Database Interaction In Proceedings
January 1997 -
Query Optimization to Support Data Mining In Proceedings
January 1997 -
A Cellular Database System for the 21th Century In Proceedings
January 1997 -
Research and Business challanges in Data Mining Technology In Proceedings
January 1997 -
The Complexity of Transformation-Based Join Enumeration In Proceedings
January 1997 -
Data Mining Algorithmen Article
January 1997 -
January 1997
-
Standard multigrid techniques for CFD Tech Report
January 1997 -
Euler and Navier-Stokes solvers using multi-dimensional upwind schemes and multigrid acceleration Book
January 1997 -
January 1997
-
January 1997
-
Prior distributions for Bayesian image analysis In Proceedings
January 1997 -
The statistical theory of shape Article
C.G. Small in Short book reviews, 1-1.January 1997 -
On likellihoods for Markov random sets and Boolean models In Proceedings
January 1997 -
Simulation as a correct transformation of rewrite systems In Proceedings
January 1997 -
Current and emerging applications Book Chapter
January 1997 -
January 1997
-
January 1997
-
Search and imperative programming In Proceedings
January 1997 -
Index : Artificial intelligence 1997 Article
Artificial Intelligence, 1-2.January 1997 -
January 1997
-
Multigrid for steady gas dynamics problems Book Chapter
January 1997 -
Finite volume multigrid for 3D-problems Article
Euler and Navier-Stokes solvers using multi-dimensional upwind schemes and multigrid acceleration Volume 57 of Notes on numerical fluid mechanics, (H. Deconinck; B. Koren eds., 485-509.January 1997 -
January 1997
-
Nieuwjaarskaart 1997 Other
December 1996 -
Experiments in specification re-engineering Dissertation
December 1996 -
Termination of Higher-order Rewrite Systems Dissertation
December 1996 -
December 1996
-
Rare event analysis of communication networks Dissertation
December 1996 -
Cascading Style Sheets, level 1 Standard
December 1996 -
A crash course in stochastic calculus with applications to mathematical finance Article
CWI Quarterly, 9(4), 357-388.December 1996 -
No-arbitrage, change of measure and conditional Esscher transforms Article
CWI Quarterly, 9(4), 291-317.December 1996 -
Challenges in Human-Computer Interfaces: Making the Technology Serve the User Article
ACM Computing Surveys, 28(4)December 1996 -
Confluence for process verification Article
Theoretical Computer Science, 170(1-2), 47-81.December 1996 -
Topological dualities in semantics Dissertation
November 1996 -
November 1996
-
November 1996
-
On the diagonal approximation of full matrices Article
Journal of Computational and Applied Mathematics, 75(1), 35-42.November 1996 -
ANDES: Evaluating mapping strategies with synthetic programs Article
Journal of Systems Architecture, 42(5), 351-365.November 1996 -
Solving boundary value problems on composite grids with an application to combustion Dissertation
Scientific ComputingOctober 1996 -
October 1996
-
Fluid queues and regular variation Article
Performance Evaluation, 699-712.October 1996 -
Parameter estimation in dynamic systems Article
Mathematics and Computers in Simulation, 42(2-3), 135-142.October 1996 -
Logic programming and non-monotonic reasoning Dissertation
Networks and OptimizationSeptember 1996 -
Compilation of term rewriting systems Dissertation
Software EngineeringSeptember 1996 -
September 1996
-
Data flow analysis for reverse engineering Master Thesis
September 1996 -
A retrospective view on sampled-data control systems Article
CWI Quarterly, 9(3), 261-276.September 1996 -
On information structures and nonsequential stochastic control Article
CWI Quarterly, 9(3), 241-260.September 1996 -
Geometric methods in stochastic realization and system identification Article
CWI Quarterly, 9(3), 205-240.September 1996 -
Probability in the real world as a system attribute Article
CWI Quarterly, 9(3), 181-203.September 1996 -
Time series econometrics Article
CWI Quarterly, 9(3), 165-179.September 1996 -
Rekenen aan de universiteit Article
Nieuwsbrief van de vakgroep Wiskunde, 1-3.September 1996 -
August 1996
-
Explicit Parallel Two-Step Runge-Kutta-Nyström Methods Article
Computers & Mathematics with Applications, 32(3), 119-130.August 1996 -
How to share concurrent wait-free variables Article
Journal of the ACM, 43(4), 723-746.July 1996 -
Analyse van beelden en andere ruimtelijke data Article
De Waaier, 1-5.July 1996 -
Communication, synchronization and fault tolerance Dissertation
Quantum Computing and Advanced System ResearchJune 1996 -
Numerical methods in smog prediction Dissertation
June 1996 -
June 1996
-
Scheduling complete intrees on two uniform processors with communication delays Article
Information Processing Letters, 58(5), 255-263.June 1996 -
May 1996
-
Confluence and normalisation for higher-order rewriting Dissertation
Specification and Analysis of Embedded SystemsMay 1996 -
April 1996
-
March 1996
-
March 1996
-
March 1996