Centrum Wiskunde & Informatica: Centrum Wiskunde & Informatica

A constrained optimization problem for a processor sharing queue Article

Naval Research Logistics, 40(5), 719-731.

P.R. de Waal

January 1993
Abstract multiplication semigroups Article

Mathematische Zeitschrift, 213(1), 1-15.

J.M.A.M. van Neerven (Jan)

January 1993
Local uniform grid refinement and systems of coupled partial differential equations Article

Applied Numerical Mathematics, 12(4), 331-355.

R.A. Trompert (Ronald)

January 1993
Modular properties of conditional term rewriting systems. Logic in computer science Article

Information and Computation, 104(1), 110-158.

A. Middeldorp

January 1993
Induced circuits in graphs on surfaces Book Chapter

A. Schrijver (Lex)

January 1993
Discrete wavelets and multiresolution analysis Book Chapter

H.J.A.M. Heijmans (Henk)

January 1993
Wavelets: first steps Book Chapter

N.M. Temme (Nico)

January 1993
Graphs on the torus and geometry of numbers Article

Journal of Combinatorial Theory - Series B, 58(1), 147-158.

A. Schrijver (Lex)

January 1993
Hyperasymptotics and the Stokes' phenomenon Article

Proceedings of the Royal Society of Edinburgh A, 123(4), 731-743.

A.B. Olde Daalhuis

January 1993
Computing with Daubechies' wavelets Book Chapter

A.B. Olde Daalhuis

January 1993
Preconditioning in implicit initial-value problem methods on parallel computers Article

Advances in Computational Mathematics, 1(1), 39-60.

P.J. van der Houwen (Piet)

January 1993
Comparative transition system semantics Book Chapter

R.T.P. Fernando (Tim)

January 1993
Image compression using wavelets Book Chapter

P. F. M. Nacken (Peter)

January 1993
Explicit, high-order Runge-Kutta-Nyström methods for parallel computers In Proceedings

B.P. Sommeijer (Ben)

January 1993
An elimination theorem for regular behaviours with integration Book Chapter

W.J. Fokkink (Wan)

January 1993
Multigrid and advection Book Chapter

P.M. de Zeeuw (Paul)

January 1993
A robust upwind discretization method for advection, diffusion and source terms Book Chapter

B. Koren (Barry)

January 1993
Elements of topological dynamics Book

J. de Vries (Jan)

January 1993
Applying free partially commutative groups to paths and circuits in directed graphs on surfaces Book Chapter

A. Schrijver (Lex)

January 1993
A characterization of stable models using a non-monotonic operator In Proceedings

F. J. M. Teusink (Frank)

January 1993
A proof procedure for extended logic programs Book Chapter

F. J. M. Teusink (Frank)

January 1993
Wavelets understand fractals Book Chapter

M. Hazewinkel (Michiel)

January 1993
The Homing Cursor: A Tool for Three-Dimensional Chromosome Analysis Article

Cytometry, 14(5), 501-509.

A. Houtsmuller, A.W.M. Smeulders (Arnold), H.T.M. van der Voort, J. Oud and N. Nanninga

January 1993
Method for Counting Mitoses by Image Processing in Feulgen Stained Breast Cancer Sections Article

Cytometry, 14(3), 241-250.

T.K. ten Kate, J.A.M. Belien, A.W.M. Smeulders (Arnold) and J.P.A. Baak

January 1993
Digital Curvature Estimation Article

Computer Vision and Image Understanding, 58(3), 366-382.

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

January 1993
Graph morphology in image analysis Book Chapter

H.J.A.M. Heijmans (Henk) and L. Vincent

January 1993
A two-machine repair model with variable repair rate Article

Naval Research Logistics, 40(4), 495-523.

F.A. van der Duyn Schouten and P. Wartenhorst

January 1993
An infinitary Church-Rosser property for noncollapsing orthogonal term rewriting systems Book Chapter

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

