Publications from 2086

On the existence and non-existence of finitary codings for a class of random fields Article

J. van den Berg (Rob) and J.E. Steif

On the absence of phase transition in the monomer-dimer model Book Chapter

J. van den Berg (Rob)

Agent Programming in 3APL Article

F.S. de Boer (Frank)

Selected papers of Eugene L. Lawler Book

Multiresolution signal decomposition schemes. Part 2: Morphological wavelets Tech Report

H.J.A.M. Heijmans (Henk) and J. Goutsias (John)

Feature Extraction Using Fractal Codes Book Chapter

B.A.M. Schouten (Ben) and P.M. de Zeeuw (Paul)

Proceedings of the thirty-third European Study Group with industry : Leiden, The Netherlands, 14-18.09.1998 Book

Vakantiecursus [Centrum voor Wiskunde en Informatica] 1999 : onbewezen vermoedens Book

The Colin de Verdière graph parameter In Proceedings

H. van der Holst, L. Lovász (László) and A. Schrijver (Lex)

How to make a graph four-connected In Proceedings

E. Győri and T. Jordán (Tibor)

A second-order Rosenbrock method applied to photochemical dispersion problems Article

J.G. Verwer (Jan), E.J. Spee (Edwin), J.G. Blom (Joke) and W. Hundsdorfer (Willem)

Implicit and semi-implicit schemes: algorithms Article

R. Keppens (Rony), G. Toth, M.A. Botchev and A. van der Ploeg (Auke)

Coverings and structure of crossing families In Proceedings

T. Fleiner and T. Jordán (Tibor)

Finding elliptic Fekete point sets: two numerical solution approaches Article

W.J.H. Stortelder (Walter), J.J.B. de Swart (Jacques) and J.D. Pintér

Successive edge-connectivity augmentation problems In Proceedings

E. Cheng and T. Jordán (Tibor)

Perpetual reductions in $lambda$-calculus Article

F. van Raamsdonk (Femke)

Cycle bases for lattices of binary matroids with no Fano dual minor and their one-element extensions Article

T. Fleiner, W. Hochstättler, M. Laurent (Monique) and M. Loebl (Martin)

Uniform approximations of Bernoulli and Euler polynomials in terms of hyperbolic functions Article

J.L. López and N.M. Temme (Nico)

Formulas as programs Book Chapter

K.R. Apt (Krzysztof) and M.A. Bezem

Space-efficient routing tables for almost all networks and the incompressibility method Article

H.M. Buhrman (Harry), J.H. Hoepman (Jaap-Henk) and P.M.B. Vitányi (Paul)

On the null space of a Colin de Verdière matrix Article

L. Lovász (László) and A. Schrijver (Lex)

Decidability and undecidability of marked PCP In Proceedings

V. Halava, M. Hirvensalo and R.M. de Wolf (Ronald)

Zero and pole distribution of diagonal Padé approximants to the exponential function Article

K.A. Driver (Kathy) and N.M. Temme (Nico)

Quermass-interaction processes: conditions for stability Article

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

One-sided versus two-sided error in probabilistic computation In Proceedings

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

A vector-valued Stefan problem from aluminium industry Article

F.J. Vermolen and C. Vuik

The ring loading problem Article

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

On the linear-cost subtree-transfer distance between phylogenetic trees Article

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

Some examples of average-case analysis by the incompressibility method Book Chapter

T. Jiang (Tao), M. Li (Ming) and P.M.B. Vitányi (Paul)

Hermite polynomials in asymptotic representations of generalized Bernoulli, Euler, Bessel, and Buchholz polynomials Article

J.L. López and N.M. Temme (Nico)

Hard sets are hard to find In Proceedings

H.M. Buhrman (Harry) and D. van Melkebeek

Indices of dependence between types in multivariate point patterns Article

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

Characterization results and Markov chain Monte Carlo algorithms including exact simulation for some spatial point processes Article

O. Häggström, M.N.M. van Lieshout (Marie-Colette) and J. Møller

Interpolation on sparse grids and tensor products of Nikolskij-Besov spaces. Dedicated to Professor Paul L. Butzer on the occasion of his 70th birthday. Article

W. Sickel and F. Sprengel

Analysis of operator splitting for advection-diffusion-reaction problems from air pollution modelling In Proceedings

D. Lanser (Debby) and J.G. Verwer (Jan)

Two queries Article

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

Directed vertex-connectivity augmentation In Proceedings

A. Frank and T. Jordán (Tibor)

Asymptotic analysis of linear feedback Nash equilibria in nonzero-sum linear-quadratic differential games Article

A.J.T.M. Weeren, J.M. Schumacher (Hans) and J.C. Engwerda

Partial logics with two kinds of negation as a foundation for knowledge-based reasoning Book Chapter

