Centrum Wiskunde & Informatica: Centrum Wiskunde & Informatica

Simplicity of Frobenius eigenvalues in the Galois representations associated to modular forms Article

CWI Quarterly, 9(1-2), 61-67.

B. Edixhoven

March 1996
Some indications that the exceptional groups form a series Article

CWI Quarterly, 9(1-2), 51-59.

A.M. Cohen (Arjeh)

March 1996
Mathematics in 19th century physics Article

CWI Quarterly, 9(1-2), 41-50.

J. Z. Buchwald

March 1996
Spectrum and connectivity of graphs Article

CWI Quarterly, 9(1-2), 37-40.

A.E. Brouwer (Andries)

March 1996
Special point sets in finite projective planes Article

CWI Quarterly, 9(1-2), 31-35.

A. Blokhuis

March 1996
Propositional connectives and the set theory of the continuum Article

CWI Quarterly, 9(1-2), 25-30.

A. Blass

March 1996
Some basic facts for efficient massively parallel computation Article

CWI Quarterly, 9(1-2), 9-17.

A.O.H. Axelsson and M.G. Neytcheva

March 1996
Algorithms for frequency assignment problems Article

CWI Quarterly, 9(1-2), 1-8.

K.I. Aardal (Karen), C.A.J. Hurkens (Cor), J.K. Lenstra (Jan Karel) and S.R. Tiourine

March 1996
Opening address SMC jubilee congress Article

CWI Quarterly, 9(1-2), iii-iv.

J.H.A. de Smit

March 1996
Uniqueness and mixing properties of Gibbs measures Article

CWI Quarterly, 19-24.

J. van den Berg (Rob)

March 1996
Asymptotics and closed form of a generalized incomplete gamma function Article

Journal of Computational and Applied Mathematics, 67(2), 371-379.

M.A. Chaudhry, N.M. Temme (Nico) and E.J.M. Veling

March 1996
Operatie Synergie : draaiboek fietstocht t.g.v. 50-jarig jubileum SMC, 9-2-1996 Book

February 1996
Special functions: An introduction to the classical functions of mathematical physics Book

N.M. Temme (Nico)

February 1996
Draaiboek symposium t.g.v. 50 jarig jubileum Stichting Mathematisch Centrum, 08.02.1996 Miscellaneous

February 1996
De waarde van wetenschap : symposium t.g.v. het 50-jarig bestaan van de Stichting Mathematisch Centrum, 08.02.1996 : aankondiging Booklet

February 1996
Programma SMC50 met lijst van participanten Other

February 1996
Wiskundecongres 'SMC 50', 06-07.02.1996 : programma Booklet

February 1996
Uitnodiging en programma "SMC naar de BEURS" 1996-02-09 Other

CWI, Amsterdam, The Netherlands

January 1996
A computational method for high-frequency oleodynamics, application to hydraulic-shock-absorber designs In Proceedings

B. Koren (Barry), P.F.M. Michielsen (Paul), J.-W. Kars and P. Wesseling

January 1996
Algorithm development in CFD : multidimensional upwinding and multiple semi-coarsening multigrid In Proceedings

H. Deconinck and B. Koren (Barry)

January 1996
A complete transformational toolkit for compilers Tech Report

J.A. Bergstra (Jan), T.B. Dinesh, J. Field and J. Heering (Jan)

January 1996
A golden ratio notation for the real numbers Tech Report

P. di Gianantonio (Pietro)

January 1996
Value constraints in the CLP scheme Tech Report

M.H. van Emden

January 1996
Epic 1.0 (unconditional) : an equational programming language Tech Report

H.R. Walters (Pum) and J.F.T. Kamperman (Jasper)

January 1996
On the symmetrical shortest queue and the compensation approach Tech Report

J.W. Cohen

January 1996
Large-eddy simulation with accurate implicit subgrid-scale diffusion Tech Report

B. Koren (Barry) and C. Beets

January 1996
Explicit Runge-Kutta methods for parabolic partial differential equations Tech Report

J.G. Verwer (Jan)

January 1996
Benchmarking stiff ODE solvers for atmorspheric chemistry problems I: implicit versus explicit Tech Report

A. Sandu, J.G. Verwer (Jan), M. van Loon (Martin), G.R. Carmichael, F.A. Potra, D. Dabdub and J.H. Seinfeld

January 1996
A transformation method for stochastic control problems with partial observations Tech Report

G.M. Koole (Ger)

January 1996
Morphology on convolution lattices with applications to the slope transformand random set theory Tech Report

H.J.A.M. Heijmans (Henk) and I.S. Molchanov (Ilya)

