1. 2016
  2. 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-reviewArticle in proceedings – Annual report year: 2016

  3. 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-reviewArticle in proceedings – Annual report year: 2016

  4. Published

    Orientations of infinite graphs with prescribed edge-connectivity. / Thomassen, Carsten.

    In: Combinatorica, Vol. 36, No. 5, 2016, p. 601–621.

    Publication: Research - peer-reviewJournal article – Annual report year: 2015

  5. Published

    Paraconsistency. / Schlichtkrull, Anders; Villadsen, Jørgen.

    In: The Archive of Formal Proofs , 2016, p. 1-27.

    Publication: Research - peer-reviewJournal article – Annual report year: 2016

  6. 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-reviewArticle in proceedings – Annual report year: 2016

  7. 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-reviewArticle in proceedings – Annual report year: 2016

  8. 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-reviewJournal article – Annual report year: 2015

  9. 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-reviewConference abstract for conference – Annual report year: 2016

  10. 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-reviewBook chapter – Annual report year: 2016

  11. 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-reviewJournal article – Annual report year: 2016

Previous 1...4 5 6 7 8 9 10 11 ...23 Next
Download list:
Download as PDF
Select render style:
APAAuthorCBE/CSEHarvardMLAStandardVancouverShortLong
PDF
Download as HTML
Select render style:
APAAuthorCBE/CSEHarvardMLAStandardVancouverShortLong
HTML
Download as Word
Select render style:
APAAuthorCBE/CSEHarvardMLAStandardVancouverShortLong
Word