CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
Unsupervised annotated city traffic map generation In Proceedings
R. Verma (Rohit), S. Ghosh (Surjya), A. Shrivastava (Aviral), N. Ganguly (Niloy), B. Mitra (Bivas) and S. Chakraborty (Sandip)
October 2016 -
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. T.H.J. Sellam (Thibault), Y. Kargin (Yagiz), M.M. Gawade (Mrunal), H.F. Mühleisen (Hannes), K. Kyzirakos (Konstantinos), D.G. Nedev (Dimitar), C.P. Cijvat (Robin), F. Alvanaki (Foteini), M.H.M. van Dinther (Martin), E. Sidirourgos (Eleftherios), R.A. Koopmanschap (Richard), M. Raasveldt (Mark), P. Koutsourakis (Panagiotis), T.R. Doehmen (Till), B.B. Kruit (Benno), A. Wits (Abe), P.E. Silva Ferreira (Pedro), S.G. Stalinov (Svetlin) and D. De Leo (Dean)
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 Systems Modeling, 15(4), 1117-1140.C.P.T. de Gouw (Stijn), F.S. de Boer (Frank), W. Ahrendt (Wolfgang) and R. Bubel (Richard)
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 -
Structural congruence for bialgebraic semantics Article
Journal of Logical and Algebraic Methods in ProgrammingOctober 2016 -
Scientific data and preservation - policy issues for the long-term record Article
ERCIM News, 13-14.October 2016
-
Spin in het wereldweb - het Parool - 01-10-16 Magazine Article
October 2016