Publications from 2015

Bisimulation for Neighbourhood Structures Tech Report

H.H. Hansen (Helle), C.A. Kupke (Clemens) and E. Pacuit

Bisimulation for Neighbourhood Structures In Proceedings

H.H. Hansen (Helle), C.A. Kupke (Clemens) and E. Pacuit

A Note on Subsequential Transducers and Coalgebra In Proceedings

H.H. Hansen (Helle)

Theory of superfast fronts of impact ionization in semiconductor structures Article

P.B. Rodin, U. Ebert (Ute), A. Minarsky and I.V. Grekhov

Deviations from the local field approximation in negative streamer heads, Article

C. Li (Chao), W.J.M. Brok, U. Ebert (Ute) and J.J.A.M. van der Mullen

Spatio-temporal patterns in a semiconductor-gas-discharge system: stability analysis and full numerical solutions Article

I. Rafatov (Ismail), D.D. Šijačić (Danijela) and U. Ebert (Ute)

Convective stabilization of a Laplacian moving boundary problem with kinetic undercooling Article

U. Ebert (Ute), B.J. Meulenbroek (Bernard) and L. Schäfer

On Composition and Refinement of Domain-Specific Languages in the Model of Language Family In Proceedings

M. Sun (Meng) and N. Zhang

Component Connectors with QoS Guarantees In Proceedings

F. Arbab (Farhad), T. Chothia (Tom), M. Sun (Meng) and Y.-J. Moon (Young-Joo)

On Resource-Sensitive Timed Component Connectors In Proceedings

M. Sun (Meng) and F. Arbab (Farhad)

Web Services Choreography and Orchestration in Reo and Constraint Automata In Proceedings

M. Sun (Meng) and F. Arbab (Farhad)

QCCS: A Formal Model to Enforce QoS Requirements in Service Composition In Proceedings

M. Sun (Meng)

On Computation and Communication with Small Bias In Proceedings

H.M. Buhrman (Harry), N.K. Vereshchagin (Nikolay Konstantinovich) and R.M. de Wolf (Ronald)

Exponential Separations for One-Way Quantum Communication Complexity, with Applications to Cryptography In Proceedings

D. Gavinsky, J. Kempe, I. Kerenidis, R. Raz and R.M. de Wolf (Ronald)

Robust Polynomials and Quantum Algorithms Article

H.M. Buhrman (Harry), I. Newman, H. Röhrig (Hein) and R.M. de Wolf (Ronald)

Quantum and classical strong direct product theorems and optimal time-space tradeoffs Article

H. Klauck (Hartmut), R. Spalek (Robert) and R.M. de Wolf (Ronald)

Distributed Analysis with $\mu$CRL: A Compendium of Case Studies In Proceedings

S.C.C. Blom (Stefan), J.R. Calamé (Jens), B. Lisser (Bert), S.-M. Orzan (Simona-Mihaela), J. Pang, J.C. van de Pol (Jaco), M.T. Dashti (Mohammad) and A.J. Wijs (Anton)

Improving the Security of MACs Via Randomized Message Preprocessing In Proceedings

Y. Dodis and K.Z. Pietrzak (Krzysztof)

Intrusion-Resilient Secret Sharing In Proceedings

S. Dziembowski and K.Z. Pietrzak (Krzysztof)

Parallel Repetition of Computationally Sound Protocols Revisited In Proceedings

K.Z. Pietrzak (Krzysztof) and D. Wikström

Range Extension for Weak PRFs; The Good, the Bad, and the Ugly In Proceedings

J. Sjödin and K.Z. Pietrzak (Krzysztof)

Non-trivial Black-Box Combiners for Collision-Resistant Hash-Functions Don't Exist In Proceedings

K.Z. Pietrzak (Krzysztof)

Indistinguishability Amplification In Proceedings

U. Maurer, K.Z. Pietrzak (Krzysztof) and R. Renner

Matroids, secretary problems, and online mechanisms In Proceedings

M. Babaioff, N.S. Immorlica (Nicole Simone) and R. Kleinberg

A second-order, unconditionally positive, mass-conserving integration scheme for biochemical systems. Article

F.J. Bruggeman (Frank), H. Burchard, B. Kooi and B.P. Sommeijer (Ben)

Secure Identification and QKD in the Bounded-Quantum-Storage Model In Proceedings

I.B. Damgård (Ivan), S. Fehr (Serge), L. Salvail (Louis) and C. Schaffner (Christian)

A Tight High-Order Entropic Quantum Uncertainty Relation With Applications In Proceedings

I.B. Damgård (Ivan), S. Fehr (Serge), R. Renner, L. Salvail (Louis) and C. Schaffner (Christian)

