Publications from 2021
-
October 2013
-
October 2013
-
October 2013
-
October 2013
-
October 2013
-
October 2013
-
Deliverable D7.4 Project demonstrator v1 Tech Report
October 2013 -
October 2013
-
Modeling radiation belt electron dynamics during GEM challenge intervals with the DREAM3D diffusion model Article
Journal of Geophysical Research, 118(10), 6197-6211.October 2013 -
October 2013
-
Waisda?: video labeling game In Proceedings
October 2013 -
Mapping proteins in the presence of paralogs using units of coevolution Article
BMC BioinformaticsOctober 2013 -
Lateral gene transfer, rearrangement, reconciliation Article
BMC Bioinformatics, 14(Suppl 15)October 2013 -
October 2013
-
On generalizations of network design problems with degree bounds Article
Mathematical Programming, 141(1-2), 479-506.October 2013 -
A Survey of Quantum Property Testing Tech Report
October 2013 -
October 2013
-
October 2013
-
Monadic Functional Reactive Programming In Proceedings
October 2013 -
Micro-Machinations: A DSL for Game Economies In Proceedings
October 2013 -
A Case Study of Trust Issues in Scientific Video Collections In Proceedings
October 2013 -
October 2013
-
A monogamy-of-entanglement game with applications to device-independent quantum cryptography Article
New Journal of PhysicsOctober 2013 -
De berekenbare waarheid Magazine Article
October 2013 -
Pending Evolution of Grammars In Proceedings
October 2013 -
Language Support for Megamodel Renarration In Proceedings
October 2013 -
Micropatterns in Grammars In Proceedings
October 2013 -
Towards frame accurate synchronization in a virtual world client with 3D Tele-Immersive capabilities In Proceedings
October 2013 -
Reactive Turing machines Article
Information and Computation, 143-166.October 2013 -
A realistic model under which the genetic code is optimal Article
Journal of Molecular Evolution, 77(4), 170-184.October 2013 -
A spectral mean for point sampled closed curves. Tech Report
October 2013 -
MonetDB Feb2013-SP5 bugfix release Software
October 2013 -
October 2013
-
October 2013
-
October 2013
-
October 2013
-
Uncertainty Quantification of a Nonlinear Aeroelastic System Using Polynomial Chaos Expansion With Constant Phase Interpolation Article
Journal of Vibration and Acoustics, 135(5), 1-13.October 2013 -
Subcell resolution in simplex stochastic collocation for spatial discontinuities Article
Journal of Computational Physics, 17-52.October 2013 -
Deliverable D9.1.2 Publishable Summary Tech Report
September 2013 -
Oranje boven! Vijf internetcracks uit de Nederlandse klei - PCM Magazine Article
September 2013 -
'Pioniers moeten soms op de wet vooruitlopen' - Ons Amsterdam Magazine Article
September 2013 -
CWI geeft software vrij voor detectie vervalste digitale handtekeningen - Elektronica Magazine Article
September 2013 -
September 2013
-
New Data from T. Marschall et al Illuminate Findings in Bioinformatics - HispanicBusiness.com Magazine Article
September 2013 -
What Makes Python A Robust Force On The Internet? - EFYTimes.com Magazine Article
September 2013 -
September 2013
-
Error bounds for discrete tomography Dissertation
Scientific ComputingSeptember 2013 -
September 2013
-
Bussumer onderscheiden - Gooi- en Eemlander Magazine Article
September 2013 -
Boven het onweer - Volkskrant Magazine Article
September 2013 -
Approximability of Robust Network Design Article
Mathematics of Operations Research, 39(2), 561-572.September 2013 -
Programmatuur is te vaak onder de maat - de Ingenieur Magazine Article
September 2013 -
Improving Counter-Cryptanalysis Lecture
September 2013 -
MiR-137 functions as a tumor suppressor in neuroblastoma by downregulating KDM1A Article
International Journal of Cancer, 133(5), 1064-1073.September 2013 -
Stochastic optimal control for a general class of dynamic resource allocation problems Article
ACM SIGMETRICS Performance Evaluation Review, 41(2), 3-14.September 2013 -
Corrected phase-type approximations for the workload of the MAP/G/1 queue with heavy-tailed service times In Proceedings
September 2013 -
Characterizing graphic matroids by a system of linear equations Article
Journal of Combinatorial Theory - Series B, 103(5), 642-646.September 2013 -
Onweer: een bron van broeikasgassen en antimaterie Article
Nieuw Archief voor Wiskunde, 5(3), 212-216.September 2013 -
Łukasiewicz mu-Calculus Tech Report
September 2013 -
Wiskunde toegepast op 'health' en 'finance' - Quadraad Magazine Article
September 2013 -
Coalgebraic Characterizations of Context-free Languages Article
Logical Methods in Computer Science, 9(3)September 2013 -
PDB 0.4.1 Software
September 2013 -
Rascal - Release 0.6.2 Software
September 2013 -
NAW special issue on Mathematics and Planet Earth Miscellaneous
September 2013 -
September 2013
-
Binaural Spatialization for 3D immersive audio communication In Proceedings
September 2013 -
Trinity Alpha, IDE for Derric Software
September 2013 -
TRINITY: An IDE for The Matrix In Proceedings
September 2013 -
September 2013
-
MonetDB Feb2013-SP4 bugfix release Software
September 2013 -
Bounds on the Threshold Gap in Secret Sharing and its Applications Article
IEEE Transactions on Information Theory, 59(9), 5600-5612.September 2013 -
September 2013
-
Nederlandse software herkent en blokkeert vervalste digitale handtekening - Technisch Weekblad Magazine Article
August 2013 -
Rota’s Conjecture: 40-Year-Old Math Problem Solved By Team Of Mathematicians - International Business Times Magazine Article
August 2013 -
August 2013
-
Propagation mechanisms of positive streamers in different gases Dissertation
Multiscale DynamicsAugust 2013 -
Discrete algebraic reconstruction technique: a new approach for superresolution reconstruction of license plates Article
Journal of Electronic Imaging, 22(4), 041111:1-041111:7.August 2013 -
August 2013
-
HTML+RDFa 1.1, W3C Recommendation Standard
August 2013 -
40 year-old math problem solved - The Economic Times (India) Magazine Article
August 2013 -
Wiskunde tegen cyberaanvallen - Science Guide Magazine Article
August 2013 -
Software Able to Detect Forged Digital Signatures - NLTimes.nl Magazine Article
August 2013 -
August 2013
-
Victoria researcher solves 40 year-old math problem - Kimdotcom Magazine Article
August 2013 -
August 2013
-
August 2013
-
CWI biedt gratis detector voor Flame-virus - Automatiseringgids.nl Magazine Article
August 2013 -
D-Wave's black box starts to open up - Ars Technica Magazine Article
August 2013 -
Improving Counter-Cryptanalysis Lecture
August 2013 -
August 2013
-
August 2013
-
August 2013
-
RDFa 1.1 Core - Second Edition Standard
August 2013 -
August 2013
-
collision detection Software
August 2013 -
Counter-cryptanalysis In Proceedings
August 2013 -
August 2013
-
Bifröst: debugging web applications as a whole Master Thesis
August 2013 -
August 2013
-
Invisible XML In Proceedings
August 2013