Algorithms and Logic
- 2016
- Published
On the Relationship between a Computational Natural Logic and Natural Language. / Andreasen, Troels; Bulskov, Henrik; Nilsson, Jørgen Fischer; Jensen, Per Anker.
Proceedings of the 8th International Conference on Agents and Artificial Intelligence (ICAART 2016). Vol. 1 2016. p. 335-342.Publication: Research - peer-review › Article in proceedings – Annual report year: 2016
- Published
Optimal mutation rates for the (1+λ) EA on OneMax. / Gießen, Christian; Witt, Carsten.
Proceedings of the Genetic and Evolutionary Computation Conference (GECCO '16). Association for Computing Machinery, 2016. p. 1147-1154.Publication: Research - peer-review › Article in proceedings – Annual report year: 2016
- Published
Orientations of infinite graphs with prescribed edge-connectivity. / Thomassen, Carsten.
In: Combinatorica, Vol. 36, No. 5, 2016, p. 601–621.Publication: Research - peer-review › Journal article – Annual report year: 2015
- Published
Paraconsistency. / Schlichtkrull, Anders; Villadsen, Jørgen.
In: The Archive of Formal Proofs , 2016, p. 1-27.Publication: Research - peer-review › Journal article – Annual report year: 2016
- Published
Parallel Lookups in String Indexes. / Christiansen, Anders Roy; Farach-Colton, Martín .
Proceedings of the 23rd International Symposium on String Processing and Information Retrieval (SPIRE 2016). Springer, 2016. p. 61-67 (Lecture Notes in Computer Science, Vol. 9954).Publication: Research - peer-review › Article in proceedings – Annual report year: 2016
- Published
ProofJudge: Automated Proof Judging Tool for Learning Mathematical Logic. / Villadsen, Jørgen.
Proceedings of the ETALEE 2015 Conference: Exploring Teaching for Active Learning in Engineering Education . ed. / Jørgen B. Røn. IUPN - Ingeniør Uddannelsernes Pædagogiske Netværk, 2016. p. 39-44.Publication: Research - peer-review › Article in proceedings – Annual report year: 2016
- Published
Robustness of Populations in Stochastic Environments. / Gießen, Christian; Kötzing, Timo.
In: Algorithmica, Vol. 75, No. 3, 2016, p. 462-489.Publication: Research - peer-review › Journal article – Annual report year: 2015
- Published
Running a Prover in a Prover - Isabelle as a Meta-Logic. / Villadsen, Jørgen.
2016. Abstract from CADILLAC Workshop, Copenhagen, Denmark.Publication: Research - peer-review › Conference abstract for conference – Annual report year: 2016
- Published
Selskabet for Naturlærens Udbredelse - naturvidenskabsformidling gennem 191 år. / Olesen, Dorte.
Københavns Universitets almanak 2016. Nyt Nordisk Forlag Arnold Busck, 2016. p. 92-100.Publication: Research - peer-review › Book chapter – Annual report year: 2016
- Published
Sparse Text Indexing in Small Space. / Bille, Philip; Fischer, Johannes; Gørtz, Inge Li; Kopelowitz, Tsvi; Sach, Benjamin; Vildhøj, Hjalte Wedel.
In: A C M Transactions on Algorithms, Vol. 12, No. 3, 39, 2016, p. 1-19.Publication: Research - peer-review › Journal article – Annual report year: 2016