Publications from 2017

Experiencing Events through User-Generated Media In Proceedings

R. Troncy (Raphael), A.T.S. Fialho (Andre), L. Hardman (Lynda) and C. Saathoff

Protecting high frequency IC's from electrostatic discharge In Proceedings

U. Ebert (Ute), J. Frenken, H. van der Graaf, N. Hermosa, S. Hofmann, G.M.W. Kroesen, C. Li (Chao), D. Makogon, M. Ranjan, P. Steeneken, et al. M. Trouwborst, E.J. Vesseur and O. Wunnicke

The task-dependent effect of tags and ratings on social media access Article

M. Clements (Maarten), A.P. de Vries (Arjen) and M.J.T. Reinders

XForms 1.1 Quick Reference Manual

S. Pemberton (Steven)

XHTML™ Basic 1.1 - Second Edition Book Chapter

S. Pemberton (Steven)

XHTML™ 1.1 - Module-based XHTML - Second edition Book Chapter

S. Pemberton (Steven)

XHTML-Print - Second Edition Book Chapter

S. Pemberton (Steven)

VirtualLeaf Software

R.M.H. Merks (Roeland), M.A. Guravage (Michael), D. Inze and G.T.S. Beemster

An Interactive, Multi-Modal Approach to Analysing High-Resolution Image Mass Spectrometry Data In Proceedings

F.A. Smit (Ferdi), R. van Liere (Robert), R.M.A. Heeren (Ron) and not CWI et al

Le Web sémantique Article

A. Bertails, I. Herman (Ivan) and S. Hawke

Simplified modelling of a thermal bath, with application to a fluid vortex system Article

S. Dubinkina (Svetlana), J.E. Frank (Jason) and B.J. Leimkuhler (Ben)

Lost in Translation? Empirical Analysis of Mapping Compositions for Large Ontologies In Proceedings

A. Tordai (Anna), J.R. van Ossenbruggen (Jacco), A. Ghazvinian, M. A. Musen and N.F. Noy

Grothendieck inequalities for semidefinite programs with rank constraint Tech Report

J. Briët (Jop), F.M. de Oliveira Filho (Fernando Mario) and F. Vallentin (Frank)

Higher Order Methods for Differential Inclusions Tech Report

S. Živanovic (Sanja) and P.J. Collins (Pieter)

Composition methods, Maxwell's equations and source terms Tech Report

J.G. Verwer (Jan)

Model abstraction of nondeterministic finite state automata in supervisor synthesis Article

R. Su (Rong), J.H. van Schuppen (Jan) and J.E. Rooda (Jacobus)

On the Lasserre hierarchy of semidefinite programming relaxations of convex polynomial optimization problems Tech Report

E. de Klerk (Etienne) and M. Laurent (Monique)

Confinement of matroid representations to subsets of partial fields Article

R. Pendavingh and S.H.M. van Zwam (Stefan)

Some (in)sufficient conditions for secure hybrid encryption Article

J. Herranz (Javier), D. Hofheinz (Dennis) and E. Kiltz (Eike)

Searching CLEF-IP by Strategy Book Chapter

W. Alink (Wouter), R. Cornacchia (Roberto) and A.P. de Vries (Arjen)

A semantic model for service composition with coordination time delays In Proceedings

N. Kokash (Natallia), B. Changizi (Behnaz) and F. Arbab (Farhad)

A Model of Context-Dependent Component Connectors Article

M.M. Bonsangue (Marcello), D.G. Clarke (David) and A.M. Silva (Alexandra)

A Decision Procedure for Bisimilarity of Generalized Regular Expressions In Proceedings

M.M. Bonsangue (Marcello), G. Caltais (Georgiana), E. Goriac, D. Lucanu (Dorel), J.J.M.M. Rutten (Jan) and A.M. Silva (Alexandra)

Quantitative Kleene coalgebras Article

A.M. Silva (Alexandra), F. Bonchi (Filippo), M.M. Bonsangue (Marcello) and J.J.M.M. Rutten (Jan)

Ontdek variatie in de wetenschap : flyer open dag WCW, 09.10,2010 Other

RDFa Core 1.1 Standard

