Centrum Wiskunde & Informatica: Centrum Wiskunde & Informatica

Numerical algorithms for uniform Airy-type asymptotic expansions Article

Numerical Algorithms, 15(2), 207-225.

N.M. Temme (Nico)

January 1997
Translating logic programs into conditional rewriting systems In Proceedings

F. van Raamsdonk (Femke)

January 1997
A classification of non-liftable orders for resolution In Proceedings

H. de Nivelle

January 1997
Asymptotics and numerics of zeros of polynomials that are related to Daubechies wavelets Article

Applied and Computational Harmonic Analysis, 4(4), 414-428.

N.M. Temme (Nico)

January 1997
Outermost-fair rewriting In Proceedings

F. van Raamsdonk (Femke)

January 1997
Covering a symmetric poset by symmetric chains Article

Combinatorica, 17(3), 339-344.

T. Fleiner

January 1997
A constructive mixing condition for $2$-D Gibbs measures with random interactions Article

Annals of Probability, 25(3), 1316-1333.

J. van den Berg (Rob)

January 1997
First order analytic difference equations and integrable quantum systems Article

Journal of Mathematical Physics, 38(2), 1069-1146.

S.N.M. Ruijsenaars (Simon)

January 1997
Finite volume multigrid for $3$D-problems Book Chapter

P.W. Hemker (Piet)

January 1997
Linear systems and discontinuous dynamics In Proceedings

J.M. Schumacher (Hans)

January 1997
Supervisory control using failure semantics and partial specifications Article

IEEE Transactions on Automatic Control, 42(4), 498-510.

A.A.F. Overkamp (Ard)

January 1997
Minor-monotone graph invariants Book Chapter

A. Schrijver (Lex)

January 1997
Introduction to option pricing in a securities market II. Poisson approximation. Mathematics of finance, Part II Article

CWI Quarterly, 10(1), 65-100.

K.O. Dzhaparidze (Kacha)

January 1997
A note on bootstrapping the local time of the empirical process Article

Statistics & Decisions, 15(3), 295-300.

R. Helmers (Roelof)

January 1997
Interactive systems 1985-1996 : [compilation of papers by members of the Department of interactive systems at the Centre for Mathematics and Computer Science in Amsterdam] Book

January 1997
Discus AmicoROM : Wim Mol 40 jaar SMC/CWI : CD-ROM met vele bijdragen van collega's Miscellaneous

January 1997
PicToSeek: A Content-based Image Search Engine for the WWW In Proceedings

T. Gevers and A.W.M. Smeulders (Arnold)

January 1997
Measurement and Characterization in Vision Geometry In Proceedings

A.W.M. Smeulders (Arnold), L. Dorst and M. Worring (Marcel)

January 1997
Interactive Segmentation In Proceedings

A.W.M. Smeulders (Arnold), S. Olabariagga, R. van den Boomgaard and M. Worring (Marcel)

January 1997
From Linear to Non-Linear Reading: A Case Study to Provide Internet Access to Paper Documents In Proceedings

M. Worring (Marcel) and A.W.M. Smeulders (Arnold)

January 1997
Fast Volume Render Techniques for Interactive Analysis Article

Visual Computer, 13(8), 345-357.

J. Noordmans, A.W.M. Smeulders (Arnold) and H.T.M. van der Voort

January 1997
Combining Region Splitting and Edge Detection Through Guided Delaunay Image Subdivision In Proceedings

T. Gevers and A.W.M. Smeulders (Arnold)

January 1997
A 3-D Model for Chromatin Organisation of G1 and G2 Populations from Quantitative Confocal Image Analysis Article

Cytometry, 27(3), 201-212.

K.C. Strasters, A.W.M. Smeulders (Arnold), M. Buijs, A. Houtsmuller, H.T.M. van der Voort and N. Nanninga

January 1997
On distances between phylogenetic trees In Proceedings

B. DasGupta (Bhaskar), X. He (Xin), T. Jiang (Tao), M. Li (Ming) and J.T. Tromp (John)

January 1997
BASIS3, a data structure for $3$-dimensional sparse grids Book Chapter

P.W. Hemker (Piet) and P.M. de Zeeuw (Paul)

January 1997
Semi-coarsening in three directions for Euler-flow computations in three dimensions Book Chapter

B. Koren (Barry), P.W. Hemker (Piet) and P.M. de Zeeuw (Paul)

