CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
Coupling discharge and gas dynamics in streamer-less spark formation on the example of supercritical N2 In Proceedings
A. Agnihotri (Ashutosh), W. Hundsdorfer (Willem) and U. Ebert (Ute)
January 2015
-
Streamer discharge inception in a sub-breakdown electric field from a dielectric body with a frequency dependent dielectric permittivity In Proceedings
A. A. Dubinova (Anna), C. Rutjes (Casper) and U. Ebert (Ute)
January 2015
-
A Coinductive Treatment of Infinitary Term Rewriting and Equational Reasoning In Proceedings
J. Endrullis (Jörg), H.H. Hansen (Helle), D. Hendriks, A. Polonsky and A.M. Silva (Alexandra)
January 2015
-
Presenting Distributive Laws Article
Logical Methods in Computer Science, 11(3)M.M. Bonsangue (Marcello), H.H. Hansen (Helle), A. Kurz (Alexander) and J.C. Rot (Jurriaan)
January 2015
-
A Coinductive Treatment of Infinitary Term Rewriting and Equational Reasoning (Extended Version). Tech Report
J. Endrullis (Jörg), H.H. Hansen (Helle), D. Hendriks, A. Polonsky and A.M. Silva (Alexandra)
January 2015
-
Improving contextual suggestions using open web domain knowledge In Proceedings
T. Samar (Thaer), A. Bellogín Kouki (Alejandro) and A.P. de Vries (Arjen)
January 2015
-
Next Generation Cluster Editing Article
PeerJ PrePrintsT. Bellitto (Thomas), T. Marschall (Tobias), A. Schönhuth (Alexander) and G.W. Klau (Gunnar)
January 2015
-
A Distributed Theatre with Shakespeare In Proceedings
D. Williams (Doug), I. Kegel (Ian), M. Ursu (Marian), P.S. César Garcia (Pablo Santiago), E. Geelhoed (Erik), M. Frantzis, B. Scott, A. Horti and A.J. Jansen (Jack)
January 2015