January 1993
Event structures and orthogonal term graph rewriting Book Chapter

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

January 1993
The adequacy of term graph rewriting for simulating term rewriting Book Chapter

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

January 1993
The saturating contact rate in marriage- and epidemic models Article

Journal of Mathematical Biology, 31(5), 529-539.

J.A.P. Heesterbeek (Hans) and J.A.J. Metz

January 1993
Stochastic scheduling games with Markov decision arrival processes. Pursuit-evasion differential games, III Article

Computers & Mathematics with Applications, 26(6), 141-148.

E. Altman and G.M. Koole (Ger)

January 1993
Cardiac magnetic resonance imaging by retrospective gating: mathematical modelling and reconstruction algorithms Article

European Journal of Applied Mathematics, 4(3), 241-270.

J.B.T.M. Roerdink (Jos) and M. Zwaan

January 1993
Compositional analysis for concurrent constraint programming In Proceedings

M. Falaschi, M. Gabbrielli, K. Marriott and C. Palamidessi (Catuscia)

January 1993
On the unification free Prolog programs In Proceedings

K.R. Apt (Krzysztof) and S. Etalle (Sandro)

January 1993
Parallel Jacobi iteration in implicit step-by-step methods Book Chapter

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

January 1993
Authoring multimedia in the CMIF environment Presentation

L. Hardman (Lynda), G. van Rossum (Guido) and D.C.A. Bulterman (Dick)

January 1993
A distributed approach to retrieving JPEG pictures in portable hypermedia documents In Proceedings

D.C.A. Bulterman (Dick) and D.T. Winter (Dik)

January 1993
CMIFed: A presentation environment for portable hypermedia documents In Proceedings

G. van Rossum (Guido), A.J. Jansen (Jack), K.S. Mullender (Sjoerd) and D.C.A. Bulterman (Dick)

January 1993
Structured multimedia authoring In Proceedings

L. Hardman (Lynda), G. van Rossum (Guido) and D.C.A. Bulterman (Dick)

January 1993
Specification and support of adaptable networked multimedia Article

ACM Multimedia Systems Journal, 1(2), 68-76.

D.C.A. Bulterman (Dick)

January 1993
Implementing a multimedia conferencing tool - experiences Lecture

A.J. Jansen (Jack)

January 1993
Links in hypermedia: The requirement for context In Proceedings

L. Hardman (Lynda), D.C.A. Bulterman (Dick) and G. van Rossum (Guido)

January 1993
Simple algorithms for Steiner trees and paths packing problems in planar graphs Article

CWI Quarterly, 6(3), 219-240.

D. Wagner

January 1993
A Difference Engine for Images with Applications to Wavelet Decompression In Proceedings

E.H. Blake (Edwin) and A.A.M. Kuijk (Fons)

January 1993
A Distributed Approach to Retrieving JPEG Pictures in Portable Hypermedia Documents Book Chapter

D.C.A. Bulterman (Dick) and D.T. Winter (Dik)

January 1993
Specification and Support of Adaptable Networked Multimedia Article

Multimedia Systems, 1(2), 68-76.

D.C.A. Bulterman (Dick)

January 1993
Fully abstract models for concurrent languages Dissertation

Computer Security

E. Horita

January 1993
Properties of the miss ratio for a 2-level storage model with LRU or FIFO replacement strategy and independent references Article

IEEE Transactions on Computers, 508-512.

J. van den Berg (Rob) and D. Towsley

January 1993
Runge-Kutta methods and local uniform grid refinement Article

Mathematics of Computation, 60(202), 591-616.

R.A. Trompert (Ronald) and J.G. Verwer (Jan)

January 1993
Analysis of parallel diagonally implicit iteration of Runge-Kutta methods In Proceedings

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

January 1993
Analysis of the implicit Euler local uniform grid refinement method Article

SIAM Journal on Scientific Computing, 14(2), 259-278.

R.A. Trompert (Ronald) and J.G. Verwer (Jan)

