Publications from 2013
-
MonetDB Software
January 2013 -
Monadic FRP Software
January 2013 -
LTGA Software
January 2013 -
LiveQL Software
January 2013 -
Invisible XML Software
January 2013 -
Hygienic Transformations Software
January 2013 -
Counter-Cryptanalysis Software
January 2013 -
Wiskunde en energieonderzoek: een uitstekende combinatie Article
Het Beste IdeeJanuary 2013 -
Shell V-power Article
Nieuw Archief voor Wiskunde, 5(14), 83-83.January 2013 -
Over de grote rivieren Article
Nieuw Archief voor Wiskunde, 5(14), 83-83.January 2013 -
Navier-Stokes Article
Nieuw Archief voor Wiskunde, 5(14), 244-250.January 2013 -
January 2013
-
Thema Film 26: Saving Lives With Mathematics Magazine Article
January 2013 -
January 2013
-
Thema Film 17: Dick Bulterman on Media Annotation Magazine Article
January 2013 -
Optimal control of end-user energy storage Article
IEEE Transactions on Smart Grid, 4(2), 789-797.January 2013 -
Thema Film 16: Image Processing Using MonetDB/SciQL Magazine Article
January 2013 -
Thema Film 15: MonetDB/DataCell demo Magazine Article
January 2013 -
Thema Film 11: Galvanic Skin Response Trials Magazine Article
January 2013 -
Thema Film 4: Big Data: Get value from your information Magazine Article
January 2013 -
Galvanic Skin Response Trials Magazine Article
January 2013 -
Do you need experts in the crowd? A case study in image annotation for marine biology In Proceedings
January 2013 -
Fast Cartography for Data Explorers In Proceedings
January 2013 -
Representing some non-representable matroids Article
Advances in Applied Mathematics, 50(1), 201-227.January 2013 -
Scalable, continuous tracking of tag co-occurrences between short sets using (almost) disjoint tag partitions In Proceedings
January 2013 -
Fish4Knowledge - Demo Presentation
January 2013 -
Fish4Knowledge- large scale coral reef fish monitoring using undersea computer vision methods Presentation
January 2013 -
January 2013
-
January 2013
-
An assessment of particle filtering methods and nudging for climate state reconstructions Article
Climate of the Past, 1141-1152.January 2013 -
Investigating the consistency between proxy-based reconstructions and climate models using data assimilation: a mid-Holocene case study Article
Climate of the Past, 9(6), 2741-2757.January 2013 -
Using data assimilation to investigate the causes of Southern Hemisphere high latitude cooling from 10 to 8 ka BP Article
Climate of the Past, 9(2), 887-901.January 2013 -
SexTant: Visualizing Time-Evolving Linked Geospatial Data In Proceedings
January 2013 -
Asymptotics of hybrid fluid queues with Lévy input Article
Journal of Applied Probability, 103-113.January 2013 -
Corrected phase-type approximations of heavy-tailed risk models using perturbation analysis Article
Insurance: Mathematics and Economics, 366-378.January 2013 -
Network iso-elasticity and weighted alpha-fairness Article
Performance Evaluation, 995-1000.January 2013 -
Scaling limits via excursion theory: Interplay between Crump-Mode-Jagers branching processes and Processor-Sharing queues Article
Annals of Applied Probability, 2357-2381.January 2013 -
Steady-state analysis for multi-server queues under size-based task assignment in the Quality-Driven regime Article
Mathematics of Operations Research, 504-525.January 2013 -
January 2013
-
Smart Energy Systems Article
ERCIM NewsJanuary 2013 -
Designing Socially-Aware Video Exploration Interfaces: A Case Study using School Concert Assets In Proceedings
January 2013 -
Personalized presentations from community assets In Proceedings
January 2013 -
Book Review: Basic Phylogenetic Combinatorics. -- Andreas Dress, Katharina T. Huber, Jacobus Koolen, Vincent Moulton and Andreas Spillner Article
Systematic Biology, 62(2), 346-348.January 2013 -
January 2013
-
Hoe werkt bliksem? Presentation
January 2013 -
January 2013
-
From Streamer Discharges To Thermalization Presentation
January 2013 -
January 2013
-
Learning Reductions to Sparse Sets In Proceedings
January 2013 -
On the heating dynamics in sparks Presentation
January 2013 -
January 2013
-
Investigating heating dynamics in sparks Presentation
January 2013 -
Challenges in fluid modeling of streamer discharges. Presentation
January 2013 -
January 2013
-
January 2013
-
January 2013
-
January 2013
-
Comparing fluid models for streamer discharges Presentation
January 2013 -
January 2013
-
January 2013
-
Temporal Relevance Profiles for Tweet Search In Proceedings
January 2013 -
Ibidas: Querying Flexible Data Structures to Explore Heterogeneous Bioinformatics Data In Proceedings
January 2013 -
Copulas for information retrieval In Proceedings
January 2013 -
Topic modelling of clickthrough data in image search Article
Multimedia Tools and Applications, 66(3), 493-515.January 2013 -
Runtime Optimizations for Prediction with Tree-Based Models Article
IEEE Transactions on Knowledge and Data EngineeringJanuary 2013 -
January 2013
-
Sprint methods for web archive research In Proceedings
January 2013 -
January 2013
-
January 2013
-
Run-time checking of data- and protocol-oriented properties of Java programs: an industrial case study In Proceedings
January 2013 -
Engineering virtualized services In Proceedings
January 2013 -
Unbounded allocation in bounded heaps In Proceedings
January 2013 -
The future of a missed deadline In Proceedings
January 2013 -
A weakest precondition calculus for BUnity Article
Science of Computer Programming, 78(9), 1278-1293.January 2013 -
User-defined schedulers for real-time concurrent objects Article
Innovations in Systems and Software Engineering, 9(1), 29-43.January 2013 -
A coinductive treatment of infinitary rewriting Article
Computing Research RepositoryJanuary 2013 -
On Moessner's theorem Article
American Mathematical Monthly, 120(2), 131-139.January 2013 -
Sound and complete axiomatizations of coalgebraic language equivalence Article
ACM Transactions on Computational Logic, 14(1)January 2013 -
Language constructs for non-well-founded computations In Proceedings
January 2013 -
Well-founded coalgebras, revisited Tech Report
January 2013 -
A coalgebraic view of epsilon-transitions In Proceedings
January 2013 -
Brzozowski's and up-to algorithms for must testing In Proceedings
January 2013 -
QStream: A Suite of Streams In Proceedings
January 2013 -
PMG: Multicore metabolite identification Article
Electronic Notes in Theoretical Computer Science, 53-60.January 2013 -
Formal design and verification of long-running transactions with extensible coordination tools Article
IEEE Transactions on Services Computing, 6(2), 186-200.January 2013 -
January 2013
-
From timed Reo networks to networks of timed automata Article
Electronic Notes in Theoretical Computer Science, 11-29.January 2013 -
Reo: a dataflow inspired language for multicore In Proceedings
January 2013 -
Global consensus through local synchronization In Proceedings
January 2013 -
January 2013
-
Solving Satisfiability in Fuzzy Logics by Mixing CMA-ES In Proceedings
January 2013 -
More Concise and Robust Linkage Learning by Filtering and Combining Linkage Hierarchies In Proceedings
January 2013 -
W-methods in optimal control Article
January 2013 -
January 2013
-
January 2013
-
January 2013
-
January 2013
-
Complexity of the positive semidefinite matrix completion problem with a rank constraint. Book Chapter
January 2013 -
January 2013
-
A multi-agent approach to professional software engineering In Proceedings
January 2013