Publications from 2013
-
Run-time Verification of Coboxes Unpublished
January 2013 -
January 2013
-
On the logical depth function Tech Report
January 2013 -
Language learning from positive evidence, reconsidered: A simplicity-based approach Article
Topics in Cognitive Science, 5(1), 35-55.January 2013 -
MonetDB Oct2012-SP3 bugfix release Software
January 2013 -
Three-dimensional concentration mapping of organic blends Article
Advanced Functional MaterialsJanuary 2013 -
Phase retrieval in in-line x-ray phase contrast imaging based on total variation minimization Article
Optics Express, 21(1), 710-723.January 2013 -
Advanced reconstruction algorithms for electron tomography: From comparison to combination Article
UltramicroscopyJanuary 2013 -
Bounds on the quality of reconstructed images in binary tomography Article
Discrete Applied MathematicsJanuary 2013 -
Dynamic Angle Selection in Binary Tomography Article
Computer Vision and Image UnderstandingJanuary 2013 -
Computational modeling of angiogenesis: towards a multi-scale understanding of cell-cell and cell-matrix interactions Book Chapter
January 2013 -
CWI bouwt applicatie voor analyse datastromen Magazine Article
January 2013 -
Vascular networks due to dynamically arrested crystalline ordering of elongated cells Article
Physical Review E: Statistical, Nonlinear, and Soft Matter Physics, 87(1)January 2013 -
Similarity and denoising Article
Philosophical Transactions of the Royal Society AJanuary 2013 -
Hyaluronan: A critical regulator of endothelial-to-mesenchymal transition during cardiac valve formation. Article
Trends in Cardiovascular MedicineJanuary 2013 -
Hersenen simuleren voor computer Magazine Article
January 2013 -
Het grootste kernfusieproject ter wereld: ITER : De Wereld Leert Door, 15.01.2013, VARA, Ned. 3, 22.30-22.40u [11:39] News Broadcast
January 2013 -
Floor (20) is 'Nerd van het jaar' : interview met Floor Sietsma in de EO videorubriek NEO Denkstof, 07.01.2013 [9:36] Online Video
January 2013 -
Inception and propagation of positive streamers in high-purity nitrogen: effects of the voltage rise-rate Article
Journal of Physics D: Applied PhysicsJanuary 2013 -
January 2013
-
On the accuracy of phase-type approximations of heavy-tailed risk models. Article
Scandinavian Actuarial JournalJanuary 2013 -
Cyclic-type polling models with preparation times In Proceedings
January 2013 -
Marginal queue length approximations for a two-layered network with correlated queues Article
Queueing Systems, 75(1), 29-63.January 2013 -
Mixed Volume and Distance Geometry Techniques for Counting Euclidean Embeddings of Rigid Graphs Book Chapter
January 2013 -
New series expansions of the Gauss hypergeometric function Article
Advances in Computational Mathematics, 39(2), 349-365.January 2013 -
January 2013
-
January 2013
-
Supervisory control with complete observations Book Chapter
January 2013 -
January 2013
-
December 2012
-
Poster Praethuys Miscellaneous
December 2012 -
Static analysis of unbounded structures in object-oriented programs Dissertation
Computer SecurityDecember 2012 -
Cryptography from quantum uncertainty in the presence of quantum side information Dissertation
CryptologyDecember 2012 -
Learning against learning : evolutionary dynamics of reinforcement learning algorithms in strategic interactions Dissertation
December 2012 -
Interacting via the heap in the presence of recursion In Proceedings
December 2012 -
Logics of Communication and Knowledge Dissertation
Software Analysis and TransformationDecember 2012 -
Exact algorithms for pairwise protein structure alignment Dissertation
Evolutionary IntelligenceDecember 2012 -
CWI’er Floor Sietsma (20) jongste doctor ooit Magazine Article
December 2012 -
Architecture-independent distributed query processing Dissertation
Database ArchitecturesDecember 2012 -
December 2012
-
December 2012
-
Good Listeners, Wise Crowds and Parasitic Experts Article
Analyse & Kritik, 34(2), 399-408.December 2012 -
December 2012
-
Role Attribute 1.0 Manual
December 2012 -
Adapting AIC to conditional model selection In Proceedings
December 2012 -
The Grammar Hammer of 2012 Tech Report
December 2012 -
Mixability in Statistical Learning In Proceedings
December 2012 -
December 2012
-
Recursive Programming: A Clarification Tech Report
December 2012 -
December 2012
-
De sprong naar het quantumrekenen. Volkskrant, 15 december 2012 Magazine Article
December 2012 -
Hersenen als heilige graal. Science Guide, 4 december 2012 Magazine Article
December 2012 -
December 2012
-
Jongste doctor (20) ontdekte logica van e-maillekken. Friesch Dagblad, 14 december 2012 Magazine Article
December 2012 -
Floor jongste doctor ooit. Science Guide, 7 december 2012 Magazine Article
December 2012 -
Opvolger Robbert Dijkgraaf? 20-jarige Floor Sietsma jongste promovendus ooit. HP/De Tijd, 13 december 2012 Magazine Article
December 2012 -
December 2012
-
CWI'er Floor Sietsma (20) jongste doctor ooit. AutomatiseringGids, 10 december 2012 Magazine Article
December 2012 -
Floor Sietsma. Trouw, 14 december 2012 Magazine Article
December 2012 -
December 2012
-
December 2012
-
December 2012
-
20-jarige is jongste promovendus ooit. RTL Nieuws, 13 december 2012 Magazine Article
December 2012 -
Piepjonge promovenda aan de UvA. NOS.nl, 13 december 2012 Magazine Article
December 2012 -
Werking hersenen beter te verklaren met nieuw model Magazine Article
December 2012 -
December 2012
-
Kloof tussen hersenen en computer kleiner Magazine Article
December 2012 -
December 2012
-
Explicit Lower and Upper Bounds on the Entangled Value of Multiplayer XOR Games Article
Communications in Mathematical PhysicsDecember 2012 -
Violating the Shannon capacity of metric graphs with entanglement Article
Proceedings of the National Academy of Sciences of the United States of AmericaDecember 2012 -
MonetDB Oct2012-SP2 bugfix release Software
December 2012 -
December 2012
-
December 2012
-
December 2012
-
Is it a bird or is it a crow? The influence of presented tags on image tagging by non-expert users Tech Report
December 2012 -
Proceedings of the Fifth Workshop on Information Theoretic Methods in Science and Engineering Proceedings
December 2012 -
Labyrint : TV uitzending 05.12.2012 over Alan Turing [25:11] News Broadcast
December 2012 -
Reduction of Market Power and Stabilisation of Outcomes in a Novel and Simplified Two-Settlement Electricity Market In Proceedings
December 2012 -
November 2012
-
Boundedness and monotonicity properties in numerical initial value problems Dissertation
Multiscale DynamicsNovember 2012 -
Coordination control of linear systems Dissertation
Scientific ComputingNovember 2012 -
Abstract Delta Modeling - Software Product Lines and Beyond Dissertation
Computer SecurityNovember 2012 -
Robust runtime optimization and skew-resistant execution of analytical SPARQL queries on Pig In Proceedings
November 2012 -
Geometric integration and thermostat methods for Hamiltonian systems Dissertation
Computational DynamicsNovember 2012 -
Rascal Release 0.5.4 (alpha) Software
November 2012 -
Rascal Release 0.5.3 (alpha) Software
November 2012 -
November 2012
-
November 2012
-
Hersenen simuleren voor computer. ScienceGuide, 16 november 2012 Magazine Article
November 2012 -
Stieltjesprijs. Folia Magazine, 14 november 2012 Magazine Article
November 2012 -
Interview n.a.v. het winnen van de Stieltjesprijs : Hoe?Zo! Radio, Radio 5, 01.11.2012 [6:02] News Broadcast
November 2012 -
Hersenen simuleren voor computer Magazine Article
November 2012 -
Multimedia analysis for ecological data In Proceedings
November 2012 -
Locally decodable codes and the failure of cotype for projective tensor products Article
Electronic Research Announcements in Mathematical Sciences, 120-130.November 2012 -
MonetDB Oct2012-SP1 bugfix release Software
November 2012 -
MonetDB Oct2012 bugfix release Software
November 2012 -
Distributed Media Synchronization for Shared Video Watching: Issues, Challenges, and Examples Book Chapter
November 2012 -
Linked Stream Data Processing: Facts and Figures In Proceedings
November 2012 -
SRBench: A Streaming RDF/SPARQL Benchmark In Proceedings
November 2012 -
Elitist archiving for multi-objective evolutionary algorithms: To adapt or not to adapt In Proceedings
October 2012