CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
Soft component automata: Composition, compilation, logic, and verification Article
Science of Computer ProgrammingT.W.J. Kappé (Tobias), B. Lion (Benjamin), F. Arbab (Farhad) and C. Talcott (Carolyn)
September 2019 -
Een robuust en maatschappelijk gedragen energiesysteem MMIP 13 Report
van Bracht (Mart), Nillesen (Frans), van Put (Daan), Claassens (Paul), J.A. La Poutré (Han), Kramer (Gert Jan), Emde (Michel), van den Brink (Ruud), Kellner - van Tjonger (Marijke), Wiersma (Frank), et al. Bongaerts (Martijn)
September 2019
-
The Likeability-Success Tradeoff: Results of the 2nd Annual Human-Agent Automated Negotiating Agents Competition In Proceedings
J. Mell (Johnathan), J. Gratch (Jonathan), R. Aydoğan (Reyhan), T. Baarslag (Tim) and C.M. Jonker (Catholijn)
September 2019 -
Representation learning for emotion recognition from smartphone keyboard interactions In Proceedings
S. Ghosh (Surjya), S. Goenka (Shivam), N. Ganguly (Niloy), B. Mitra (Bivas) and P. De (Pradipta)
September 2019 -
A multivariate framework to study spatio-temporal dependency of electricity load and wind power Article
Wind Energy, 22(12), 1825-1847.Khuntia, S.R. (Swasti R.), Rueda, J.L. (Jose L.) and van der Meijden, M.A.M.M. (Mart A.M.M.)
September 2019 -
Mentoring Students in Social VR Magazine Article
September 2019 -
Absent words in a sliding window with applications Article
Information and ComputationM. Crochemore (Maxime), A. Heliou (Alice), G. Kucherov (Gregory), L. Mouchard (Laurent), S. Pissis (Solon) and Y. Ramusat (Yann)
September 2019 -
Indexing weighted sequences: Neat and efficient Article
Information and Computation, 104462:1-104462:21.C. Barton (Carl), T. Kociumaka (Tomasz), C. Liu (Chang), S. Pissis (Solon) and J. Radoszewski (Jakub)
September 2019