Publications from 2013
-
Wikimedia Conferentie Nederland Conferentieboek Proceedings
November 2011 -
Computing the Grothendieck constant of some graph classes Article
Operations Research Letters, 39(6), 452-456.November 2011 -
Tom Staal brengt Piet Beertema een kudo Online Video
November 2011 -
On the control of the paint factory scale model Tech Report
November 2011 -
Dot product representations of planar graphs Article
Electronic Journal of Combinatorics, 18(1)November 2011 -
A uniform asymptotic expansion for weighted sums of exponentials Article
Statistics and Probability Letters, 81(11), 1571-1579.November 2011 -
From computability to executability : a process-theoretic view on automata theory Dissertation
CWI managementOctober 2011 -
Grothendieck Inequalities, Nonlocal Games and Optimization Dissertation
Algorithms and ComplexityOctober 2011 -
Stochastic models for quality of service of component connectors Dissertation
Computer SecurityOctober 2011 -
Compression-based Similarity Tech Report
October 2011 -
October 2011
-
On the relative importance of excluded minors Article
Advances in Applied Mathematics, 50(1), 228-242.October 2011 -
Crisis? Investeer in inventie Article
Automatisering GidsOctober 2011 -
October 2011
-
AmbiDexter Software
October 2011 -
MonetDB Aug2011-SP2 bugfix release Software
October 2011 -
CIKM '11: Proceedings of the 20th ACM international conference on Information and knowledge management Proceedings
October 2011 -
October 2011
-
October 2011
-
Interview on Polish radio News Broadcast
October 2011 -
October 2011
-
October 2011
-
Combining initial segments of lists In Proceedings
October 2011 -
Probing background ionization: Positive streamers with a varying pulse repetition rate and with a radioactive admixture Article
Journal of Physics D: Applied PhysicsOctober 2011 -
Electron density fluctuations accelerate the branching of positive streamer discharges in air Article
Physical Review E: Statistical, Nonlinear, and Soft Matter Physics, 84(046411)October 2011 -
An Algorithm to Compute the Character Access Count Distribution for Pattern Matching Algorithms Article
Algorithms, 285-306.October 2011 -
BooksOnline'11: 4th Workshop on Online Books, Complementary Social Media, and Crowdsourcing In Proceedings
October 2011 -
The Where in the Tweet In Proceedings
October 2011 -
Generating Links to Background Knowledge: A Case Study in Annotating Radiology Reports In Proceedings
October 2011 -
A critical evaluation of network and pathway based classifiers for outcome prediction in breast cancer Tech Report
October 2011 -
On the relative importance of excluded minors Tech Report
October 2011 -
Stability, fragility, and Rota's Conjecture Article
Journal of Combinatorial Theory - Series BOctober 2011 -
September 2011
-
Poster: Optimal dispatching policies for parallel processor sharing nodes with partial information In Proceedings
September 2011 -
September 2011
-
Kan er theoretisch gezien een hackvrije computer gemaakt worden? Kettingvraag in het programma Hoe?Zo! Radio, 15.09.2011 [4:10] News Broadcast
September 2011 -
Idioms-based Business Rule Extraction Master Thesis
September 2011 -
Differencing Context-Free Grammars Master Thesis
September 2011 -
September 2011
-
Over naaimachines en patenten Article
I/O ICT Onderzoek, 8(3), 19-19.September 2011 -
MonetDB Aug2011-SP1 bugfix release Software
September 2011 -
MonetDB Aug2011-feature release Software
September 2011 -
'Ik zit nauwelijks achter de computer' Magazine Article
September 2011 -
Actuariële wetenschappen en financiële wiskunde: op weg naar convergentie? Article
Nieuw Archief voor Wiskunde, 5/12(3), 203-205.September 2011 -
SAR image classification with non-stationary multinomial logistic mixture of amplitude and texture densities In Proceedings
September 2011 -
Preface Proceedings
September 2011 -
September 2011
-
A Query Performance Analysis for Result Diversification In Proceedings
September 2011 -
SciQL, Bridging the Gap between Science and Relational DBMS In Proceedings
September 2011 -
Integration of VectorWise with Ingres Article
ACM SIGMOD Record, 40(3)September 2011 -
The structure of graphs with a vital linkage of order 2 Article
Journal of Graph TheorySeptember 2011 -
September 2011
-
Mixed-Criticality Scheduling of Sporadic Task Systems In Proceedings
September 2011 -
September 2011
-
Interactive Vocabulary Alignment In Proceedings
September 2011 -
Some mathematical refinements concerning error minimization in the genetic code Article
IEEE/ACM Transactions on Computational Biology and Bioinformatics, 1358-1372.September 2011 -
August 2011
-
August 2011
-
August 2011
-
Atomen tellen Article
Nederlands Tijdschrift voor NatuurkundeAugust 2011 -
Financial Focus (vol. 2, no. 8, pp. 4) Magazine Article
August 2011 -
August 2011
-
August 2011
-
Verification of object-oriented programs: A transformational approach Article
Journal of Computer and System SciencesAugust 2011 -
Reactive Turing machines In Proceedings
August 2011 -
A process algebra for supervisory coordination In Proceedings
August 2011 -
Correlating Formal Semantic Models of Reo Connectors: Connector Coloring and Constraint Automata In Proceedings
August 2011 -
Adaptive Strategies for Dynamic Pricing Agents In Proceedings
August 2011 -
Feather-like structures in positive streamers interpreted as electron avalanches Article
Japanese Journal of Applied PhysicsAugust 2011 -
Boltzmann equation analysis of electron transport in a N2-O2 streamer discharge Article
Japanese Journal of Applied PhysicsAugust 2011 -
August 2011
-
Reo + mCRL2: A Framework for Model-checking Dataflow in Service Compositions Article
Formal Aspects of Computing, 1-30.August 2011 -
Formal Design and Verification of Long-Running Transactions with Extensible Coordination Tools Article
IEEE Transactions on Services Computing, PP(99)August 2011 -
The Torsion-Limit for Algebraic Function Fields and Its Application to Arithmetic Secret Sharing In Proceedings
August 2011 -
The tail of the maximum of Brownian motion minus a parabola Article
Electronic Communications in Probability, 458-466.August 2011 -
July 2011
-
A Lévy input queuing model with additional state-dependent services Article
Stochastic Processes and their Applications, 121(7), 1546-1564.July 2011 -
An automated archival VLA transients survey Article
Monthly Notices of the Royal Astronomical Society, 415(1)July 2011 -
Ensō Software
July 2011 -
MonetDB Apr2011-SP2 bugfix release Software
July 2011 -
Bipartite Ranking through Minimization of Univariate Loss In Proceedings
July 2011 -
Maximum Likelihood vs. Sequential Normalized Maximum Likelihood in On-line Density Estimation In Proceedings
July 2011 -
A hybrid multi-compartment model of granuloma formation and T cell priming in tuberculosis Article
Journal of Theoretical Biology, 280(1), 50-62.July 2011 -
July 2011
-
One Class Classification for Anomaly Detection: Support Vector Data Description Revisited In Proceedings
July 2011 -
Comparing path steering between non- haptic and haptic 3D manipulation tasks: Users’ performance and models In Proceedings
July 2011 -
Common Knowledge in Email Exchanges In Proceedings
July 2011 -
How attention and reinforcers jointly optimize the associations between sensory representations, working memory and motor programs In Proceedings
July 2011 -
GEAnn - Games for Engaging Annotations In Proceedings
July 2011 -
How Much Spam Can You Take? In Proceedings
July 2011 -
A three-point Taylor algorithm for three-point boundary value problems Article
Electronic Journal of Differential Equations, 251(1), 26-44.July 2011 -
MediaWiki Grammar Recovery Tech Report
July 2011 -
July 2011
-
Minimizing flow time in the wireless gathering problem Article
ACM Transactions on Algorithms, 7(3)July 2011 -
Matroid 3-connectivity and branch width Tech Report
July 2011 -
Towards an Engineering Approach to File Carver Construction In Proceedings
July 2011 -
June 2011
-
Coherence in Synchronous Shared Experiences Dissertation
Distributed and Interactive SystemsJune 2011 -
Reconfigurable component connectors Dissertation
Computer SecurityJune 2011 -
June 2011