January 1996
Self-similar profiles for capillary diffusion driven flow in heterogeneous porous media Tech Report

C.J. van Duijn (Hans) and M.J. de Neef

January 1996
Asymptotic behaviour of solutions of a nonlinear transport equation Tech Report

C.J. van Duijn (Hans) and M.A. Peletier (Mark)

January 1996
Uniform asymptotics for the incomplete gamma functions starting from negative values of the parameters Tech Report

N.M. Temme (Nico)

January 1996
An evaluation of the Cray T3D programming paradigms in atmospheric chemistry/transport models Tech Report

J.G. Blom (Joke), C. Keßler (Carsten) and J.G. Verwer (Jan)

January 1996
Splitting methods for three-dimensional bio-chemical transport Tech Report

B.P. Sommeijer (Ben) and J. Kok (Jan)

January 1996
CWI contributions to the development of parallel Runge-Kutta methods Tech Report

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

January 1996
Factorizations of $ a ^ n $ + 1, 13 < a < 100 : update 2 Tech Report

R.P. Brent, P.L. Montgomery and H.J.J. te Riele (Herman)

January 1996
Simulating TRSs by minimal TRSs : a simple, efficient, and correct compilation technique Tech Report

J.F.T. Kamperman (Jasper) and H.R. Walters (Pum)

January 1996
Open inventor and PREMO Tech Report

D. Wang (Da), G.J. Reynolds and I. Herman (Ivan)

January 1996
Automata and behaviours in categories of processes Tech Report

B.P.F. Jacobs

January 1996
DEGAS : a temporal active data model based on object autonomy Tech Report

J.F.P. van den Akker (Johan) and A.P.J.M. Siebes (Arno)

January 1996
Coalgebraic specifications and models of deterministic hybrid systems Tech Report

B.P.F. Jacobs

January 1996
Tabu search techniques for large high-school timetabling problems Tech Report

A. Schaerf

January 1996
Computational steering Tech Report

R. van Liere (Robert), J.D. Mulder (Jurriaan) and J.J. van Wijk (Jack)

January 1996
3D computational steering with parametrized geometric objects Tech Report

J.D. Mulder (Jurriaan) and J.J. van Wijk (Jack)

January 1996
CSE: a modular architecture for computational steering Tech Report

R. van Liere (Robert) and J.J. van Wijk (Jack)

January 1996
Representing discourse in context Tech Report

D.J.N. van Eijck (Jan) and H. Kamp

January 1996
Trapezoidal and midpoint splittings for initial-boundary value problems Tech Report

W. Hundsdorfer (Willem)

January 1996
Limiting profiles in reactive solute transport Tech Report

C.J. van Duijn (Hans), R.E. Grundy and C.N. Dawson

January 1996
Ambiguity and reasoning Tech Report

D.J.N. van Eijck (Jan) and J.O.M. Jaspars

January 1996
Tackling the Dagstuhl '94 specification problem with I/O automata Tech Report

J.M.T. Romijn (Judi)

January 1996
On monotone function closure of perfect and statistical zero-knowledge Tech Report

I.B. Damgård (Ivan) and R.J.F. Cramer (Ronald)

January 1996
On generic representation of implicit induction procedures Tech Report

D. Naidich

January 1996
A note on stability of the Douglas splitting method Tech Report

W. Hundsdorfer (Willem)

January 1996
Parameter estimation in chemical engineering ; a case study for resin production Tech Report

W.J.H. Stortelder (Walter)

January 1996
Approximation on partially ordered sets of regular grids Tech Report

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

January 1996
Multigrid methods for high-order accurate fully implicit simulation of flowin porous media Tech Report

J. Molenaar (Gijs)

January 1996
Spatial localization for a general reaction-diffusion system Tech Report

G. Galiano and M.A. Peletier (Mark)

January 1996
Annular filters for binary images Tech Report

H.J.A.M. Heijmans (Henk) and C. Ronse

January 1996
On the stability of polling models with multiple servers Tech Report

D.G. Down

January 1996
Decentralized supervisory control of discrete-event systems with communication Tech Report

K.C. Wong and J.H. van Schuppen (Jan)

January 1996
Homogeneous behaviors Tech Report

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

January 1996
Special solutions of the quantum Yang-Baxter equation Tech Report

N.W. van den Hijligenberg

January 1996
Compact dynamisch busstation [Compact dynamic bus station] Tech Report

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

January 1996
A verification of the bakery protocol combining algebraic and model-oriented techniques Tech Report

C. Brovedani and A.S. Klusener (Steven)

January 1996
Reusability of coordination programs Tech Report