H. Herre, J.O.M. Jaspars and G. Wagner

Heavy-traffic analysis for the $GI/G/1$ queue with heavy-tailed distributions. Queues with heavy-tailed distributions Article

O.J. Boxma (Onno) and J.W. Cohen

The numerical solution of a Neumann problem for parabolic singularly perturbed equations with high-order time accuracy In Proceedings

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

Some error estimates for periodic interpolation of functions from Besov spaces In Proceedings

W. Sickel and F. Sprengel

Kolmogorov random graphs and the incompressibility method Article

H.M. Buhrman (Harry), M. Li (Ming), J.T. Tromp (John) and P.M.B. Vitányi (Paul)

Reptational dynamics of a polymer chain is stable against kinematic disorder Article

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

On estimation of Poisson intensity functions Article

R. Helmers (Roelof) and R. Zitikis

On the probabilistic complexity of numerically checking the binary Goldbach conjecture in certain intervals In Proceedings

J.-M. Deshouillers and H.J.J. te Riele (Herman)

Approximation of orthogonal polynomials in terms of Hermite polynomials. Dedicated to Richard A. Askey on the occasion of his 65th birthday, Part II. Article

J.L. López and N.M. Temme (Nico)

Mutual search Article

H.M. Buhrman (Harry), M. Franklin, J.A. Garay, J.H. Hoepman (Jaap-Henk), J.T. Tromp (John) and P.M.B. Vitányi (Paul)

Some empirical research on the performance of Internet search engines In Proceedings

W. Mettrop (Wouter) and P. Nieuwenhuysen

Frames, Riesz systems and multiresolution analysis in Hilbert spaces Article

S.J.L. van Eijndhoven and P.J. Oonincx

WWW-zoekmachines onderzocht : naast incompetent zelfs onbetrouwbaar Article

W. Mettrop (Wouter) and H. van der Laan

Anticipating SMIL 2.0: The Developing Cooperative Infrastructure for Multimedia on the Web In Proceedings

L. Rutledge (Lloyd), J.R. van Ossenbruggen (Jacco), L. Hardman (Lynda) and D.C.A. Bulterman (Dick)

The Use of SMIL: Multimedia Research Currently Applied on a Global Scale In Proceedings

L. Rutledge (Lloyd), L. Hardman (Lynda) and J.R. van Ossenbruggen (Jacco)

GRiNS: An Authoring Environment for Web Multimedia In Proceedings

D.C.A. Bulterman (Dick), L. Rutledge (Lloyd), L. Hardman (Lynda), A.J. Jansen (Jack) and K.S. Mullender (Sjoerd)

Supporting Adaptive and Adaptable Hypermedia Presentation Semantics In Proceedings

D.C.A. Bulterman (Dick), L. Rutledge (Lloyd), L. Hardman (Lynda) and J.R. van Ossenbruggen (Jacco)

Adaptable Hypermedia with Web Standards and Tools Book Chapter

L. Rutledge (Lloyd), L. Hardman (Lynda), J.R. van Ossenbruggen (Jacco) and D.C.A. Bulterman (Dick)

Do You Have the Time? Composition and Linking in Time-based Hypermedia Book Chapter

L. Hardman (Lynda), J.R. van Ossenbruggen (Jacco), L. Rutledge (Lloyd), K.S. Mullender (Sjoerd) and D.C.A. Bulterman (Dick)

Mix'n'Match: Exchangeable Modules of Hypermedia Style Book Chapter

L. Rutledge (Lloyd), J.R. van Ossenbruggen (Jacco), L. Hardman (Lynda) and D.C.A. Bulterman (Dick)

SMIL - Synchronized Multimedia Integration Language: Moving to the beat Article

L. Rutledge (Lloyd)

Generic Film Forms for Dynamic Virtual Video Synthesis Article

C.A. Lindley

Everything You Wanted to Know About MPEG-7: Part 1 Article

F.-M. Nack (Frank) and A.T. Lindsay

Everything You Wanted to Know About MPEG-7: Part 2 Article

F.-M. Nack (Frank) and A.T. Lindsay

Hypermedia: The Link with Time Article

L. Hardman (Lynda), J.R. van Ossenbruggen (Jacco), L. Rutledge (Lloyd) and D.C.A. Bulterman (Dick)

Integrating I/O processing and Transparent Parallelism - Toward Comprehensive Query Execution in Parallel Database Systems Book Chapter

S. Manegold (Stefan) and F. Waas (Florian)

Adaptive Hypermedia: Purpose, Methods, and Techniques In Proceedings

P.M.E. de Bra, P. Brusilovsky (Peter), J. Eklund, W. Hall (Wendy) and A. Kobsa