January 1993
Nonlocal Lie primitive subgroups of Lie groups Article

Canadian Journal of Mathematics, 45(1), 88-103.

A.M. Cohen (Arjeh) and R.I. Griess

January 1993
Inequalities for the time constant in first-passage percolation Article

Annals of Applied Probability, 3(1), 56-80.

J. van den Berg (Rob) and H. Kesten

January 1993
Iterative defect correction and multigrid accelerated explicit time stepping schemes for the steady Euler equations Article

SIAM Journal on Scientific Computing, 14(4), 953-970.

M.H. Lallemand and B. Koren (Barry)

January 1993
Perturbing semigroups by solving Stieltjes renewal equations Article

Differential Integral Equations, 6(1), 155-181.

O. Diekmann (Odo), M. Gyllenberg and H.R. Thieme

January 1993
Disjoint cycles in directed graphs on the torus and the Klein bottle Article

Journal of Combinatorial Theory - Series B, 58(1), 40-45.

G. Ding, A. Schrijver (Lex) and P.D. Seymour (Paul)

January 1993
An $M/G/1$ queue with customer collection Article

Communications in Statistics. Stochastic Models, 9(3), 341-371.

S.C. Borst (Sem), O.J. Boxma (Onno) and M.B. Combé (Marco)

January 1993
Stability of parallel Volterra-Runge-Kutta methods Article

Journal of Computational and Applied Mathematics, 45(1-2), 169-180.

M.R. Crisci, E. Russo, P.J. van der Houwen (Piet) and A. Vecchio

January 1993
Input-output structure of linear differential/algebraic systems Article

IEEE Transactions on Automatic Control, 404-414.

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

January 1993
Analysis of a three-dimensional point pattern with replication Article

Journal of the Royal Statistical Society - Series C: Applied Statistics, 42(4), 641-668.

A.J. Baddeley (Adrian), R.A. Moyeed, C.V. Howard and A. Boyde

January 1993
On solving the Diophantine equation $xsp 3+ysp 3+zsp 3=k$ on a vector computer Article

Mathematics of Computation, 61(203), 235-244.

D.R. Heath-Brown, W.M. Lioen (Walter) and H.J.J. te Riele (Herman)

January 1993
On correlation calculus for multivariate martingales Article

Stochastic Processes and their Applications, 46(2), 283-299.

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

January 1993
Tight comparison bounds for the string prefix-matching problem Article

Information Processing Letters, 47(1), 51-57.

D. Breslauer (Dany), L. Colussi (Livio) and L. Toniolo (Laura)

January 1993
Cooperation in one machine scheduling Article

Mathematical Methods of Operations Research, 38(2), 113-129.

I. Curiel, R. Prasad, S.H. Tijs and B. Veltman

January 1993
Wavelets: mathematical preliminaries Book Chapter

P.W. Hemker (Piet), T.H. Koornwinder and N.M. Temme (Nico)

January 1993
Efficient comparison based string matching Article

Journal of Complexity, 9(3), 339-365.

D. Breslauer (Dany) and Z. Galil

January 1993
Semantics, orderings and recursion in the weakest precondition calculus In Proceedings

M.M. Bonsangue (Marcello) and J.N. Kok (Joost)

January 1993
Wavelet bases adapted to inhomogeneous cases Book Chapter

P.W. Hemker (Piet) and F. Plantevin

January 1993
Analysis of local uniform grid refinement In Proceedings

J.G. Verwer (Jan) and R.A. Trompert (Ronald)

January 1993
Modular specification of process algebras Article

Theoretical Computer Science, 113(2), 293-348.

R.J. van Glabbeek (Rob) and F.W. Vaandrager (Frits)

January 1993
Tight comparison bounds for the string prefix-matching problem In Proceedings

D. Breslauer (Dany), L. Colussi (Livio) and L. Toniolo (Laura)

