Centrum Wiskunde & Informatica: Centrum Wiskunde & Informatica

Finding pages on the unarchived Web In Proceedings

J. Kamps, A. Ben-David, H.C. Huurdeman, A.P. de Vries (Arjen) and T. Samar (Thaer)

January 2014
Mean Square Convergence Rates for Maximum (Quasi) Likelihood Estimation Article

Stochastic Systems, 1-29.

A.V. den Boer (Arnoud) and A.P. Zwart (Bert)

January 2014
Fluid and diffusion approximations for Markovian bandwidth sharing networks with rate constraints Article

Operations Research, 1453-1466.

J. Reed (Josh) and A.P. Zwart (Bert)

January 2014
Corrected phase-type approximations of heavy-tailed queueing models in a Markovian environment Article

Stochastic Models, 598-638.

E. Vatamidou (Eleni), I.J.B.F. Adan, M. Vlasiou (Maria) and A.P. Zwart (Bert)

January 2014
On the accuracy of phase-type approximations of heavy-tailed risk models. Article

Scandinavian Actuarial Journal, 510-534.

E. Vatamidou (Eleni), I.J.B.F. Adan, M. Vlasiou (Maria) and A.P. Zwart (Bert)

January 2014
Fluid Limits for Bandwidth-Sharing Networks in Overload Article

Mathematics of Operations Research, 533-560.

S.C. Borst (Sem), R.R. Egorova (Regina Robertovna) and A.P. Zwart (Bert)

January 2014
Random fluid limit of an overloaded polling model Article

Advances in Applied Probability, 76-101.

M. Frolkova (Masha), S.G. Foss (Sergey) and A.P. Zwart (Bert)

January 2014
Scheduling over Scenarios on Two Machines In Proceedings

E. Feuerstein, A. Marchetti Spaccamela (Alberto), F. Schalekamp (Frans), R.A. Sitters (René), S.L. van der Ster (Suzanne), L. Stougie (Leen) and A. van Zuylen (Anke)

January 2014
Strong LP Formulations for Scheduling Splittable Jobs on Unrelated Machines In Proceedings

J. Correa (José), A. Marchetti Spaccamela (Alberto), J. Matuschke, O. Svensson (Ola), L. Stougie (Leen), V. Verdugo (Víctor) and J. Verschae (José)

January 2014
Fast Flux Module Detection using Matroid Theory In Proceedings

A. Müller, F.J. Bruggeman (Frank), B.G. Olivier (Brett) and L. Stougie (Leen)

January 2014
Approximation in two-stage stochastic integer programming Article

Surveys in Operations Research and Management Science, 17-33.

W. Romeijnders (Ward), L. Stougie (Leen) and M. van der Vlerk

January 2014
A simple randomised algorithm for convex optimisation - Application to two-stage stochastic programming. Article

Mathematical Programming, 207-229.

M. Dyer (Martin), R. Kannan and L. Stougie (Leen)

January 2014
Telling metabolic stories to explore metabolomics data -- A case study on the Yeast response to cadmium exposure Article

Bioinformatics, 30(1), 61-70.

P.V. Milreu (Paulo), C.C. Klein (Cecilia), L. Cottret, V. Acuña (Vicente), E. Birmele, M. Borassi, C. Junot, A. Marchetti Spaccamela (Alberto), A. Morino, L. Stougie (Leen), et al. F. Jourdan,

January 2014
Ordinary Differential Equations -- Lecture Notes 2014-2015 Tech Report

W. Hundsdorfer (Willem)

January 2014
Numerical Methods -- Lecture Notes 2014-2015 Tech Report

W. Hundsdorfer (Willem)

January 2014
Tracking set correlations at large scale In Proceedings

F. Alvanaki (Foteini) and S. Michel

January 2014
Error Analysis of Explicit Partitioned Runge-Kutta Schemes for Conservation Laws Article

Journal of Scientific Computing

W. Hundsdorfer (Willem), D.I. Ketcheson and I. Savostianov (Igor)

January 2014
Torsion Limits and Riemann-Roch Systems for Function Fields and Applications Article

IEEE Transactions on Information Theory, 60(7), 3871-3888.

I. Cascudo (Ignacio), R.J.F. Cramer (Ronald) and C. Xing (Chaoping)

January 2014
On the Amortized Complexity of Zero-Knowledge Protocols Article

Journal of Cryptology, 27(2), 285-316.

R.J.F. Cramer (Ronald), I.B. Damgård (Ivan) and M.K.S. Keller (Marcel)

January 2014
Towards Type-Based Optimizations in Distributed Applications Using ABS and JAVA 8 In Proceedings