AHAM: A Dexter-based Reference Model for Adaptive Hypermedia In Proceedings

P.M.E. de Bra, G.J. Houben and H. Wu (Hongjing)

Local Effective Hölder Exponent Estimation on the Wavelet Transform Maxima Tree Book Chapter

Z.R. Struzik

Feature Grammars In Proceedings

A.R. Schmidt, M.A. Windhouwer (Menzo) and M.L. Kersten (Martin)

Database architecture optimized for the new bottleneck: Memory access In Proceedings

P.A. Boncz (Peter), S. Manegold (Stefan) and M.L. Kersten (Martin)

Determining Local Singularity Strength and its Spectrum With the Wavelet Transform In Proceedings

Z.R. Struzik

Measuring Time Series' Similarity through Large Singular Features Revealed with Wavelet Transformation In Proceedings

Z.R. Struzik and A.P.J.M. Siebes (Arno)

The Haar Wavelet Transform in the Time Series Similarity Paradigm Book Chapter

Z.R. Struzik and A.P.J.M. Siebes (Arno)

Handling Non-deterministic Data Availability in Parallel Query Execution. In Proceedings

F. Waas (Florian)

WEB-CS: Infrastructure for Web-based Competition In Proceedings

A.T.M. Aerts, P.F.M. Bierhoff and P.M.E. de Bra

Optimizing the Amount of Models Taken into Consideration During Model Selection in Bayesian Networks In Proceedings

J.R. Castelo and A.P.J.M. Siebes (Arno)

Acoi: A System for Indexing Multimedia Objects In Proceedings

M.A. Windhouwer (Menzo), A.R. Schmidt and M.L. Kersten (Martin)

Modular formal specification of data and behaviour In Proceedings

J. Hooman, E. de Jong (Edwin) and J.C. van de Pol (Jaco)

Stochastic geometry : likelihood and computation Book

Requirements specification and analysis of command and control systems Tech Report

J.C. van de Pol (Jaco), J. Hooman and E. de Jong (Edwin)

A comparative study on the power of Van Lieshouf and Baddeley's J-function Article

E. Thönnes (Elke) and M.N.M. van Lieshout (Marie-Colette)

A logical analysis of Boolean constraints Article

K.R. Apt (Krzysztof)

Review of "Programming with constraints: an introduction" by Marriott, K. and Stuckey, P. J. Article

K.R. Apt (Krzysztof)

Top N MM query optimization: the best of both IR and DB worlds In Proceedings

H.E. Blok (Henk Ernst), A.P. de Vries (Arjen) and H.M. Blanken

The logic programming paradigm: a 25-year perspective Book

Preface: The logic programming paradigm: a 25-year perspective 1999 Preface

K.R. Apt (Krzysztof), V.M. Marek, M. Truszczynski (Miroslaw) and D.S. Warren

On the integration of IR and databases In Proceedings

A.P. de Vries (Arjen) and A.N. Wilschut

The mirror MMDBMS architecture In Proceedings

A.P. de Vries (Arjen), M.G.L.M. van Doorn (Mark), H.M. Blanken and P.M.G. Apers (Peter)

The mirror DBMS at TREC-8 In Proceedings

A.P. de Vries (Arjen) and D. Hiemstra

The rough guide to constraint propagation Article

K.R. Apt (Krzysztof)

Automatic generation of constraint propagation algorithms for small finite domains In Proceedings

K.R. Apt (Krzysztof) and E.B.G. Monfroy

Index : Theoretical computer science 1999 Article

M. Hazewinkel (Michiel)

The Alma project, or how first-order logic can help us in imperative programming In Proceedings

K.R. Apt (Krzysztof) and A. Schaerf

Factorization of RSA-140 using the number field sieve In Proceedings

S.H. Cavallar (Stefania), B. Dodson, A.K. Lenstra (Arjen), P.C. Leyland, W.M. Lioen (Walter), P.L. Montgomery, B. Murphy, H.J.J. te Riele (Herman) and P. Zimmermann

The compact dynamic bus station Article

A.S. Klusener (Steven), S.F.M. van Vlijmen and A. Schrijver (Lex)

Bipartite edge-colouring in O(Delta m) time Article

A. Schrijver (Lex)

Markov-modulated and feedback fluid queues Dissertation

W.R.W. Scheinhardt (Werner)

A numerical study for global atmospheric transport - chemistry problems Article

E.J. Spee (Edwin), J.G. Verwer (Jan), P.M. de Zeeuw (Paul), J.G. Blom (Joke) and W. Hundsdorfer (Willem)

Removing and extracting features in images using mathematical morphology Article

C. Ronse

Markov random fields and images Article

P. Perez (Patrick)

Linear and non-linear scale-spaces Article

E.J.E.M. Pauwels (Eric)