Centrum Wiskunde & Informatica

MonetDB Jun2016-SP2 bugfix release Software

M.L. Kersten (Martin), P.A. Boncz (Peter), N.J. Nes (Niels), S. Manegold (Stefan), K.S. Mullender (Sjoerd), J.A. de Rijke (Arjen), Y. Zhang (Ying), M.-D. Pham (Minh-Duc), L.H.A. Scheers (Bart), E. Petraki (Eleni), et al. D. De Leo (Dean)

October 2016
Structural congruence for bialgebraic semantics Article

Journal of Logical and Algebraic Methods in Programming

Rot, J. (Jurriaan) and Bonsangue, M. (Marcello)

October 2016
Stress modelling and prediction in presence of scarce data Article

Journal of Biomedical Informatics, 344-356.

A. Maxhuni, P. Hernandez-Leal (Pablo), L.E. Sucar (Enrique), V. Osmani (Venet), E.F. Morales (Eduardo) and O. Mayora (Oscar)

October 2016
MP3DG-PCC, open source software framework for implementation and evaluation of point cloud compression In Proceedings

R.N. Mekuria (Rufael) and P.S. César Garcia (Pablo Santiago)

October 2016
Information theoretical approach to discovering solar wind drivers of the outer radiation belt Article

Journal of Geophysical Research: Space Physics, 121(10), 9378-9399.

S.P. Wing (Simon), J.R. Johnson (Jay), E. Camporeale (Enrico) and G.D. Reeves (Geoffrey)

October 2016
Integrating deductive verification and symbolic execution for abstract object creation in dynamic logic Article

Software and System Modelling, 15(4), 1117-1140.

C.P.T. de Gouw (Stijn), F.S. de Boer (Frank), W. Ahrendt (Wolfgang) and R. Bubel (Richard)

October 2016
Towards "Wow!" Multimedia quality of experience: if you can measure it, you can achieve it Lecture

J.A. Redi (Judith)

October 2016
Uncertainty Quantification Applied to Aeroacoustics of Wall-Bounded Book Chapter

J.Christophe (Julien), M. Sanjose (Marlène), J.A.S. Witteveen (Jeroen) and S. Moreau (Stéphane)

October 2016

Publication

MonetDB Jun2016-SP2 bugfix release Software

Structural congruence for bialgebraic semantics Article

Stress modelling and prediction in presence of scarce data Article

MP3DG-PCC, open source software framework for implementation and evaluation of point cloud compression In Proceedings

Information theoretical approach to discovering solar wind drivers of the outer radiation belt Article

Integrating deductive verification and symbolic execution for abstract object creation in dynamic logic Article

Towards "Wow!" Multimedia quality of experience: if you can measure it, you can achieve it Lecture

Uncertainty Quantification Applied to Aeroacoustics of Wall-Bounded Book Chapter

Address

CWI researchers

Questions or comments?

Publication

MonetDB Jun2016-SP2 bugfix release Software

Structural congruence for bialgebraic semantics Article

Stress modelling and prediction in presence of scarce data Article

MP3DG-PCC, open source software framework for implementation and evaluation of point cloud compression In Proceedings

Information theoretical approach to discovering solar wind drivers of the outer radiation belt Article

Integrating deductive verification and symbolic execution for abstract object creation in dynamic logic Article

Towards "Wow!" Multimedia quality of experience: if you can measure it, you can achieve it Lecture

Uncertainty Quantification Applied to Aeroacoustics of Wall-Bounded Book Chapter

Workflow

Workflow

Add Content