January 1997
On intersecting chains in Boolean algebras In Proceedings

P.L. Erdös (Péter), A. Seress and L.A. Székely

January 1997
A notion of classical pure type system (preliminary version) In Proceedings

G. Barthe, J. Hatcliff and M.H. Sørensen

January 1997
Confluent rewriting of bisimilar term graphs In Proceedings

Z.M. Ariola (Zena), J.W. Klop (Jan Willem) and D. Plump

January 1997
Diagonal crossover in genetic algorithms for numerical optimization. Evolutionary computation Article

Control and Cybernetics, 26(3), 447-465.

A.E. Eiben and C.H.M. van Kemenade (Cees)

January 1997
Domain-free pure type systems In Proceedings

G. Barthe and M.H. Sørensen

January 1997
Results on resource-bounded measure In Proceedings

H.M. Buhrman (Harry), S. Fenner and L. Fortnow (Lance)

January 1997
Termination of algebraic type systems: the syntactic approach In Proceedings

G. Barthe and F. van Raamsdonk (Femke)

January 1997
Explicit substitutions for the $lambdaDelta$-calculus In Proceedings

G. Barthe, F. Kamareddine and A. Rios

January 1997
Analysis of DNAPL infiltration in a medium with a low-permeable lens Article

Computational Geosciences, 1(2), 191-214.

M.J. de Neef and J. Molenaar (Gijs)

January 1997
Six hypotheses in search of a theorem In Proceedings

H.M. Buhrman (Harry), L. Fortnow (Lance) and L. Torenvliet (Leen)

January 1997
Euler and Navier-Stokes Solvers Using Multi-Dimensional Upwind Schemes and Multigrid Acceleration Book

H. Deconinck and B. Koren (Barry)

January 1997
Models, media and motion: Usinf the Web to support multimedia documents In Proceedings

D.C.A. Bulterman (Dick)

January 1997
Short shop schedules Article

Operations Research, 288-294.

D.P. Williamson, L.A. Hall, J.A. Hoogeveen, C.A.J. Hurkens (Cor), J.K. Lenstra (Jan Karel), S.V. Sevast'janov and D.B. Shmoys

January 1997
Local Search in Combinatorial Optimization Book

January 1997
From chaotic iteration to constraint propagation In Proceedings

K.R. Apt (Krzysztof)

January 1997
Proving Concurrent Constraint Programs Correct Article

ACM Transactions on Programming Languages and Systems, 19(5)

F.S. de Boer (Frank)

January 1997
Nonlinear multigrid for fully-implicit and high-order accurate simulation of multiphase flow in porous media Tech Report

J. Molenaar (Gijs)

January 1997
How fast the Laplace equation was solved in 1995 Article

Applied Numerical Mathematics, 24(4), 439-455.

E.F.F. Botta, K. Dekker, Y. Notay, A. van der Ploeg (Auke), C. Vuik, F.W. Wubs (Fred) and P.M. de Zeeuw (Paul)

January 1997
The use of defect correction for the solution of parabolic singular perturbation problems Article

ZAMM - Zeitschrift für angewandte Mathematik und Mechanik, 77(1), 59-74.

P.W. Hemker (Piet), G.I. Shishkin (Gregori) and L.P. Shishkina

January 1997
A remark on the Van Lieshout and Baddeley $J$-function for point processes Article

Advances in Applied Probability, 29(1), 19-25.

T. Bedford and J. van den Berg (Rob)

January 1997
An introduction to Kolmogorov complexity and its applications Book

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

January 1997
Infinitary lambda calculus Article

Theoretical Computer Science, 175(1), 93-125.

J.R. Kennaway (Richard), J.W. Klop (Jan Willem), M.R. Sleep (Ronan) and F.-J. de Vries (Fer-Jan)

January 1997
Making curves minimally crossing by Reidemeister moves Article

Journal of Combinatorial Theory - Series B, 70(1), 134-156.

M. de Graaf (Mart) and A. Schrijver (Lex)

January 1997
Decomposition of graphs on surfaces Article

Journal of Combinatorial Theory - Series B, 70(1), 157-165.

M. de Graaf (Mart) and A. Schrijver (Lex)

January 1997
Stability analysis of an odd-even-line hopscotch method for three-dimensional advection-diffusion problems Article

SIAM Journal on Numerical Analysis, 34(1), 376-388.

J.G. Verwer (Jan) and B.P. Sommeijer (Ben)