F. Arbab (Farhad), C.L. Blom (Kees), F.J. Burger (Freek) and C.T.H. Everaars (Kees)

January 1996
Industrial applications of ASF+SDF Tech Report

M.G.J. van den Brand (Mark), A. van Deursen (Arie), P. Klint (Paul), A.S. Klusener (Steven) and E.A. van der Meulen (Emma)

January 1996
Minimal sorts for interpreting pictures Tech Report

H. Zeevat and D. Wang (Da)

January 1996
The open inventor toolkit and the PREMO standard Tech Report

D. Wang (Da), I. Herman (Ivan) and G.J. Reynolds

January 1996
A syntax directed approach to picture semantics Tech Report

D. Wang (Da) and H. Zeevat

January 1996
Control and verification of industrial hybrid systems using models specified with the formalism $ chi $ Tech Report

J.J.H. Fey

January 1996
An analysis of crystal dissolution fronts in flows through porous media Tech Report

C.J. van Duijn (Hans), P. Knabner and R.J. Schotting (Ruud)

January 1996
A basic mathematical and numerical model for gas injection Tech Report

J. Molenaar (Gijs)

January 1996
Parallel linear system solvers for Runge-Kutta-Nyström methods Tech Report

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

January 1996
A note on n similar parallel processes Tech Report

J.F. Groote (Jan Friso)

January 1996
Coordination of distributed/parallel multiple-grid domain decomposition Tech Report

C.T.H. Everaars (Kees) and F. Arbab (Farhad)

January 1996
Restructuring sequential Fortran code into a parallel/distributed application Tech Report

C.T.H. Everaars (Kees), F. Arbab (Farhad) and F.J. Burger (Freek)

January 1996
Cellular encoding for interactive evolutionary robotics Tech Report

F.C. Gruau and K. Quatramaran

January 1996
On the formulation and analysis of general deterministic structured population models Tech Report

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

January 1996
Fluid queues and regular variation Tech Report

O.J. Boxma (Onno)

January 1996
Implicit induction techniques for the verification of PIM : a transformational toolkit for compilers Tech Report

D. Naidich and T.B. Dinesh

January 1996
A linear-time transformation of linear inequalities into conjunctive normal form Tech Report

J.P. Warners (Joost)

January 1996
Design of abstract domains using first-order logic Tech Report

E. Marchiori

January 1996
Euler-Chebyshev methods for integro-differential equations Tech Report

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

January 1996
Parallel linear system solvers for Runge-Kutta methods Tech Report

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

January 1996
Waveform relaxation methods for implicit differential equations Tech Report

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

January 1996
Continuation of stationary solutions to evolution problems in CONTENT Tech Report

Y.A. Kuznetsov, V.V. Levitin and A.R. Skovoroda

January 1996
The Leibniz-Hopf algebra and Lyndon words Tech Report

M. Hazewinkel (Michiel)

January 1996
A note on negative customers, GI/G/1 workload, and risk processes Tech Report

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

January 1996
Similarity and symmetry measures for convex sets based on Minkowski addition Tech Report

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

January 1996
Complementarity modeling of hybrid systems Tech Report

A.J. van der Schaft and J.M. Schumacher (Hans)

January 1996
Test set for IVP solvers Tech Report

W.M. Lioen (Walter), J.J.B. de Swart (Jacques) and W.A. van der Veen (Wolter)

January 1996
Building a simulator in the $ mu $ CRL toolbox : a case-study in modern software engineering Tech Report

H.P. Korver

January 1996
Mild context-sensitivity and tuple-based generalizations of context-free grammar Tech Report

A.V. Groenink (Annius)

January 1996
Tractability issues in extraposition grammar Tech Report

A.V. Groenink (Annius)

January 1996
Generalized metric spaces : completion, topology, and powerdomains via the Yoneda embedding Tech Report

M.M. Bonsangue (Marcello), F. van Breugel and J.J.M.M. Rutten (Jan)

January 1996
A framework for query optimization to support data mining Tech Report

S.R. Choenni (Sunil) and A.P.J.M. Siebes (Arno)

January 1996
On multi-query optimization Tech Report

S.R. Choenni (Sunil), M.L. Kersten (Martin), J.F.P. van den Akker (Johan) and A. Saad

January 1996
Complexity of transformation-based optimizers and duplicate-free generation of alternatives Tech Report

A.J. Pellenkoft (Jan), C.A. Galindo-Legaria (César) and M.L. Kersten (Martin)

January 1996
Algebraic verification of a distributed summation algorithm Tech Report

J.F. Groote (Jan Friso) and J.G. Springintveld

January 1996

Previous

Next

Available Years