V.N. Serbanescu (Vlad), C. Nagarajagowda (Chetan), K. Azadbakht (Keyvan), F.S. de Boer (Frank) and B. Nobakht (Behrooz)

January 2014
The social discount rate under a stochastic A2 scenario Tech Report

R.F.T. Aalbers, M.J. Ruijter (Marjon) and C.W. Oosterlee (Kees)

January 2014
Computational screening of angiogenesis model variants predicts that differential chemotaxis helps tip cells move to the sprout tip and accelerates sprouting Tech Report

M.M. Palm (Margriet), M.G. Dallinga (Marchien), E. van Dijk (Erik), I. Klaassen (Ingeborg), R.O. Schlingemann (Reinier) and R.M.H. Merks (Roeland)

January 2014
Meerkat Parsers: General Top-down Parser Combinator Library Lecture

A. Izmaylova (Anastasia), A. Afroozeh (Ali) and T. van der Storm (Tijs)

January 2014
Tools for Adapting Game Mechanics and Mixed-Initiative Level Design Lecture

R.A. van Rozen (Riemer), K.D. Karavolos (Daniël) and S. Leijnen

January 2014
What do we know about the success of MDD? An update from research Lecture

T. van der Storm (Tijs)

January 2014
Workshop Adapting Game Mechanics with Micro-Machinations Lecture

R.A. van Rozen (Riemer)

January 2014
Live Game Software Verbeteren Lecture

L. Roosendaal and R.A. van Rozen (Riemer)

January 2014
Adapting Game Mechanics with Micro-Machinations In Proceedings

R.A. van Rozen (Riemer) and J. Dormans (Joris)

January 2014
The TTC 2014 Movie Database Case: Rascal In Proceedings

P.A. Inostroza Valdera (Pablo) and T. van der Storm (Tijs)

January 2014
The TTC 2014 FIXML Case: Rascal Solution In Proceedings

P.A. Inostroza Valdera (Pablo) and T. van der Storm (Tijs)

January 2014
Model Differencing for Textual DSLs In Proceedings

R.A. van Rozen (Riemer) and T. van der Storm (Tijs)

January 2014
Evolving Languages with Object Algebras In Proceedings

P.A. Inostroza Valdera (Pablo) and T. van der Storm (Tijs)

January 2014
Softwarekwaliteit? Natuurlijk! Magazine Article

T. van der Storm (Tijs)

January 2014
Who's afraid of Object Algebras? Lecture

T. van der Storm (Tijs)

January 2014
Hack your DSL with Rascal Lecture

T. van der Storm (Tijs) and P.A. Inostroza Valdera (Pablo)

January 2014
Interaction Design for Fragment-Based Molecule Parameterisation Master Thesis

J.M. van der Woning (Jimi)

January 2014
FORS: Separating Configuration From Formal Specification Master Thesis

C. Peters (Chiel)

January 2014
LAPD: Language-Agnostic Program Database Master Thesis

W.A. Kwakernaak (Wouter)

January 2014
BatchJS: Implementing Batches in JavaScript Master Thesis

D. Kasemier

January 2014
Evaluation of Static JavaScript Call Graph Algorithms Master Thesis

J.-J. Dijkstra (Jorryt-Jan)

January 2014
What Programmers do with Inheritance in Java and C# Master Thesis

B. Brekelmans

January 2014
Migration of MS Access Databases to Mendix Platform Master Thesis

T. Boudale (Theodora)

January 2014
Strategies to Increase Accuracy in Text Classification Master Thesis

D. Blommesteijn (Dennis)

January 2014
Efficient Approximate JavaScript Call Graph Construction Master Thesis

S. Benschop (Sander)

January 2014
Comparing MongoDB to SQL Server, Replicated Master Thesis

K. Azizi

January 2014
"What Programmers Do with Inheritance in Java" Replicated on Source Code Master Thesis

C. Aytekin (Cigdem)

January 2014
A metrics-based comparison of secondary user quality between iOS and Android Master Thesis

T. Amman

January 2014
Extensible language implementation with object algebras (short paper) In Proceedings

M. Gouseti (Mary), C. Peters (Chiel) and T. van der Storm (Tijs)

January 2014
Tracing program transformations with string origins In Proceedings

P.A. Inostroza Valdera (Pablo), T. van der Storm (Tijs) and S. Erdweg (Sebastian)

January 2014
Capture-avoiding and hygienic program transformations In Proceedings

S. Erdweg (Sebastian), T. van der Storm (Tijs) and Y. Dai (Yi)

