Publications from 2013
-
Experiencing Events through User-Generated Media In Proceedings
November 2010 -
Protecting high frequency IC's from electrostatic discharge In Proceedings
November 2010 -
The task-dependent effect of tags and ratings on social media access Article
ACM Transactions on Information Systems, 28(4), 1-42.November 2010 -
XForms 1.1 Quick Reference Manual
November 2010 -
XHTML™ Basic 1.1 - Second Edition Book Chapter
November 2010 -
XHTML™ 1.1 - Module-based XHTML - Second edition Book Chapter
November 2010 -
XHTML-Print - Second Edition Book Chapter
November 2010 -
VirtualLeaf Software
November 2010 -
An Interactive, Multi-Modal Approach to Analysing High-Resolution Image Mass Spectrometry Data In Proceedings
November 2010 -
Le Web sémantique Article
Réalités Industrielles, 84-89.November 2010 -
Simplified modelling of a thermal bath, with application to a fluid vortex system Article
Multiscale Modeling and Simulation, 8(2010), 1882-1901.November 2010 -
November 2010
-
November 2010
-
Higher Order Methods for Differential Inclusions Tech Report
November 2010 -
November 2010
-
Model abstraction of nondeterministic finite state automata in supervisor synthesis Article
IEEE Transactions on Automatic ControlNovember 2010 -
On the Lasserre hierarchy of semidefinite programming relaxations of convex polynomial optimization problems Tech Report
November 2010 -
Confinement of matroid representations to subsets of partial fields Article
Journal of Combinatorial Theory - Series B, 100(6), 510-545.November 2010 -
Some (in)sufficient conditions for secure hybrid encryption Article
Information and Computation, 208(11), 1243-1257.November 2010 -
Searching CLEF-IP by Strategy Book Chapter
November 2010 -
November 2010
-
A Model of Context-Dependent Component Connectors Article
Science of Computer ProgrammingNovember 2010 -
November 2010
-
Quantitative Kleene coalgebras Article
Information and Computation, 209(5), 822-849.November 2010 -
October 2010
-
RDFa Core 1.1 Standard
October 2010 -
Identifying Suitable YouTube Videos for Children In Proceedings
October 2010 -
Web page classification on child suitability In Proceedings
October 2010 -
Entity Ranking using Wikipedia as a Pivot In Proceedings
October 2010 -
CSS Color Module Level 3 Manual
October 2010 -
Enhancing Social Communication Between Groups In Proceedings
October 2010 -
Hoe is het gesteld met het vak informatica op de middelbare school? Article
I/O ICT Onderzoek, 7(3), 17-17.October 2010 -
October 2010
-
Onderzoek naar Duurzame Energievraagstukken Magazine Article
October 2010 -
Een Complexe Logistieke Kwestie Article
I/O ICT Onderzoek, 3-5.October 2010 -
The Anticipated Mean Shift and Cluster Registration in Mixture-based EDAs for Multi-Objective Optimization In Proceedings
October 2010 -
Enhanced Hospital Resource Management using Anticipatory Policies in Online Dynamic Multi-objective Optimization In Proceedings
October 2010 -
Switching investments In Proceedings
October 2010 -
October 2010
-
Elements of interaction In Proceedings
October 2010 -
Domain-Specific Languages for Digital Forensics In Proceedings
October 2010 -
Monitoring Method Call Sequences using Annotations In Proceedings
October 2010 -
Module discovery by exhaustive search for densely connected, co-expressed regions in biomolecular networks Article
PLoS ONE, 5(10)October 2010 -
Automatic and Manual Processes in End-User Multimedia Authoring Tools: Where is the Balance? In Proceedings
October 2010 -
Drawing (Complete) Binary Tanglegrams: Hardness, Approximation, Fixed-Parameter Tractability Article
AlgorithmicaOctober 2010 -
Wiskunde zit in mijn genen Article
United Academics Magazine, 6-7.October 2010 -
Fourier analysis, linear programming, and densities of distance avoiding sets in {$R^n$} Article
Journal of the European Mathematical Society, 1417-1428.October 2010 -
Strict cost sharing schemes for Steiner forest Article
SIAM Journal on Computing, 39(8), 3616-3632.October 2010 -
October 2010
-
October 2010
-
October 2010
-
Abstract Delta Modeling In Proceedings
October 2010 -
Jan de Witt's Elementa Curvarum Linearum Liber Secundus - annotated English translation from Latin Book
October 2010 -
Epistemic Modelling and Protocol Dynamics Dissertation
Software Analysis and TransformationSeptember 2010 -
September 2010
-
Binomial generation of the radical of a lattice ideal Article
Journal of Algebra, 324(6)September 2010 -
Lightning above the clouds Article
Europhysics News, 41(5), 19-22.September 2010 -
A compositional semantics for stochastic Reo connectors In Proceedings
September 2010 -
Inferring cancer subnetwork markers using density-constrained biclustering Article
Bioinformatics, 26(18), i625-i631.September 2010 -
Two-Dimensional Supersymmetric Sigma Models on Almost-Product Manifolds and Non-Geometry Article
Classical and Quantum GravitySeptember 2010 -
Covariantly constant forms on torsionful geometries from world-sheet and spacetime perspectives Article
Journal of High Energy Physics, 2010(9), 1-33.September 2010 -
Rascal 0.2alpha Software
September 2010 -
Pair HMM based gap statistics for re-evaluation of indels in alignments with affine gap penalties In Proceedings
September 2010 -
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
PLoS Computational BiologySeptember 2010 -
Coalgebraic Representation Theory of Fractals In Proceedings
September 2010 -
September 2010
-
September 2010
-
The effect of varying path properties in path steering tasks In Proceedings
September 2010 -
September 2010
-
Analyzing the Effect of Tagging by Combining Automatic and Manual Annotation Processes In Proceedings
September 2010 -
September 2010
-
Overview of the wikipedia retrieval task at ImageCLEF 2010 In Proceedings
September 2010 -
Enumerating Chemical Organisations in Consistent Metabolic Networks: Complexity and Algorithms In Proceedings
September 2010 -
Designing comprehensible self-organising systems In Proceedings
September 2010 -
Towards optimal alignment of protein structure distance matrices Article
Bioinformatics, 26(18), 2273-2280.September 2010 -
Escape of resources in a distributed clustering process Article
Electronic Communications in ProbabilitySeptember 2010 -
Coloring geographical threshold graphs Article
Discrete Mathematics & Theoretical Computer Science, 12(3), 103-114.September 2010 -
A J–function for inhomogeneous point processes Tech Report
September 2010 -
Overview of the wikipediaMM task at ImageCLEF 2009 In Proceedings
September 2010 -
Benchmarking adaptive indexing In Proceedings
September 2010 -
Buchi Automata for Modeling Component Connectors Article
Software and System ModellingSeptember 2010 -
September 2010
-
Proceedings CMCS 2010 Proceedings
September 2010 -
September 2010
-
September 2010
-
A Note on Pooling of Labels in Random Fields Article
Statistics and Probability Letters, 80(17-18), 1431-1436.September 2010 -
Wiskunde: de uitdaging : vakantiecursus 2010 : Amsterdam, 27-28.08.2010 en Eindhoven, 03-04.09.2010 Other
August 2010 -
Reliability and effectiveness of clickthrough data for automatic image annotation Article
International Journal on Multimedia Tools and Applications, 55(1), 27-52.August 2010 -
August 2010
-
Dutch-French research team searches for errors in software - interview met P. Klint en J.K. Lenstra Magazine Article
August 2010 -
Non-Uniform Reductions Article
Theory of Computing Systems, 47(2), 143-156.August 2010 -
Bit-interleaved coded modulation with shaping In Proceedings
August 2010 -
SHORT-ROOT and SCARECROW regulate leaf growth in Arabidopsis by stimulating S-phase progression of the cell cycle. Article
Plant Physiology, 1183-1195.August 2010 -
Modeling Tuberculosis in Lung and Central Nervous System Master Thesis
August 2010 -
Beyond the playlist: seamless playback of structured video clips Article
IEEE Transactions on Consumer Electronics, 56(3), 1495-1501.August 2010 -
August 2010
-
Inhomogeneous extreme forms Tech Report
August 2010 -
Magnetohydrodynamic Effects on Insulating Bubbles and Inclusions in the Continuous Casting of Steel Article
Metallurgical and Materials Transactions B, 41B(6), 1240-1246.August 2010 -
Better Search Applications Through Domain Specific Context Descriptions: a Position Paper In Proceedings
August 2010 -
Search for journalists: New York Times challenge report In Proceedings
August 2010