B. Adida (Ben), M. Birbeck (Mark), S. McCarron (Shane) and I. Herman (Ivan)

Identifying Suitable YouTube Videos for Children In Proceedings

C. Eickhoff (Carsten) and A.P. de Vries (Arjen)

Web page classification on child suitability In Proceedings

C. Eickhoff (Carsten), P. Serdyukov and A.P. de Vries (Arjen)

Entity Ranking using Wikipedia as a Pivot In Proceedings

R. Kaptein (Rianne), P. Serdyukov, A.P. de Vries (Arjen) and J. Kamps

CSS Color Module Level 3 Manual

S. Pemberton (Steven) and not CWI et al

Enhancing Social Communication Between Groups In Proceedings

T. Stevens, P. Hughes (Peter), D. Williams (Doug), I. Craigie, I. Kegel (Ian), P.S. César Garcia (Pablo Santiago), A.J. Jansen (Jack), M.F. Usrsu, M. Frantzis, N. Farber (Niko), et al. M. Lutzky and S. Vogel

Hoe is het gesteld met het vak informatica op de middelbare school? Article

P. Klint (Paul)

Computational semantics with functional programming Book

D.J.N. van Eijck (Jan) and A. C. Unger (Christina)

Onderzoek naar Duurzame Energievraagstukken Magazine Article

J.A. La Poutré (Han) and not CWI et al

Een Complexe Logistieke Kwestie Article

K. Meerman, S. Sommen, S. Kroon, C. Witteveen (Cees) and J.A. La Poutré (Han)

The Anticipated Mean Shift and Cluster Registration in Mixture-based EDAs for Multi-Objective Optimization In Proceedings

P.A.N. Bosman (Peter)

Enhanced Hospital Resource Management using Anticipatory Policies in Online Dynamic Multi-objective Optimization In Proceedings

A.K. Hutzschenreuter (Anke Kristine), P.A.N. Bosman (Peter) and J.A. La Poutré (Han)

Switching investments In Proceedings

W.M. Koolen-Wijkstra (Wouter) and S. de Rooij (Steven)

Synthesis of Reo Circuits Through Decomposition of Complete Constraint Automata In Proceedings

B. Pourvatan, M. Sirjani (Marjan), F. Arbab (Farhad) and M.M. Bonsangue (Marcello)

Elements of interaction In Proceedings

F. Arbab (Farhad)

Domain-Specific Languages for Digital Forensics In Proceedings

J. van den Bos (Jeroen)

Monitoring Method Call Sequences using Annotations In Proceedings

B. Nobakht (Behrooz), M.M. Bonsangue (Marcello), F.S. de Boer (Frank) and C.P.T. de Gouw (Stijn)

Module discovery by exhaustive search for densely connected, co-expressed regions in biomolecular networks Article

R. Colak, F. Moser, J. Shu, A. Schönhuth (Alexander), N. Chen and M. Ester

Automatic and Manual Processes in End-User Multimedia Authoring Tools: Where is the Balance? In Proceedings

R.L. Guimarães (Rodrigo)

Drawing (Complete) Binary Tanglegrams: Hardness, Approximation, Fixed-Parameter Tractability Article

J. Byrka (Jaroslaw), K. Buchin, M. Buchin, M. Nollenburg, Y. Okamoto, R.I. Silveira and A. Wolff

Wiskunde zit in mijn genen Article

A. Schrijver (Lex)

Fourier analysis, linear programming, and densities of distance avoiding sets in {$R^n$} Article

F.M. de Oliveira Filho (Fernando Mario) and F. Vallentin (Frank)

Strict cost sharing schemes for Steiner forest Article

L. Fleischer, J. Könemann (Jochen), S. Leonardi (Stefano) and G. Schäfer (Guido)

Generalizing the powerset construction, coalgebraically Tech Report

A.M. Silva (Alexandra), F. Bonchi (Filippo), M.M. Bonsangue (Marcello) and J.J.M.M. Rutten (Jan)

On the inefficiency of equilibria in linear bottleneck congestion games In Proceedings

B. de Keijzer (Bart), G. Schäfer (Guido) and O. Telelis (Orestis)