January 2014
Orentation master's plant sciences and natural products Presentation

R.M.H. Merks (Roeland)

January 2014
Implicit Particle-in-Cell simulations of wave-particle interactions between electrons and whistler waves in the radiation belt In Proceedings

E. Camporeale (Enrico)

January 2014
Run-Time Assertion Checking of Data- and Protocol-Oriented Properties of Java Programs: An Industrial Case Study Book Chapter

C.P.T. de Gouw (Stijn), F.S. de Boer (Frank), E.B. Johnsen (Einar Broch), A. Kohn (André) and P.Y.H. Wong

January 2014
Integrating Testing into Agile Software Development Processes In Proceedings

M.M. Bonsangue (Marcello), R. van den Broek, M. Chaudron and H. van Merode

January 2014
Combining Bialgebraic Semantics and Equations In Proceedings

J.C. Rot (Jurriaan) and M.M. Bonsangue (Marcello)

January 2014
Leaving traces: a note on a sound and complete trace logic for concurrent constraint programs In Proceedings

F.S. de Boer (Frank) and M. Gabbrielli

January 2014
Algebra-coalgebra duality in Brzozowski's minimization algorithm Article

ACM Transactions on Computational Logic, 15(1)

F. Bonchi (Filippo), M.M. Bonsangue (Marcello), H.H. Hansen (Helle), P. Panangaden, J.J.M.M. Rutten (Jan) and A.M. Silva (Alexandra)

January 2014
A note on typed behavioural differential equations In Proceedings

H.H. Hansen (Helle), H. Basold (Henning) and J.J.M.M. Rutten (Jan)

January 2014
A final coalgebra for k-regular sequences In Proceedings

H.H. Hansen (Helle), C.A. Kupke (Clemens), J.J.M.M. Rutten (Jan) and J. Winter (Joost)

January 2014
(Co)algebraic chraracterizations of signal flow graphs In Proceedings

H.H. Hansen (Helle), H. Basold (Henning), M.M. Bonsangue (Marcello) and J.J.M.M. Rutten (Jan)

January 2014
Strong completeness for iteration-free coalgebraic dynamic logics In Proceedings

H.H. Hansen (Helle), C.A. Kupke (Clemens) and R.A. Leal

January 2014
Scaling future software: the manycore challenge Article

ERCIM News

F.S. de Boer (Frank), E.B. Johnsen (Einar Broch), D.G. Clarke (David), S. Drossopoulou, N. Yoshida (Nobuko) and T. Wrigstad

January 2014
Programming with actors in Java 8 In Proceedings

B. Nobakht (Behrooz) and F.S. de Boer (Frank)

January 2014
Formal modeling and analysis of resource management for cloud architectures: an industrial case study using real-time ABS Article

Service Oriented Computing and Applications, 8(4), 323-339.

E. Albert (Elvira), F.S. de Boer (Frank), R Haehnle, E.B. Johnsen (Einar Broch), R. Schlatte (Rudolf), S.L.T. Tarifa and P.Y.H. Wong

January 2014
Proof Pearl: the KeY to correct and stable sorting Article

Journal of Automated Reasoning, 53(2), 129-139.

C.P.T. de Gouw (Stijn), F.S. de Boer (Frank) and J.C. Rot (Jurriaan)

January 2014
The next boom of big data in biology: multicellular datasets Article

ERCIM News, 11-12.

R.M.H. Merks (Roeland)

January 2014
Pipage Rounding, Pessimistic Estimators and Matrix Concentration In Proceedings

N.J.A. Harvey and N.K. Olver (Neil)

January 2014
Accomplishments in Virtual Reality Lecture

R. van Liere (Robert)

January 2014
A Novel Population-based Multi-Objective CMA-ES and the Impact of Different Constraint Handling Techniques In Proceedings

S.F. Rodrigues (Sílvio), P. Bauer (Pavol) and P.A.N. Bosman (Peter)

January 2014
Market Garden: a Simulation Environment for Research and User Experience in Smart Grids In Proceedings

B.J. Liefers (Bart), F.N. Claessen (Felix), E.J.E.M. Pauwels (Eric), P.A.N. Bosman (Peter) and J.A. La Poutré (Han)

January 2014
Collection Network Cable Routing and Wake Losses Optimization in Offshore Wind Farms In Proceedings

S.F. Rodrigues (Sílvio), P. Bauer (Pavol), P.A.N. Bosman (Peter) and J. Pierik

January 2014
A multi-resolution strategy for a multi-objective deformable image registration framework that accommodates large anatomical differences In Proceedings