January 1997
Average-case analysis using Kolmogorov complexity Book Chapter

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

January 1997
Travelling wave behaviour of crystal dissolution in porous media flow Article

European Journal of Applied Mathematics, 8(1), 49-72.

C.J. van Duijn (Hans) and P. Knabner

January 1997
A central limit theorem for sums of correlated products Article

Statistica Neerlandica, 51(1), 23-34.

G. Hooghiemstra and M.S. Keane

January 1997
An $M/G/1$ queue with multiple types of feedback and gated vacations Article

Journal of Applied Probability, 34(3), 773-784.

O.J. Boxma (Onno)

January 1997
Parallel linear system solvers for Runge-Kutta methods. Parallel methods for ODEs Article

Advances in Computational Mathematics, 7(1-2), 157-181.

P.J. van der Houwen (Piet) and J.J.B. de Swart (Jacques)

January 1997
Waveform relaxation methods for implicit differential equations. Parallel methods for ODEs Article

Advances in Computational Mathematics, 7(1-2), 183-197.

P.J. van der Houwen (Piet) and W.A. van der Veen (Wolter)

January 1997
Realization by inspection Article

IEEE Transactions on Automatic Control, 42(9), 1257-1263.

J. Rosenthal and J.M. Schumacher (Hans)

January 1997
Small weight bases for Hamming codes In Proceedings

J.T. Tromp (John), L. Zhang (Louxin) and Y. Zhao

January 1997
Homogeneous behaviors Article

Mathematics of Control, Signals, and Systems, 10(1), 61-75.

M.S. Ravi, J. Rosenthal and J.M. Schumacher (Hans)

January 1997
A note on negative customers, $GI/G/1$ workload, and risk processes Article

Probability in the Engineering and Informational Sciences, 11(3), 305-311.

R.J. Boucherie (Richard), O.J. Boxma (Onno) and K. Sigman

January 1997
A complete Vinogradov $3$-primes theorem under the Riemann hypothesis Article

Electronic Research Announcements of the American Mathematical Society, 99-104.

J.-M. Deshouillers, G. Effinger, H.J.J. te Riele (Herman) and D. Zinoviev

January 1997
On strong laws for generalized $L$-statistics with dependent data Article

Commentationes Mathematicae Universitatis Carolinae, 38(1), 187-192.

D. Gilat and R. Helmers (Roelof)

January 1997
The iterative solution of fully implicit discretizations of three-dimensional transport models Article

Applied Numerical Mathematics, 243-256.

P.J. van der Houwen (Piet), B.P. Sommeijer (Ben) and J. Kok (Jan)

January 1997
Space localization and uniqueness of solutions of a quasilinear parabolic system arising in semiconductor theory Article

Comptes Rendus de l'Académie des Sciences - Series I - Mathematics, 325(3), 267-272.

J.I. Díaz (Jesús Ildefonso), G. Galiano and A. Jüngel

January 1997
Numerical methods in smog prediction Book

M. van Loon (Martin)

January 1997
Approximation on partially ordered sets of regular grids Article

Applied Numerical Mathematics, 25(1), 55-87.

P.W. Hemker (Piet) and C. Pflaum

January 1997
Two heads are better than two tapes Article

Journal of the ACM, 44(2), 237-256.

T. Jiang (Tao), J.I. Seiferas and P.M.B. Vitányi (Paul)

January 1997
An excursion to the Kolmogorov random strings In Proceedings

H.M. Buhrman (Harry) and E. Mayordomo

January 1997
Multigrid for steady gas dynamics problems Book Chapter

P.W. Hemker (Piet), B. Koren (Barry), W.M. Lioen (Walter), M. Nool (Margreet) and H.T.M. van der Maarel (Eric)

January 1997
Resource-bounded Kolmogorov complexity revisited In Proceedings

H.M. Buhrman (Harry) and L. Fortnow (Lance)

January 1997
Disappearing interfaces in nonlinear diffusion Article

Advances in Mathematical Sciences and Applications, 7(2), 695-710.

M. Guedda, D. Hilhorst (Danielle) and M.A. Peletier (Mark)

January 1997
Dynamic Boolean models Article

Stochastic Processes and their Applications, 69(2), 247-257.

J. van den Berg (Rob), R. Meester and D.G. White (Damien)

January 1997
Ten years LNMB : Ph.D. research and graduate courses of the Dutch Network of Operations Research Book