Functional Modules in Protein-Protein Interaction Networks Book Chapter

M. Dittrich (Marcus), D. Beisser (Daniela), G.W. Klau (Gunnar) and T. Müller (Tobias)

Abstract Delta Modeling In Proceedings

D.G. Clarke (David), M. Helvensteijn (Michiel) and I. Schaefer

Jan de Witt's Elementa Curvarum Linearum Liber Secundus - annotated English translation from Latin Book

A.W. Grootendorst (Albert)

Epistemic Modelling and Protocol Dynamics Dissertation

Y. Wang (Yanjing)

Uitnodiging opening van de sport en activiteitenzaal, 14.09.2010 Other

Binomial generation of the radical of a lattice ideal Article

A. Katsampekis (Anargyros), M. Morales and A. Thoma

Lightning above the clouds Article

A. Luque (Alejandro) and U. Ebert (Ute)

A compositional semantics for stochastic Reo connectors In Proceedings

Y.-J. Moon (Young-Joo), A.M. Silva (Alexandra), C. Krause (born Köhler) (Christian) and F. Arbab (Farhad)

Inferring cancer subnetwork markers using density-constrained biclustering Article

P. Dao, R. Colak, R. Salari, F. Moser, A. Schönhuth (Alexander) and M. Ester

Two-Dimensional Supersymmetric Sigma Models on Almost-Product Manifolds and Non-Geometry Article

V. Stojevic (Vid)

Covariantly constant forms on torsionful geometries from world-sheet and spacetime perspectives Article

V. Stojevic (Vid)

Rascal 0.2alpha Software

J.J. Vinju (Jurgen), P. Klint (Paul), T. van der Storm (Tijs), M.A. Hills (Mark) and A.W. Lankamp (Arnold)

Pair HMM based gap statistics for re-evaluation of indels in alignments with affine gap penalties In Proceedings

A. Schönhuth (Alexander), R. Salari and S.C. Sahinalp

Graph-Based Analysis of the Metabolic Exchanges between Two Co-Resident Intracellular Symbionts, Baumannia cicadellinicola and Sulcia muelleri with Their Insect Host, Homalodisca coagulata Article

L. Cottret, P.V. Milreu (Paulo), V. Acuña (Vicente), A. Marchetti Spaccamela (Alberto), L. Stougie (Leen), H. Charles and M.-F. Sagot (Marie-France)

Coalgebraic Representation Theory of Fractals In Proceedings

I. Hasuo, B.P.F. Jacobs and M. Niqui (Milad)

From IPTV Services to Shared Experiences: Challenges in Architecture Design In Proceedings

I. Vaishnavi (Ishan), P.S. César Garcia (Pablo Santiago), D.C.A. Bulterman (Dick) and O. Friedrich

Multiple timescale Continuous-time Coding with Spiking Neurons In Proceedings

S.M. Bohte (Sander) and J.O. Rombouts (Jaldert)

The effect of varying path properties in path steering tasks In Proceedings

L. Liu (Lei) and R. van Liere (Robert)

Creating and Sharing Personalized Time-Based Annotations of Videos on the Web In Proceedings

R.L. Guimarães (Rodrigo), P.S. César Garcia (Pablo Santiago) and D.C.A. Bulterman (Dick)

Analyzing the Effect of Tagging by Combining Automatic and Manual Annotation Processes In Proceedings

R.L. Guimarães (Rodrigo)

Tracking Down the Origins of Ambiguity in Context-Free Grammars In Proceedings

H.J.S. Basten (Bas)

Overview of the wikipedia retrieval task at ImageCLEF 2010 In Proceedings

A. Popescu, T. Tsikrika (Theodora) and J. Kludas

Enumerating Chemical Organisations in Consistent Metabolic Networks: Complexity and Algorithms In Proceedings

P.V. Milreu (Paulo), V. Acuña (Vicente), E. Birmele, P. Crescenzi, A. Marchetti Spaccamela (Alberto), M.-F. Sagot (Marie-France), L. Stougie (Leen) and V. Lacroix

Designing comprehensible self-organising systems In Proceedings

