university website Publications by Year
  • sign in
  • Publications By Year

Publications from 2039

  • thumb

    Non- and semi-parametric maximum likelihood estimators and the Von Mises method Tech Report

    R.D. Gill (Richard)

    January 1987
  • thumb

    An experimental-computational investigation of transonic shock wave-turbulent boundary layer interaction in a curved test section Tech Report

    C. Nebbeling and B. Koren (Barry)

    January 1987
  • thumb

    Optimization of the real level 2 BLAS on the CYBER 205 Tech Report

    W.M. Lioen (Walter), M. Nool (Margreet) and H.J.J. te Riele (Herman)

    January 1987
  • thumb

    Two queues with alternating service and switching times Tech Report

    O.J. Boxma (Onno) and W.P. Groenendijk

    January 1987
  • thumb

    Performance analysis and optimal control of an M/M/1/k queueing system with impatient customers Tech Report

    P.R. de Waal

    January 1987
  • thumb

    Knowledge engineering in design Tech Report

    V. Akman (Varol), P.J.W. ten Hagen (Paul), J.L.H. Rogier (Jan) and P. J. Veerkamp (Paul)

    January 1987
  • thumb

    Mathematical morphology: an algebraic approach Tech Report

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

    January 1987
  • thumb

    Type-checking mini-ML: an algebraic specification with user-defined syntax Tech Report

    P.R.H. Hendriks

    January 1987
  • thumb

    Semantics for PROLOG via term rewrite systems Tech Report

    J.C.M. Baeten (Jos) and W.P. Weijland

    January 1987
  • thumb

    Semantics for logic programs without occur check Tech Report

    W.P. Weijland

    January 1987
  • thumb

    Introduction to logic programming Tech Report

    K.R. Apt (Krzysztof)

    January 1987
  • thumb

    Intelligent systems interconnection: what should come after open systems interconnection? Tech Report

    P. Bernus and Z. Létray

    January 1987
  • thumb

    Locality, communication, and interconnect length in multicomputers Tech Report

    P.M.B. Vitányi (Paul)

    January 1987
  • thumb

    Design as a formal, knowledge engineered activity Tech Report

    V. Akman (Varol), P.J.W. ten Hagen (Paul) and T. Tomiyama

    January 1987
  • thumb

    On a consistent estimate of the index of an extreme value distribution Tech Report

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

    January 1987
  • thumb

    Large quantile estimation under extreme-value conditions Tech Report

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

    January 1987
  • thumb

    Convergence of Runge-Kutta methods on classes of stiff initial value problems Tech Report

    W. Hundsdorfer (Willem)

    January 1987
  • thumb

    Approximation algorithms for scheduling unrelated parallel machines Tech Report

    J.K. Lenstra (Jan Karel), D.B. Shmoys and É. Tardos

    January 1987
  • thumb

    Vehicle routing with time windows: optimization and approximation Tech Report

    M. Desrochers, J.K. Lenstra (Jan Karel), M.W.P. Savelsbergh and F. Soumis

    January 1987
  • thumb

    Functional description of CAR, an interactive system for computer aided routing Tech Report

    J.M. Anthonisse, J.K. Lenstra (Jan Karel) and M.W.P. Savelsbergh

    January 1987
  • thumb

    Jacobi polynomials as generalized Faber polynomials Tech Report

    A.I. Zayed (Ahmed)

    January 1987
  • thumb

    Resource management in DICE Tech Report

    R. van Liere (Robert) and P.J.W. ten Hagen (Paul)

    January 1987
  • thumb

    Correctness proofs for systolic algorithms: a palindrome recognizer Tech Report

    W.P. Weijland

    January 1987
  • thumb

    Readies and failures in the algebra of communicating processes Tech Report

    J.A. Bergstra (Jan), J.W. Klop (Jan Willem) and E.R. Olderog (Ernst-Rüdiger)

    January 1987
  • thumb

    A queueing network model for analyzing a class of branch and bound algorithms on a master-slave architecture Tech Report

    O.J. Boxma (Onno) and G.A.P. Kindervater (Gerard)

    January 1987
  • thumb

    Distributed match-making Tech Report

    S.J. Mullender (Sape) and P.M.B. Vitányi (Paul)

    January 1987
  • thumb

    Proposal for standard mathematical packages in ADA Tech Report

    J. Kok (Jan)

    January 1987
  • thumb

    NUMVEC FORTRAN library manual : chapter: simultaneous linear equations : routine: SVDTJP and LSQMNS Tech Report

    P.P.M. de Rijk

    January 1987
  • thumb

    Vectorization of the odd-even Hopscotch scheme and the alternating direction implicit scheme for the two-dimensional Burger's equations Tech Report

    E.D. de Goede (Erik) and J.H.M. ten Thije Boonkkamp

    January 1987
  • thumb

    Decomposition of graphs on surfaces and a homotopic circulation theorem Tech Report

    A. Schrijver (Lex)

    January 1987
  • thumb

    Introduction to nilpotent approximation filtering Tech Report

    M. Hazewinkel (Michiel)

    January 1987
  • thumb

    Principles of lazy and incremental program generation Tech Report

    J. Heering (Jan), P. Klint (Paul) and J. G. Rekers (Jan)

    January 1987
  • thumb

    A very simple construction for atomic multiwriter register Tech Report

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

    January 1987
  • thumb

    Tape versus queue and stacks: the lower bounds Tech Report

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

    January 1987
  • thumb

    C-GKS: a C implementation of GKS, the graphical kernel system Tech Report

    M.M. de Ruiter

    January 1987
  • thumb

    Fixpoint representations of characteristic sets of linear-time temporal formulas Tech Report

    E. Kranakis (Evangelos) and K.N. Oikonomou (Kostas)

    January 1987
  • thumb

    Edge-disjoint homotopic paths in straight-line planar graphs Tech Report

    A. Schrijver (Lex)

    January 1987
  • thumb

    Residual smoothing for accelerating the ADI iteration method for elliptic difference equations Tech Report

    J.H.M. ten Thije Boonkkamp

    January 1987
  • thumb

    Graphs related to Held's simple group Tech Report

    J.T.M. van Bon (John), A.M. Cohen (Arjeh) and H. Cuypers

    January 1987
  • thumb

    Parallel computing in combinatorial optimization Tech Report

    G.A.P. Kindervater (Gerard) and J.K. Lenstra (Jan Karel)

    January 1987
  • thumb

    An innovation approach to goodness of fit tests in $R m$ Tech Report

    E.V. Khmaladze

    January 1987
  • thumb

    A central limit theorem for M-estimators by the Von Mises method Tech Report

    C.C. Heesterman

    January 1987
  • thumb

    Multigrid methods for elliptic PDEs Tech Report

    W.M. Lioen (Walter)

    January 1987
  • thumb

    A comparative study of Chebyshev acceleration and residue smoothing in the solution of nonlinear elliptic difference equations Tech Report

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

    January 1987
  • thumb

    A classification scheme for vehicle routing and scheduling problems Tech Report

    M. Desrochers, J.K. Lenstra (Jan Karel) and M.W.P. Savelsbergh

    January 1987
  • thumb

    How to estimate the efficacy of periodic control of an infectious plant disease Tech Report

    H.R. Thieme and J.A.P. Heesterbeek (Hans)

    January 1987
  • thumb

    On a biorthogonal system associated with uniform asymptotic expansions Tech Report

    K. Soni and N.M. Temme (Nico)

    January 1987
  • thumb

    Analysis of a six-component barotropic spectral model: chaotic motion, predictability and vacillation Tech Report

    H.E. de Swart (Huibert)

    January 1987
  • thumb

    Contractions in comparing concurrency semantics Tech Report

    J.N. Kok (Joost) and J.J.M.M. Rutten (Jan)

    January 1987
  • thumb

    Interaction management in CAD systems with a history mechanism Tech Report

    Y. Yamaguchi, F. Kimura and P.J.W. ten Hagen (Paul)

    January 1987
  • thumb

    A network approach to the certainty factor model Tech Report

    L.C. van der Gaag

    January 1987
  • thumb

    Simple multireader registers using time-stamp schemes Tech Report

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

    January 1987
  • thumb

    A semantic approach to fairness Tech Report

    J.J.M.M. Rutten (Jan) and J.I. Zucker

    January 1987
  • thumb

    Stability and convergence of the Peaceman-Rachford ADI method for initial-boundary value problems Tech Report

    W. Hundsdorfer (Willem) and J.G. Verwer (Jan)

    January 1987
  • thumb

    Solving bidiagonal systems of linear equations on the CDC CYBER 205 Tech Report

    J.J.F.M. Schlichting and H.A. van der Vorst (Henk)

    January 1987
  • thumb

    An integrated data description language for coding design knowledge Tech Report

    B. Veth

    January 1987
  • thumb

    Logical input devices and interaction Tech Report

    R. van Liere (Robert) and P.J.W. ten Hagen (Paul)

    January 1987
  • thumb

    Designing equivalent semantic models for process creation Tech Report

    P.H.M. America (Pierre) and J.J.M.M. Rutten (Jan)

    January 1987
  • thumb

    Algebraic and arithmetic geometry in string theory Tech Report

    D.J. Smit

    January 1987
  • thumb

    Distance regular antipodal covers of Johnson and Hamming graphs Tech Report

    J.T.M. van Bon (John)

    January 1987
  • thumb

    Fractals (mathematics, programming and applications) Tech Report

    H.A. Lauwerier and J.A. Kaandorp (Jaap)

    January 1987
  • thumb

    Resource-constrained project scheduling: an international exercise in DSS development Tech Report

    J.M. Anthonisse, K.M. van Hee and J.K. Lenstra (Jan Karel)

    January 1987
  • thumb

    On single lane roads Tech Report

    A.J. Koning (Aris)

    January 1987
  • thumb

    Incremental generation of lexical scanners Tech Report

    J. Heering (Jan), P. Klint (Paul) and J. G. Rekers (Jan)

    January 1987
  • thumb

    Minimum disclosure proofs of knowledge Tech Report

    G. Brassard (Gilles), D. Chaum (David) and C. Crépeau (Claude)

    January 1987
  • thumb

    Management of stratified databases Tech Report

    K.R. Apt (Krzysztof) and J.-M. Pugin

    January 1987
  • thumb

    Security without identification: card computers to make big brother obsolute Tech Report

    D. Chaum (David)

    January 1987
  • thumb

    Macintosh gebruikers handleiding Book

    F. Kuiper (Frank)

    January 1987
  • Preface Preface

    J.W. de Bakker (Jaco), A.J. Nijman and P.C. Treleaven

    January 1987
  • Preface Article

    J.W. de Bakker (Jaco), A.J. Nijman and P.C. Treleaven

    January 1987
  • thumb

    A fully abstract semantics for data flow nets In Proceedings

    J.N. Kok (Joost)

    January 1987
  • Lie algebraic methods in filtering and identification In Proceedings

    M. Hazewinkel (Michiel)

    January 1987
  • thumb

    On asymptotic efficiency of the Cox estimator In Proceedings

    K.O. Dzhaparidze (Kacha)

    January 1987
  • ABC Software

    S. Pemberton (Steven)

    January 1987
  • thumb

    On the sign of the difference $pi(x)-{ m li}(x)$ Article

    Mathematics of Computation, 48(177), 323-328.

    H.J.J. te Riele (Herman)

    January 1987
  • Convergence rates in the strong law for bounded mixing sequences Article

    Probability Theory and Related Fields, 74(2), 255-270.

    H.C.P. Berbee (Henri)

    January 1987
    open access
  • thumb

    Multigrid solution of monotone second-order discretizations of hyperbolic conservation laws Article

    Mathematics of Computation, 49(179), 135-155.

    S.P. Spekreijse

    January 1987
  • thumb

    Mathematical control theory Article

    Doklady Akademii Nauk SSSR, 29(62)(2), 102-110.

    M. Hazewinkel (Michiel)

    January 1987
  • thumb

    Recent problems in uniform asymptotic expansions of integrals In Proceedings

    N.M. Temme (Nico)

    January 1987
  • Unobstructed shortest paths in polyhedral environments. With a foreword by Wm. Randolph Franklin Book

    V. Akman (Varol)

    January 1987
  • thumb

    Introduction to nilpotent approximation filtering In Proceedings

    M. Hazewinkel (Michiel)

    January 1987
  • thumb

    A note on a diagonally implicit Runge-Kutta-Nyström method Article

    Journal of Computational and Applied Mathematics, 19(3), 395-399.

    B.P. Sommeijer (Ben)

    January 1987
  • thumb

    A note on the partitioning shortest path algorithm Article

    Operations Research Letters, 6(4), 183-187.

    M. Desrochers

    January 1987
  • thumb

    Demonstrating that a public predicate can be satisfied without revealing any information about how Book Chapter

    D. Chaum (David)

    January 1987
  • thumb

    A new approach to least-squares estimation, with applications Article

    Annals of Statistics, 15(2), 587-602.

    S.A. van de Geer (Sara)

    January 1987
  • thumb

    The odd-even hopscotch pressure correction scheme for the incompressible Navier-Stokes equations In Proceedings

    J.H.M. ten Thije Boonkkamp

    January 1987
  • thumb

    On the computation of the incomplete gamma functions for large values of the parameters In Proceedings

    N.M. Temme (Nico)

    January 1987
  • The likelihood ratio test for the change point problem for exponentially distributed random variables Article

    Stochastic Processes and their Applications, 27(1), 121-139.

    P. Haccou, E. Meelis and S.A. van de Geer (Sara)

    January 1987
    open access
  • Chains with infinite connections: uniqueness and Markov representation Article

    Probability Theory and Related Fields, 76(2), 243-253.

    H.C.P. Berbee (Henri)

    January 1987
    open access
  • thumb

    Equilibrium and extinction in stochastic population dynamics Article

    Bulletin of Mathematical Biology, 49(6), 671-696.

    H.N.M. Roozen

    January 1987
  • Semigroup theory for control on sun-reflexive Banach spaces Article

    IMA Journal of Mathematical Control and Information, 4(2), 111-129.

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

    January 1987
  • thumb

    Perturbed dual semigroups and delay equations In Proceedings

    O. Diekmann (Odo)

    January 1987
  • A note on monotonicity of a Rosenbrock method In Proceedings

    W. Hundsdorfer (Willem)

    January 1987
  • Incomplete Laplace integrals: uniform asymptotic expansion with application to the incomplete beta function Article

    SIAM Journal on Mathematical Analysis, 1638-1663.

    N.M. Temme (Nico)

    January 1987
    open access
  • Lie algebraic methods in filtering and identification In Proceedings

    M. Hazewinkel (Michiel)

    January 1987
  • thumb

    Multigrid and improved accuracy for the Euler equations In Proceedings

    P.W. Hemker (Piet)

    January 1987
  • thumb

    Fixed point equations with parameters in the projective model Article

    Information and Computation, 75(3), 264-288.

    E. Kranakis (Evangelos)

    January 1987
  • thumb

    Multigrid methods for elliptic PDEs Book Chapter

    W.M. Lioen (Walter)

    January 1987
  • thumb

    Approximating the projective model In Proceedings

    E. Kranakis (Evangelos)

    January 1987
  • thumb

    Term rewriting systems with priorities In Proceedings

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

    January 1987
Previous
Next
Available Years
  • Publications from 2026
  • Publications from 2025
  • Publications from 2024
  • Publications from 2023
  • Publications from 2022
  • Publications from 2021
  • Publications from 2020
  • Publications from 2019
  • Publications from 2018
  • Publications from 2017
  • Publications from 2016
  • Publications from 2015
  • Publications from before 2015
university website
  • Address

    • Centrum Wiskunde & Informatica
    • Science Park 123 | 1098 XG Amsterdam | the Netherlands
  • CWI researchers

    • Register Your Work
  • Questions or comments?

    • repository@cwi.nl
artudis website

Workflow

Workflow

Add Content


User Publication Person Organisation Collection
Close