Optimal semicomputable approximations to reachable and invariant sets Article

P.J. Collins (Pieter)

Towards a matroid-minor structure theory Book Chapter

J. Geelen (Jim), A.M.H. Gerards (Bert) and G. Whittle (Geoff)

Mixed-integer vertex covers on bipartite graphs In Proceedings

A.M.H. Gerards (Bert), M. Conforti and G. Zambelli (Giacomo)

Packing odd circuits Article

M. Conforti and A.M.H. Gerards (Bert)

Excluding a planar graph from GF(q)-representable matroids Article

J. Geelen (Jim), A.M.H. Gerards (Bert) and G. Whittle (Geoff)

Semidefinite representations for finite varieties Article

M. Laurent (Monique)

Numerical aspects of special functions Article

N.M. Temme (Nico)

Computational methods for diffusion-influenced biochemical reactions Article

M. Dobrzynski (Maciej), J. Vidal Rodríguez, J.A. Kaandorp (Jaap) and J.G. Blom (Joke)

Efficient parameter estimation for spatio-temporal models of pattern formation: Case study of Drosophila melanogaster Article

Y. Fomekong Nanfack, J.A. Kaandorp (Jaap) and J.G. Blom (Joke)

Statistical mechanics of Arakawa`s discretizations Article

S. Dubinkina (Svetlana) and J.E. Frank (Jason)

Perfect simulation for length-interacting polygonal Markov fields in the plane Article

M.N.M. van Lieshout (Marie-Colette) and T. Schreiber

Interval Scheduling: A Survey Article

A.W.J. Kolen (Antoon), J.K. Lenstra (Jan Karel), C.H. Papadimitriou and F.C.R. Spieksma (Floske)

Image segmentation by polygonal Markov fields Article

R. Kluszczynski, M.N.M. van Lieshout (Marie-Colette) and T. Schreiber

A mathematical framework for modelling axon guidance Article

J.K. Krottje (Johannes) and A. van Ooyen

On global error estimation and control for initial value problems Article

J. Lang (Jens) and J.G. Verwer (Jan)

Reduction for Michaelis-Menten-Henri kinetics in the presence of diffusion Article

A. Zagaris (Antonios), L.V. Kalachev, H.G. Kaper, T.J. Kaper (Tasso Joost) and N. Popovic

Dynamic online surveys and experiments with the free open source software dynQuest Article

J.D.M. Rademacher (Jens) and S. Lippke

The saddle-node of nearly homogeneous wave trains in reaction-diffusion systems Article

J.D.M. Rademacher (Jens) and A. Scheel

Instabilities of Wave Trains and Turing Patterns in Large Domains Article

J.D.M. Rademacher (Jens) and A. Scheel

Computing absolute and essential spectra using continuation Article

J.D.M. Rademacher (Jens), A. Scheel and B. Sandstede

A multirate time stepping strategy for stiff ODEs Article

V. Savcenco (Valeriu), W. Hundsdorfer (Willem) and J.G. Verwer (Jan)

A remapped particle-mesh semi-Lagrangian advection scheme Article

C.J. Cotter, J.E. Frank (Jason) and S. Reich

Very similar items lost in the Web: An investigation of deduplication by Google Web search and other search engines In Proceedings

W. Mettrop (Wouter), P. Nieuwenhuysen and H. Smulders

Concept draaiboek reunie CWI 12-12-2006 Other

Toegangsbewijs Turingzaal presentaties 60 jaar SMC/CWI, 12-12-2006 Other

Badge reunie 12-12-2006 Other

Reünie 12.12.2006 : programmaboekje Booklet

Verlanglijstje Article

P. Klint (Paul)

On the flawed use of statistics in the case against the nurse Lucia de B. Article

P.D. Grünwald (Peter)

Discovering the truth by conducting experiments Master Thesis

W.M. Koolen-Wijkstra (Wouter)

Wiskunde gezever? Article

A. Schrijver (Lex)

De ideeën komen uit het niets Magazine Article

A. Schrijver (Lex)

Report on the Second International Workshop on Data Management on Modern Hardware (DaMoN'06) Article

A. Ailamaki (Anastasia), P.A. Boncz (Peter) and S. Manegold (Stefan)

Some conditional correlation inequalities for percolation and related processes Article

J. van den Berg (Rob), O. Häggström and J. Kahn

Stability of parallel queueing systems with coupled service rates Tech Report

S.C. Borst (Sem), M. Jonckheere (Matthieu) and L.S. Leskela (Lasse)

The crossing model for regular An-crystals Tech Report

V.I. Danilov, A.V. Karzanov and G.A. Koshevoy

Vox Populi: generating video documentaries from semantically annotated media repositories Dissertation

S. Bocconi

Conditional log-likelihood MDL and evolutionary MCMC Dissertation

M.M. Drugan

Numerical Analysis of Phytoplankton Dynamics Dissertation

N.N. Pham Thi (Nga)

Societal inspiration - scientific fascination : CWI in bedrijf, 16.11.2006 : uitnodiging Other

Maatschappelijke inspiratie - wetenschappelijke fascinatie : uitnodiging CWI in bedrijf, 16.11.2006 Other

Societal logistics : presented at CWI company day [CWI bedrijvendag] 16 November 2006 Online Video

Service Oriented Computing : presented at CWI company day [CWI bedrijvendag] 16 November 2006. Online Video

Earth and Life Sciences : presented at CWI company day [CWI bedrijvendag] 16 November 2006. Online Video

Data explosion : presented at CWI company day [CWI bedrijvendag] 16 November 2006 Online Video

Semantic annotation for retrieval of visual resources Dissertation

L. Hollink (Laura)

Robust Applications in Time-Shared Distributed Systems Dissertation

M.A. Dobber (Menno)

The art of computing : liber amicorum Piet Hemker [bij zijn afscheid op 17.11.2006] Miscellaneous

De Ochtend op Radio Noord-Holland News Broadcast

A. Schrijver (Lex)

Loop-lifted XQuery RPC with deterministic updates Tech Report

Y. Zhang (Ying) and P.A. Boncz (Peter)

An optimal bifactor approximation algorithm for the metric uncapacitated facility location problem Tech Report

J. Byrka (Jaroslaw)

Pruning state spaces with extended beam search Tech Report

M.T. Dashti (Mohammad) and A.J. Wijs (Anton)

Smart dimensioning of IP network links Tech Report

R. van de Meent, M.R.H. Mandjes (Michel) and A. Pras

/facet: A Browser for Heterogeneous Semantic Web Repositories Book Chapter

M. Hildebrand (Michiel), J.R. van Ossenbruggen (Jacco) and L. Hardman (Lynda)

MultimediaN E-Culture demonstrator Book Chapter

G. Schreiber (Guus), A.K. Amin (Alia), M. van Assem, V. de Boer (Victor), L. Hardman (Lynda), M. Hildebrand (Michiel), L. Hollink (Laura), Z. Huang, J. van Kersen, M. de Niet, et al. B. Omelayenko, J.R. van Ossenbruggen (Jacco), R. Siebes (Ronny), J. Taekema, J. Wielemaker (Jan) and B. Wielinga

Cognitive Agent Programming : a semantic approach Dissertation

M.B. van Riemsdijk

P2P XQuery and the StreetTiVo application In Proceedings

P.A. Boncz (Peter) and Y. Zhang (Ying)

Secure linear algebra using linearly recurrent sequences In Proceedings

E. Kiltz (Eike) and E. Weinreb (Enav)

Nieuw maximum voor kussen in meer dimensies Magazine Article

Redactie Kennis. institution

Circuit dependence of the diameter of pulsed positive streamers in air Tech Report

T.M.P. Briels (Tanja), J. Kos, E.M. van Veldhuizen and U. Ebert (Ute)

Two new variants of the manifold-mapping technique Tech Report

D. Echeverria (David)

Synthesis of Mealy machines using derivatives In Proceedings

H.H. Hansen (Helle), D.F. de Oliveira Costa (David) and J.J.M.M. Rutten (Jan)

Semidefinite programming, multivariate orthogonal polynomials, and codes in spherical caps Tech Report

C. Bachoc and F. Vallentin (Frank)

Coping with copies on the Web: Investigating deduplication by major search engines In Proceedings

W. Mettrop (Wouter), P. Nieuwenhuysen and H. Smulders

Network Flow Algorithms for Discrete Tomography Dissertation

K.J. Batenburg (Joost)

Jubileum uitje naar strand IJmuiden, 12.09.2006 : DVD met foto's Other

Quantum Algorithms, Lower Bounds, and Time-Space Tradeoffs Dissertation

R. Spalek (Robert)

Verification Techniques for Extensions of Equality Logic Dissertation

B. Badban (Bahareh)

XHTML-Print Standard

M. Grant, J Bigelow and S. Pemberton (Steven)

XHTML-Print In Proceedings

S. Pemberton (Steven) and not CWI et al

ApiGen for Java Software

J.J. Vinju (Jurgen), P.-E. Moreau and M.G.J. van den Brand (Mark)

RScript 0.1 Software

P. Klint (Paul)

Quantum Computing Research and PhD defence of R. Špalek Article

H.M. Buhrman (Harry)