N.F. Höning (Nicolas) and J.A. La Poutré (Han)

Towards optimal alignment of protein structure distance matrices Article

I. Wohlers (Inken), F.S. Domingues and G.W. Klau (Gunnar)

Escape of resources in a distributed clustering process Article

J. van den Berg (Rob), M.R. Hilario and A.E. Holroyd

Coloring geographical threshold graphs Article

M. Bradonjic, T. Müller (Tobias) and A.G. Percus

A J–function for inhomogeneous point processes Tech Report

M.N.M. van Lieshout (Marie-Colette)

Overview of the wikipediaMM task at ImageCLEF 2009 In Proceedings

T. Tsikrika (Theodora) and J. Kludas

Benchmarking adaptive indexing In Proceedings

G. Goetz, S. Idreos (Stratos), H. Kuno and S. Manegold (Stefan)

Buchi Automata for Modeling Component Connectors Article

M.M. Bonsangue (Marcello), D.G. Clarke (David) and M. Izadi (Mohammad)

Formal Methods for Components and Objects, 8th International Symposium, FMCO 2009 --- State-of-the-Art Survey Proceedings

Proceedings CMCS 2010 Proceedings

Proceedings of the 3rd Interaction and Concurrency Experience. Proceedings

Time and Data Aware Analysis of Graphical Service Models in Reo In Proceedings

N. Kokash (Natallia), C. Krause (born Köhler) (Christian) and E.P. de Vink (Erik)

A Note on Pooling of Labels in Random Fields Article

M.N.M. van Lieshout (Marie-Colette) and R.S. Stoica

Wiskunde: de uitdaging : vakantiecursus 2010 : Amsterdam, 27-28.08.2010 en Eindhoven, 03-04.09.2010 Other

Reliability and effectiveness of clickthrough data for automatic image annotation Article

T. Tsikrika (Theodora), C. Diou, A.P. de Vries (Arjen) and A. Delopoulos

Projection and backprojection in tomography: design choices and considerations In Proceedings

K.J. Batenburg (Joost), W.J. Palenstijn (Willem Jan) and J. Sijbers (Jan)

Dutch-French research team searches for errors in software - interview met P. Klint en J.K. Lenstra Magazine Article

P. Klint (Paul) and J.K. Lenstra (Jan Karel)

Non-Uniform Reductions Article

H.M. Buhrman (Harry), B. Hescott, S. Homer and L. Torenvliet (Leen)

Bit-interleaved coded modulation with shaping In Proceedings

A. Guillén i Fàbregas and A. Martinez (Alfonso)

SHORT-ROOT and SCARECROW regulate leaf growth in Arabidopsis by stimulating S-phase progression of the cell cycle. Article

S. Dhondt, F. Coppens, F. de Winter, K. Swarup, R.M.H. Merks (Roeland), D. Inze, M.J. Bennett and G.T.S. Beemster

Modeling Tuberculosis in Lung and Central Nervous System Master Thesis

M. El-Kebir (Mohammed)

Beyond the playlist: seamless playback of structured video clips Article

B. Gao (Bo), A.J. Jansen (Jack), P.S. César Garcia (Pablo Santiago) and D.C.A. Bulterman (Dick)

Computer assisted photo identification of Dermochelys coriacea In Proceedings

P.M. de Zeeuw (Paul), E.J.E.M. Pauwels (Eric), E.B. Ranguelova (Elena), D.M. Buonantony and S.A. Eckert

Inhomogeneous extreme forms Tech Report

M. Dutour Sikirić (Mathieu), A. Schuermann and F. Vallentin (Frank)

Magnetohydrodynamic Effects on Insulating Bubbles and Inclusions in the Continuous Casting of Steel Article

J.W. Haverkort (Willem) and T.W.J. Peeters

Better Search Applications Through Domain Specific Context Descriptions: a Position Paper In Proceedings

C. Boscarino (Corrado), A.P. de Vries (Arjen) and J.R. van Ossenbruggen (Jacco)

Search for journalists: New York Times challenge report In Proceedings

C. Boscarino (Corrado), A.P. de Vries (Arjen) and W. Alink (Wouter)