T. Alderliesten (Tanja), P.A.N. Bosman (Peter), J.-J. Sonke (Jan-Jakob) and A. Bel (Arjan)

January 2014
On the Shadow Simplex Method for Curved Polyhedra Tech Report

D.N. Dadush (Daniel) and N. Hähnle

January 2014
Solving the Shortest Vector Problem in 2^n Time via Discrete Gaussian Sampling Tech Report

D. Aggarwal (Divesh), D.N. Dadush (Daniel), O. Regev (Oded) and N. Stephens-Davidowitz (Noah)

January 2014
Parallel repetition of entangled games with exponential decay via the superposed information cost In Proceedings

A.G. Chailloux (André) and G. Scarpa (Giannicola)

January 2014
Graph-theoretical bounds on the entangled value of non-local games In Proceedings

A.G. Chailloux (André), L. Mančinska (Laura), G. Scarpa (Giannicola) and S. Severini (Simone)

January 2014
Difficult instances of the counting problem for 2-quantum-SAT are very atypical In Proceedings

J.R.N. de Beaudrap (Jonathan)

January 2014
Quantum linear network coding as one-way quantum computation In Proceedings

J.R.N. de Beaudrap (Jonathan) and M. Roetteler

January 2014
Quantumalgoritmes en cryptografie Article

Nederlands Tijdschrift voor Natuurkunde, 80(6), 183-185.

R.M. de Wolf (Ronald)

January 2014
Kwantumcomputers (verslag van Vidi project) Article

Nieuw Archief voor Wiskunde, 15(3), 173-175.

R.M. de Wolf (Ronald)

January 2014
Inference Lecture

E. Quaeghebeur (Erik) and G. de Cooman

January 2014
How low can approximate degree and quantum query complexity be for total Boolean functions? Article

Computational Complexity, 23(2), 305-322.

A. Ambainis (Andris) and R.M. de Wolf (Ronald)

January 2014
Modelling risk & uncertainty using accept & reject statements Lecture

E. Quaeghebeur (Erik)

January 2014
Connecting choice functions and sets of desirable gambles Lecture

A. Van Camp (Arthur), G. de Cooman and E. Quaeghebeur (Erik)

January 2014
Exact Reconciliation of undated trees Tech Report

L.J.J. van Iersel (Leo), C. Scornavacca and S.M. Kelk (Steven)

January 2014
Kernelizations for the hybridization number problem on multiple nonbinary trees In Proceedings

L.J.J. van Iersel (Leo), S.M. Kelk (Steven) and C. Scornavacca

January 2014
The agreement problem for unrooted phylogenetic trees is FPT Article

Journal of Graph Algorithms and Applications, 18(3), 385-392.

C. Scornavacca, L.J.J. van Iersel (Leo), S.M. Kelk (Steven) and D. Bryant

January 2014
Spatial computing in interactive architecture Book Chapter

S.O. Dulman (Stefan)

January 2014
Applying Spatial Computing to Everyday Interactive Designs In Proceedings

S.O. Dulman (Stefan) and C. Kievid

January 2014
Knowledge, Belief, Probabilities, Updates, Model Checking Presentation

D.J.N. van Eijck (Jan)

January 2014
Belief, Probabilities, Updates, and Model Checking Presentation

D.J.N. van Eijck (Jan)

January 2014
Logic, (Functional) Programming, Model Checking Presentation

D.J.N. van Eijck (Jan)

January 2014
Programming for DEL Tutorial Day Presentation

D.J.N. van Eijck (Jan)

January 2014
Logic, Languages and Programming Presentation

D.J.N. van Eijck (Jan)

January 2014
Logic in Action Book

J. F. A. K. van Benthem (Johan), H. van Ditmarsch (Hans), D.J.N. van Eijck (Jan) and J.O.M. Jaspars

January 2014
Epistemic Probability Logic Simplified Book Chapter

D.J.N. van Eijck (Jan) and F. Schwarzentruber

January 2014
Formal Approaches to Social Procedures Book Chapter

D.J.N. van Eijck (Jan) and R. Verbrugge (Rineke)

January 2014
Dynamic Epistemic Logics Book Chapter

D.J.N. van Eijck (Jan)

January 2014
Rational approximations and quantum algorithms with postselection Article

Quantum Information and Computation, 15(3&4), 297-309.

U. Mahadev and R.M. de Wolf (Ronald)

January 2014
Optimal parallel quantum query algorithms In Proceedings

S. Jeffery (Stacey), F. Magniez and R.M. de Wolf (Ronald)

January 2014

Previous

Next

Available Years