W.K. Klein Haneveld, O.J. Vrieze and L.C.M. Kallenberg

January 1997
Nonparametric estimation for a windowed line-segment process Book

B.J. Wijers

January 1997
Probabilistic and analytical aspects of the umbral calculus Book

A. Di Bucchianico

January 1997
Splitting methods for three-dimensional transport models with interaction terms Article

Journal of Scientific Computing, 12(3), 215-231.

P.J. van der Houwen (Piet), M. Guedda, D. Hilhorst (Danielle), M.A. Peletier (Mark) and B.P. Sommeijer (Ben)

January 1997
Probability and lattices Book

W. Vervaat and H. Holwerda

January 1997
A new world record for the special number field sieve factoring method Article

CWI Quarterly, 10(2), 105-107.

P.L. Montgomery, S.H. Cavallar (Stefania) and H.J.J. te Riele (Herman)

January 1997
The miraculous universal distribution Article

The Mathematical Intelligencer, 19(4), 7-15.

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

January 1997
Termination for a class of algorithms for constructing algebras given by generators and relations In Proceedings

M.A.A. van Leeuwen (Marc) and M. Roelofs

January 1997
On the subject reduction property for algebraic type systems In Proceedings

G. Barthe and P.-A. Melliès

January 1997
Average-case analysis via incompressibility In Proceedings

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

January 1997
Efficient and provable security amplifications In Proceedings

R.J.F. Cramer (Ronald), I.B. Damgård (Ivan) and T.P. Pedersen (Torben Pryds)

January 1997
A simple proof of the ratio ergodic theorem Article

Osaka Journal of Mathematics, 34(3), 653-657.

T. Kamae and M.S. Keane

January 1997
Vakantiecursus [Centrum voor Wiskunde en Informatica] 1997 : rekenen op het toeval Book

January 1997
Lambda calculus with explicit recursion Article

Information and Computation, 139(2), 154-233.

Z.M. Ariola (Zena) and J.W. Klop (Jan Willem)

January 1997
Euler-Chebyshev methods for integro-differential equations In Proceedings

P.J. van der Houwen (Piet) and B.P. Sommeijer (Ben)

January 1997
A numerical method with floating meshes for singularly perturbed problems with a concentrated disturbance in the initial data In Proceedings

P.W. Hemker (Piet), G.I. Shishkin (Gregori) and L.P. Shishkina

January 1997
Approximating Runge-Kutta matrices by triangular matrices Article

BIT : Numerical Mathematics, 37(2), 346-354.

W. Hoffmann (Walter) and J.J.B. de Swart (Jacques)

January 1997
Geometry of Cuts and Metrics Book

M. Deza and M. Laurent (Monique)

January 1997
On Hellinger processes for parametric families of experiments In Proceedings

K.O. Dzhaparidze (Kacha), P.J.C. Spreij (Peter) and E. Valkeila

January 1997
Parallel linear system solvers for Runge-Kutta-Nyström methods In Proceedings

P.J. van der Houwen (Piet) and E. Messina

January 1997
Jan de Witt - Elementa Curvarum Linearum Liber Primus - Geannoteerde Nederlandse vertaling Book

A.W. Grootendorst (Albert)

January 1997
Inferring a DNA sequence from erroneous copies In Proceedings

J. Kececioglu, M. Li (Ming) and J.T. Tromp (John)

January 1997
Short time behavior in de Gennes' reptation model Article

Physical Review Letters, 1592-1595.

U. Ebert (Ute), A. Baumgärtner and L. Schäfer

January 1997
Propagation and Structure of Planar Streamer Fronts Article

Physical Review E: Statistical, Nonlinear, and Soft Matter Physics, 1530-1549.

U. Ebert (Ute), W. van Saarloos and C. Caroli

January 1997
Connections between semidefinite relaxations of the max-cut and stable set problems Article

Mathematical Programming, 225-246.

M. Laurent (Monique), S. Poljak and F. Rendl (Franz)

January 1997
The real positive semidefinite completion problem for series-parallel graphs Article

Linear Algebra and its Applications, 347-366.

M. Laurent (Monique)

January 1997
Geometric Integrators for Classical Spin Systems Article

Journal of Computational Physics, 160-172.

J.E. Frank (Jason), W. Huang (Wei) and B.J. Leimkuhler (Ben)

January 1997

Previous

Next

Available Years