Publications from 2083

A relativistic theory of the R wave cutt-of Article

S.S. Sazhin and N.M. Temme (Nico)

R wave propagation near the cut-off frequency Article

S.S. Sazhin and N.M. Temme (Nico)

Modularity in many-sorted term rewriting systems Master Thesis

J.C. van de Pol (Jaco)

Preface: Proceedings of the joint international conference and symposium on logic programming (1992) Preface

K.R. Apt (Krzysztof)

Proceedings of the joint international conference and symposium on logic programming Book

Object recognition using Markov spatial processes In Proceedings

A.J. Baddeley (Adrian) and M.N.M. van Lieshout (Marie-Colette)

Idiosyncratic remarks by a bibliomaniac, 6 : classics, masters, and handbooks Article

M. Hazewinkel (Michiel)

Een nieuw soort multigrid voor problemen in 3D Book Chapter

P.W. Hemker (Piet)

Discrete approximation of singularly perturbed parabolic PDE's with a discontinous initial condition In Proceedings

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

Asymptotic inversion of a class of cumulative distribution functions. Article

N.M. Temme (Nico)

PSF : a process specification formalism Dissertation

S. Mauw (Sjouke)

Texture synthesis Article

M. Haindl

Interactively testing remote servers using the Python programming language Article

G. van Rossum (Guido) and J. de Boer (Jelke)

A brief survey of art gallery problems in integer lattice systems Article

E. Kranakis (Evangelos) and M. Pocchiola

Term rewriting analysis in process algebra Article

G.J. Akkerman and J.C.M. Baeten (Jos)

Process algebra and structured operational semantics Dissertation

J.F. Groote (Jan Friso)

Interim policy document 1993-1997 : budget projection 1993 SMC Book

Multimedia Synchronization and UNIX-or-If Multimedia Support is the Problem, Is UNIX the Solution? In Proceedings

D.C.A. Bulterman (Dick), G. van Rossum (Guido) and D.T. Winter (Dik)

Jan en Alleman Book

Grenswandelingen Afscheidscollege, Universiteit van Amsterdam, 11 oktober 1991 Article

G. de Leve (Gijs)

Conferentie van numeriek wiskundigen Woudschoten - abstracts Booklet

MGD9V: black box multigrid solver for a general second order elliptic problem in two dimensions been discretized using a nine point operator Software

P.M. de Zeeuw (Paul)

Negation in Conclog In Proceedings

J.-M. Jacquet (Jean-Marie)

Dynamic Graph Algorithms and Data Structures Dissertation

J.A. La Poutré (Han)

Aankondiging afscheid J. Nuis + uitnodiging afscheidsbijeenkomst 1991-11-22 Other

G.Y. Nieuwland

Computer algebra and stochastic analysis - some possibilities Article

E. Valkeila

Weighted bootstrapping of means Article

E. Haeusler, D.M. Mason and M.A. Newton

On a conjecture concerning a characterization of the exponential distribution Article

C. van Eeden (Constance)

Degradation rate models for failure time and survival data Article

K.A. Doksum

Everything about Kolmogorov was unusual Article

A.N. Shiryaev

CONCUR ’91: 2nd International Conference on Concurrency Theory Amsterdam, The Netherlands, August 26-29, 1991 Proceedings Proceedings

Embedding as a tool for language comparison: on the CSP hierarchy In Proceedings

F.S. de Boer (Frank) and C. Palamidessi (Catuscia)

Extended Horn clauses: the framework and some semantics In Proceedings

J.-M. Jacquet (Jean-Marie) and L. Monteiro (Luís)

Vakantiecursus 1991 - Meetkundige Structuren - programma + aanmeldingsformulier Booklet

Activiteiten 1991/1992 op het gebied van de tweede fase onderzoeksopleiding wiskunde Booklet

Semigroups and renewal equations on dual Banach spaces with applications to population dynamics In Proceedings

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

At Last an ISO C Binding of GKS Article

M. Bakker (Miente)

CWI visiting committee on computer science - List of publications 1987 - 1991 Tech Report

CWI visiting committee on computer science Description of the research groups Tech Report

Structural operational semantics for Kernel Andorra Prolog In Proceedings

S. Haridi (Seif) and C. Palamidessi (Catuscia)

Periodic multiprocessor scheduling In Proceedings

J. Korst (Jan), E.H.L. Aarts (Emile), J.K. Lenstra (Jan Karel) and J. Wessels (Jaap)

Summer School Control of Mechanical Systems - Preliminary Program Booklet

Abstraction in real time process algebra In Proceedings

A.S. Klusener (Steven)

The reconstruction problem for dynamic data structures, an overview Article

M.H.M. Smid (Michiel)

EG, integration of the object-oriented and the deductive database paradigms Article

A.P.J.M. Siebes (Arno)

Dynamic parallel query processing Article

C.A. van den Berg (Carel), M.L. Kersten (Martin) and S. Shair-Ali

Engineering a main-memory DBMS Article

C.A. van den Berg (Carel) and M.L. Kersten (Martin)

Introduction to the special issue on database research Article

M.L. Kersten (Martin)

Programma Zeskamp sport aktiviteiten t.g.v. het 45-jarig bestaan van de SMC : sportdag, 31.05.1991 Booklet

Video CWI sportdag t.g.v. het 45-jarig jubileum, 31-05-1991 Online Video

Implementation of modular algebraic specifications Dissertation

P.R.H. Hendriks

