Publications from 2017
-
Tractor pulling on data warehouses In Proceedings
June 2011
-
TSP on cubic and subcubic graphs In Proceedings
June 2011 -
Vectorization vs. compilation in query execution In Proceedings
June 2011
-
Representing some non-representable matroids Tech Report
June 2011
-
June 2011
-
June 2011
-
June 2011
-
Adaptive Strategies for Dynamic Pricing Agents Tech Report
June 2011
-
Budgeted matching and budgeted matroid intersection via the gasoline puzzle Article
Mathematical Programming, 128(1-2), 355-372.June 2011 -
Preface Preface
May 2011 -
Exploring Topic Structure: Coherence, Diversity and Relatedness Dissertation
Human-Centered Data AnalyticsMay 2011
-
Synchronous coordination of distributed components Dissertation
Computer SecurityMay 2011
-
May 2011
-
May 2011
-
Programmable hash functions and their applications Article
Cryptology ePrint Archive, 1-34.May 2011
-
COBOL ontmoet JVM Article
I/O ICT Onderzoek, 8(2), 19-19.May 2011 -
MonetDB Apr2011-SP1 bugfix release Software
May 2011 -
May 2011
-
Hongaars eredoctoraat voor Lex Schrijver Magazine Article
May 2011
-
Information Theoretic Security Proceedings
May 2011
-
Deploying active objects onto multicore Master Thesis
May 2011
-
The Rascal Language Workbench Tech Report
May 2011
-
May 2011
-
Incalculeren : Hoe?Zo! Radio, 23.05.2011 (NTR) [26:33] News Broadcast
May 2011
-
Integrating power and reserve trade in electricity networks In Proceedings
May 2011
-
Selfishness Level of Strategic Games Tech Report
May 2011
-
May 2011
-
May 2011
-
Large degree asymptotics of generalized Bessel polynomials Article
Journal of Mathematical Analysis and Applications, 377(1), 30-42.May 2011
-
April 2011 -
MonetDB Apr2011-feature release Software
April 2011 -
ReFER: Effective Relevance Feedback for Entity Ranking In Proceedings
April 2011
-
De nieuwe planten Magazine Article
April 2011
-
Towards an Automated Query Modification Assistant In Proceedings
April 2011
-
April 2011
-
April 2011
-
April 2011
-
April 2011
-
Algorithm 914: Parabolic Cylinder Function $W(a,x)$ and its Derivative Article
ACM Transactions on Mathematical Software, 38(1)April 2011
-
Automatic Heritage Metadata Enrichment with Historic Events In Proceedings
April 2011
-
Classifying short gene expression time-courses with Bayesian estimation of piecewise constant functions Article
Bioinformatics, 27(7), 946-952.April 2011
-
April 2011
-
Encoding Context-Sensitivity in Reo into Non-Context-Sensitive Semantic Models (Technical Report) Tech Report
April 2011
-
Efficient Iterative Solution of Large Linear Systems on Heterogeneous Computing Systems Dissertation
April 2011
-
Low-frequency Alfven gap modes in rotating tokamak Article
Plasma Physics and Controlled Fusion, 53(4)April 2011
-
A specification language for Reo connectors In Proceedings
April 2011 -
On Empirical Entropy Tech Report
March 2011 -
The Dissipation of Solar Wind Turbulent Fluctuations at Electron Scales Article
Astrophysical Journal, 730(2)March 2011
-
March 2011
-
MonetDB Mar2011 feature release Software
March 2011 -
March 2011
-
Multiscale computational modeling reveals a critical role for TNF-α receptor 1 dynamics in tuberculosis granuloma formation Article
Journal of Immunology, 186(6), 3472-3483.March 2011 -
March 2011
-
March 2011
-
SciQL, A Query Language for Science Applications In Proceedings
March 2011
-
Result Diversification Based on Query-Specific Cluster Ranking Article
Journal of the American Society for Information Science and Technology, 62(3), 550-571.March 2011
-
The Brunt–Väisälä frequency of rotating tokamak plasmas Article
Journal of Computational Physics, 231(3), 981-1001.March 2011
-
Redeneren over Communicatie Article
Euclides, 86(5), 214-216.March 2011
-
March 2011
-
Stability of localized modes in rotating tokamak plasmas Article
Plasma Physics and Controlled FusionMarch 2011
-
An exercise in coinduction: Moessner's theorem Tech Report
March 2011
-
Recovering grammar relationships for the Java language specification Article
Software Quality Journal, 19(2), 333-378.March 2011
-
Het eeuwige leven. Jan Verwer 1946-2011 Magazine Article
March 2011
-
$\phi$ and $\sigma$: from Euler to Erd\H os Article
Nieuw Archief voor Wiskunde, 12(1), 31-36.March 2011
-
Efficient tests for equivalence of hidden Markov processes and quantum random walks Article
IEEE Transactions on Information Theory, 57(3), 1746-1753.March 2011
-
Semantic search log analysis: a method and a study on professional image search Article
Journal of the American Society for Information Science and Technology, 62(4), 691-713.March 2011
-
Context-free languages, coalgebraically Tech Report
March 2011
-
March 2011
-
Revisiting path steering for 3D manipulation tasks Article
International Journal of Human-Computer Studies, 69(3), 170-181.March 2011
-
A sampling theory for dispersal-limited, niche-structured communities Article
Journal of Theoretical BiologyMarch 2011
-
Exact algorithms for cluster editing: Evaluation and experiments Article
Algorithmica, 60(2), 316-334.March 2011
-
February 2011 -
Soiree t.g.v. het 65-jarig bestaan van het Centrum Wiskunde & Informatica, 10.02.2011 : uitnodiging Other
February 2011 -
Experimental Investigations on the Physics of Streamers Dissertation
Multiscale DynamicsFebruary 2011
-
Deliverable D7.1 Project website Tech Report
February 2011
-
Sequences with trivial initial segment complexity Master Thesis
February 2011 -
Renewal processes with costs and rewards Book Chapter
February 2011 -
Regenerative processes Book Chapter
February 2011 -
Het begin van een ijstijd voor ICT-onderzoek? Article
I/O ICT Onderzoek, 8(1), 17-17.February 2011 -
Computations and interaction In Proceedings
February 2011
-
How Crowdsourcable is Your Task? In Proceedings
February 2011
-
February 2011
-
SAT-based verification for timed component connectors Article
Science of Computer ProgrammingFebruary 2011
-
February 2011
-
February 2011
-
Visjes tellen : Hoe?Zo! Radio, 15.02.2011, NTR [21:57] News Broadcast
February 2011
-
Combining Strategies Efficiently: High-Quality Decisions from Conflicting Advice Dissertation
Algorithms and ComplexityJanuary 2011 -
January 2011 -
January 2011 -
An executable Theory of Multi-Agent Systems Refinement Dissertation
Computer SecurityJanuary 2011
-
Insights in reinforcement learning : formal analysis and empirical evaluation of temporal-difference learning algorithms Dissertation
Algorithms and ComplexityJanuary 2011
-
Molecules in Motion: a theoretical study of noise in gene expression and cell signaling Dissertation
Modelling, Analysis and ComputationJanuary 2011
-
January 2011 -
January 2011 -
January 2011 -
CWI knipselkrant 2011-2013 Miscellaneous
January 2011 -
Amalgame Software
January 2011
-
VideoLat Software
January 2011 -
VConect Software
January 2011 -
REVERIE Software
January 2011