Publications from 2017
-
The Service Aware Network: Balancing cost and quality for Social Multimedia Communication Article
IEEE Computer Society STCSN E-Letter, 2(2)January 2014
-
Mitigating problems in video-mediated group discussions: Towards conversation aware video-conferencing systems In Proceedings
January 2014
-
January 2014
-
January 2014
-
State of the Art in Uncertainty Quantification I Presentation
January 2014 -
January 2014
-
On two-queue Markovian polling systems with exhaustive service Article
Queueing Systems, 287-311.January 2014 -
Reflection without remorse Software
January 2014 -
Vlasov simulations of Kinetic Alfven Waves at proton kinetic scales Article
Physics of PlasmasJanuary 2014
-
Simultaneously Learning and Optimizing Using Controlled Variance Pricing Article
Management Science, 60(3), 770-783.January 2014
-
Computing with a full memory: catalytic space In Proceedings
January 2014
-
Uncertainty quantification in wind power prediction Presentation
January 2014 -
Uncertainty quantification for energy applications Presentation
January 2014 -
January 2014
-
January 2014
-
January 2014
-
January 2014
-
LDBC: benchmarks for graph and RDF data management In Proceedings
January 2014
-
Advances in Large-Scale RDF Data Management Book Chapter
January 2014
-
January 2014
-
January 2014
-
An Overview of Centralised Middleware Components for Sensor Networks Article
International Journal of Ad Hoc and Ubiquitous ComputingJanuary 2014
-
Source coding for transmission of reconstructed dynamic geometry: a rate-distortion-complexity analysis of different approaches In Proceedings
January 2014
-
January 2014
-
January 2014
-
January 2014
-
Augmenting TV Newscasts via Entity Expansion In Proceedings
January 2014
-
January 2014
-
A propositional CONEstrip algorithm In Proceedings
January 2014
-
January 2014
-
Efficient VaR and expected shortfall computations for nonlinear portfolios within the Delta-Gamma approach Article
Applied Mathematics and Computation, 16-31.January 2014
-
Solving Rota’s Conjecture Article
Notices of the AMS, 61(7), 736-743.January 2014
-
January 2014
-
January 2014
-
January 2014
-
January 2014
-
The structure of ionization showers in air generated by electrons with 1 MeV energy or less Article
Plasma Sources Science and TechnologyJanuary 2014
-
The importance of electron-electron Bremsstrahlung for terrestrial gamma-ray flashes, electron beams and electron-positron beams Article
Journal of Physics D: Applied PhysicsJanuary 2014
-
Investigation of positive streamers by double-pulse experiments, effects of repetition rate and gas mixture Article
Plasma Sources Science and TechnologyJanuary 2014
-
Experimental study of the spatio-temporal development of metre-scale negative discharge in air Article
Journal of Physics D: Applied PhysicsJanuary 2014
-
Growing discharge trees with self-consistent charge transport: the collective dynamics of streamers Article
New Journal of PhysicsJanuary 2014
-
January 2014
-
Sensing a live audience In Proceedings
January 2014
-
Pricing of early-exercise Asian options under L\'evy processes based on Fourier cosine expansions Article
Applied Numerical Mathematics, 14-30.January 2014
-
Multigrid with FFT smoother for a simplified 2D frictional contact problem Article
Numerical Linear Algebra with Applications, 256-274.January 2014
-
Closing the performance gap for 3-D migration with an iterative frequency-domain solver and an explicit time-domain scheme on parallel architectures Article
Geophysics, 547-561.January 2014
-
Acceleration of option pricing technique on graphics processing units Article
Concurrency and Computation, 26(9), 1626-1639.January 2014
-
A full multigrid method for linear complementarity problems arising from elastic normal contact problems Article
Mathematical Modelling and Analysis, 19(2), 216-240.January 2014
-
Decision-support tool for assessing future nuclear reactor generation portfolios Article
Energy Economics, 99-112.January 2014
-
Efficient computation of exposure profiles for counterparty credit risk Article
International Journal of Theoretical and Applied Finance, 17(4)January 2014
-
A simple and efficient segregated smoother for the discrete Stokes equations Article
SIAM Journal on Scientific Computing, 36(3), A1187-A1206.January 2014
-
CWI in het kort Miscellaneous
January 2014
-
January 2014
-
The asymptotic and numerical inversion of the Marcum $Q-$function Article
Studies in Applied Mathematics, 133(2), 257-278.January 2014
-
January 2014
-
January 2014
-
LateBiclustering: Efficient Heuristic Algorithm for Time-Lagged Bicluster Identification Article
IEEE/ACM Transactions on Computational Biology and BioinformaticsJanuary 2014
-
Building Virtual Earth Observatories Using Scientific Database and Semantic Web Technologies Article
ERCIM News, 2014(96)January 2014
-
January 2014
-
January 2014
-
January 2014
-
A Lévy input fluid queue with input and workload regulation Article
Queueing Systems, 76(1), 21-36.January 2014
-
Weaving the Web(VTT) of Data In Proceedings
January 2014
-
Column Stores as an IR Prototyping Tool In Proceedings
January 2014
-
January 2014
-
January 2014
-
Wildfire monitoring using satellite images, ontologies and linked geospatial data Article
Web Semantics: Science, Services and Agents on the World Wide Web, 18-26.January 2014
-
January 2014
-
Building Virtual Earth Observatories Using Scientific Database and Semantic Web Technologies Magazine Article
January 2014
-
Improved results on the Mertens conjecture Article
Mathematics of Computation, 421-433.January 2014
-
Benchmarking Linked Open Data Management Systems Article
ERCIM News, 24-25.January 2014
-
MonetDB/RDF: Discovering and Exploiting the Emergent Schema of RDF Data Article
ERCIM News, 41-42.January 2014
-
January 2014
-
Challenges on Combining Open Web and Dataset Evaluation Results: The Case of the Contextual Suggestion Track In Proceedings
January 2014 -
User Behavior and Bias in Click-Based Recommender Evaluation In Proceedings
January 2014 -
Do Recommendations Matter? News Recommendation in Real Life In Proceedings
January 2014 -
Neighbor Selection and Weighting in User-Based Collaborative Filtering: A Performance Prediction Approach Article
ACM Transactions on the WebJanuary 2014
-
Synergy of Cell-Cell Repulsion and Vacuolation in a Computational Model of Lumen Formation Article
Journal of the Royal Society InterfaceJanuary 2014
-
Handelman 's hierarchy for the maximum stable set problem. Article
Journal of Global Optimization, 60(3), 393-423.January 2014
-
Angular distribution of Bremsstrahlung photons and of positrons for calculations of terrestrial gamma-ray flashes and positron beams Article
Atmospheric Research, 432-465.January 2014
-
Trinets encode tree-child and level-2 phylogenetic networks Article
Journal of Computational Biology, 68(7), 1707-1729.January 2014
-
December 2013
-
Hoe wiskundigen alledaagse problemen op weten te lossen: Wetenschap helpt! - Quest ExperimentNL Magazine Article
December 2013 -
Combining monitoring with run-time assertion checking Dissertation
Computer SecurityDecember 2013
-
Coalgebraic tools for bisimilarity and decorated trace semantics Dissertation
Computer SecurityDecember 2013 -
Promovendus vindt fouten in Java - Automatiseringgids.nl Magazine Article
December 2013 -
Techniek vindt bugs in objectgeoriënteerde talen - Computable.nl Magazine Article
December 2013 -
CWI sluit zich aan bij Chinees-Europees netwerk - Bits&Chips Magazine Article
December 2013 -
December 2013
-
CWI start Big Data-adviesbedrijf - Automatisering Gids Magazine Article
December 2013 -
Rewards, costs and flexibility in dynamic resource allocation: a stochastic optimal control approach Article
ACM SIGMETRICS Performance Evaluation Review, 41(3), 61-63.December 2013
-
December 2013
-
Presenting Distributive Laws In Proceedings
December 2013 -
Grootschalig rekenen in de getaltheorie Article
Nieuw Archief voor Wiskunde, 14(4), 236-243.December 2013 -
December 2013
-
December 2013
-
December 2013
-
December 2013
-
CTRex Software
December 2013 -
Understanding information update in questionnaires Article
Science of Computer Programming, 1-6.December 2013