Onderzoekscholen wiskunde : interimrapport van de Strategiecommissie Onderzoekscholen Wiskunde, 17 mei 1991 Miscellaneous

Reasoning about Dynamically Evolving Process Structures; a proof theory for the parallel object-oriented language pool Dissertation

F.S. de Boer (Frank)

Transfinite reductions in orthogonal term rewriting systems In Proceedings

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

Factorization beyond the Googol with MPQS on a single computer Article

H.J.J. te Riele (Herman), W.M. Lioen (Walter) and D.T. Winter (Dik)

Universal representation of the behavior of linear systems in both discrete and continuous time: a unified overview Article

S.J. Hegner

The Furstenberg structures theorem in topological dynamics Article

J. de Vries (Jan)

Introductory recommendations for the study of Hopf algebras in mathematics and physics Article

M. Hazewinkel (Michiel)

Triangle sets in PHIGS PLUS: a valuable link with finite element modeling Article

M. Bakker (Miente)

DLP: a language for distributed logic programming Dissertation

A. P. W. Eliëns (Anton)

Sixteenth conference on the mathematics of operations research, Lunteren, 16-18.01.1991 : program and abstracts Booklet

Sixteenth conference on the mathematics of operations research, Lunteren, 16-18.01.1991 : program Booklet

Multi-dimensional upwind schemes, multigrid and defect correction for accurate and efficient Euler flow computations In Proceedings

B. Koren (Barry) and P.W. Hemker (Piet)

Spurious, zeroth-order entropy generation along a kinked wall Article

H.T.M. van der Maarel (Eric) and B. Koren (Barry)

Studiedag cultuurgeschiedenis van de automatisering [GMFW-CWI colloquium history of computing] : [26.04.1991] Tech Report

The energy complexity of threshold and other functions (preliminary version) Tech Report

G. Kissin and J.T. Tromp (John)

Process algebra with signals and conditions Tech Report

J.C.M. Baeten (Jos) and J.A. Bergstra (Jan)

Program calculation properties of continuous algebras Tech Report

M.M. Fokkinga (Maarten) and E. Meijer

Modular properties of conditional term rewriting systems Tech Report

A. Middeldorp

The current state of bisimulation tools Tech Report

H.P. Korver

Smoothed Runge-Kutta methods in the method of lines Tech Report

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

A two-grid analysis of the combination of mixed finite elements and Vanka-type relaxation Tech Report

J. Molenaar (Gijs)

Parallel diagonally implicit Runge-Kutta-Nyström methods Tech Report

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

A new device for the synthesis problem of optimal control of admission to an M/M/c queue Tech Report

J.P.C. Blanc, P.R. de Waal, P. Nain and D. Towsley

Analysis and optimization of polling systems Tech Report

O.J. Boxma (Onno)

Descriptor representations without direct feedthrough term Tech Report

M. Kuijper

Convergence, continuity and iteration in mathematical morphology Tech Report

H.J.A.M. Heijmans (Henk) and J.C. Serra (Jean)

Morphological discretization Tech Report

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

Embedding as a tool for language comparison Tech Report

F.S. de Boer (Frank) and C. Palamidessi (Catuscia)

Extended term rewriting systems Tech Report

J.W. Klop (Jan Willem) and R. de Vrijer

Parametric surfaces in PHIGS PLUS: a new chance for patterning and hatching? Tech Report

M. Bakker (Miente)

Triangle sets in PHIGS PLUS: a valuable link with finite element modeling Tech Report

M. Bakker (Miente)

Dynamic parallel query processing Tech Report

C.A. van den Berg (Carel), M.L. Kersten (Martin) and S. Shair-Ali

Randomized wait-free test-and-set Tech Report

J.T. Tromp (John) and P.M.B. Vitányi (Paul)

Dynamic interpretation and Hoare deduction Tech Report

D.J.N. van Eijck (Jan) and F.-J. de Vries (Fer-Jan)

2D and 3D object reconstruction with the $ gamma $ -neighborhood graph Tech Report

R.C. Veltkamp (Remco)

Parallel solution of the Burgers equation Tech Report

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

Local uniform grid refinement for time-dependent partial differential equations Tech Report

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

3D shallow water model on the CRAY Y-MP4/464 Tech Report

E.D. de Goede (Erik)

Efficient multi-dimensional upwinding for the steady Euler equations Tech Report

P.W. Hemker (Piet) and B. Koren (Barry)

Idempotents Tech Report

C.P. Schut

Asymptotic inversion of incomplete gamma functions Tech Report

N.M. Temme (Nico)

Induced circuits in planar graphs Tech Report

C. MacDiarmid, B. Reed, A. Schrijver (Lex) and F.B. Shepherd (Bruce)

Numerical methods for the 3D shallow water equations on vector and parallel computers Tech Report

E.D. de Goede (Erik)

On the numerical treatment of the advective terms in 3D shallow water models Tech Report

E.D. de Goede (Erik)

Riccati and soliton equations Tech Report

M. Hazewinkel (Michiel)

Random additive functionals with rapid Markov switchings Tech Report

V.V. Korolyuk (Vladimir)

Optimal choice of sample fraction in extreme-value estimation Tech Report

A.L.M. Dekkers and L.F.M. de Haan (Laurens)

State space formulas for transfer poles at infinity Tech Report

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

Recognition of overlapping objects using Markov spatial processes Tech Report

A.J. Baddeley (Adrian) and M.N.M. van Lieshout (Marie-Colette)