January 1993
On the foundations of final semantics: nonstandard sets, metric spaces, partial orders In Proceedings

J.J.M.M. Rutten (Jan) and D. Turi

January 1993
An introduction to Kolmogorov complexity and its applications Book

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

January 1993
Parallel block predictor-corrector methods of Runge-Kutta type In Proceedings

P.J. van der Houwen (Piet) and Huu Cong Nguyen

January 1993
Associative storage modification machines Book Chapter

J.T. Tromp (John) and P. van Emde Boas (Peter)

January 1993
More problems in rewriting In Proceedings

N. Dershowitz (Nachum), J.-P. Jouannaud and J.W. Klop (Jan Willem)

January 1993
Combinatory reduction systems: introduction and survey. A collection of contributions in honour of Corrado Böhm on the occasion of his 70th birthday. Article

Theoretical Computer Science, 121(1-2), 279-308.

J.W. Klop (Jan Willem), V. van Oostrom (Vincent) and F. van Raamsdonk (Femke)

January 1993
Isomorphisms between predicate and state transformers In Proceedings

M.M. Bonsangue (Marcello) and J.N. Kok (Joost)

January 1993
Finding disjoint trees in planar graphs in linear time In Proceedings

B. Reed, N. Robertson (Neil), P.D. Seymour (Paul) and A. Schrijver (Lex)

January 1993
The group $L(2,61)$ embeds in the Lie group of type $Esb 8$ Article

Communications in Algebra, 21(6), 1889-1993.

A.M. Cohen (Arjeh), R.I. Griess and B. Lisser (Bert)

January 1993
Reasoning about termination of pure Prolog programs Article

Information and Computation, 106(1), 109-157.

K.R. Apt (Krzysztof) and D. Pedreschi

January 1993
The strong law of large numbers for martingales with deterministic quadratic variation Article

Stochastics Stochastics Reports, 42(1), 53-65.

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

January 1993
Geometric algorithms and combinatorial optimization Book

M. Grötschel, L. Lovász (László) and A. Schrijver (Lex)

January 1993
On optimality of regular projective estimators in semimartingale models Article

Stochastics Stochastics Reports, 43(3-4), 161-178.

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

January 1993
Approximation of parabolic PDEs with a discontinuous initial condition Article

East-West Journal of Numerical Mathematics, 1(4), 287-302.

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

January 1993
Decidability of bisimulation equivalence for processes generating context-free languages Article

Journal of the Association for Computing Machinery, 40(3), 653-682.

J.C.M. Baeten (Jos), J.A. Bergstra (Jan) and J.W. Klop (Jan Willem)

January 1993
QML: a paraconsistent default logic In Proceedings

J.F.P. van den Akker (Johan) and Y.H. Tan

January 1993
Multigrid methods for semiconductor device simulation Book

J. Molenaar (Gijs)

January 1993
Parallelism in the numerical integration of initial value problems Book

B.P. Sommeijer (Ben)

January 1993
Stochastic integrals and goodness-of-fit tests Book

A.J. Koning (Aris)

January 1993
Sojourn times in feedback and processor sharing queues Book

J.L. van den Berg (Hans)

January 1993
A Lie algebraic study of some integrable systems associated with root systems Book

J.K. Scholma

January 1993
Statistical analysis of software reliability models Book

M.C. J. van Pul (Mark)

January 1993
Moving-grid methods for time-dependent partial differential equations Book

P.A. Zegeling (Paul)

January 1993
Statistical uncertainties in posterior probabilities Book

A.W. Ambergen

January 1993
Multimedians in metric and normed spaces Book

E.R. Verheul

January 1993
The solution of a one-dimensional Stefan problem Book

C. Vuik

January 1993
Moment problems in Hilbert space with applications to magnetic resonance imaging Book

M. Zwaan

January 1993
Numerical methods for the three-dimensional shallow water equations on supercomputers Book

E.D. de Goede (Erik)

January 1993

Previous

Next

Available Years