281 citations
- University of AmsterdamNL22 papers
- Eindhoven University of TechnologyNL17 papers
- College of Western IdahoUS5 papers
- Universidad Pública de Navarra (UPNA)ES4 papers
- University of WaterlooCA4 papers
- Vrije Universiteit AmsterdamNL4 papers
- Berkeley CollegeUS2 papers
- National University of SingaporeSG2 papers
- Radboud University NijmegenNL2 papers
- University of BristolGB2 papers
- University of California, BerkeleyUS2 papers
- University of CambridgeGB2 papers
10 papers · 1 filter
Nonapproximablity of the Normalized Information Distance
Sebastiaan A. Terwijn, Leen Torenvliet, Paul M. B. Vitanyi
Normalized information distance (NID) uses the theoretical notion of Kolmogorov complexity, which for practical purposes is approximated by the length of the compressed version of…
A Practical Algorithm for Reconstructing Level-1 Phylogenetic Networks
Katharina T. Huber, Leo van Iersel, Steven Kelk +1
Recently much attention has been devoted to the construction of phylogenetic networks which generalize phylogenetic trees in order to accommodate complex evolutionary processes. He…
Large Degree Asymptotics of Generalized Bernoulli and Euler Polynomials
Jose Luis Lopez, Nico M. Temme
Asymptotic expansions are given for large values of of the generalized Bernoulli polynomials and Euler polynomials . In a previous paper López and Temme (1…
Modular Verification of Recursive Programs
Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog
We argue that verification of recursive programs by means of the assertional method of C.A.R. Hoare can be conceptually simplified using a modular reasoning. In this approach some…
3D hybrid computations for streamer discharges and production of run-away electrons
Chao Li, Ute Ebert, Willem Hundsdorfer
We introduce a 3D hybrid model for streamer discharges that follows the dynamics of single electrons in the region with strong field enhancement at the streamer tip while approxima…
Common Knowledge in Interaction Structures
Krzysztof R. Apt, Andreas Witzel, Jonathan A. Zvesper
We consider two simple variants of a framework for reasoning about knowledge amongst communicating groups of players. Our goal is to clarify the resulting epistemic issues. In part…