1. 2017
  2. Published

    Learning to Act: Qualitative Learning of Deterministic Action Models. / Bolander, Thomas; Gierasimczuk, Nina.

    In: Journal of Logic and Computation, Vol. 28, No. 2, 2017, p. 337-365.

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

  3. Published

    Lempel-Ziv Compression in a Sliding Window. / Bille, Philip; Cording, Patrick Hagge; Fischer, Johannes; Gørtz, Inge Li.

    Proceedings of 28th Annual Symposium on Combinatorial Pattern Matching. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017. p. 15 (Leibniz International Proceedings in Informatics, Vol. 78).

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2017

  4. Published

    Logical Entity Level Sentiment Analysis. / Petersen, Niklas Christoffer; Villadsen, Jørgen.

    International Conference on Formal Grammar. ed. / Annie Foret; Reinhardt Muskens; Sylvain Pogodalla. Springer, 2017. p. 54-71 (Lecture Notes in Computer Science, Vol. 10686).

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2017

  5. Published

    Lower bounds on the run time of the univariate marginal distribution algorithm on OneMax. / Krejca, Martin S.; Witt, Carsten.

    14th ACM/SIGEVO Workshop on Foundations of Genetic Algorithms. Association for Computing Machinery, 2017. p. 65-79.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2017

  6. Published

    Matching and Compression of Strings with Automata and Word Packing. / Skjoldjensen, Frederik Rye; Bille, Philip (Main supervisor); Gørtz, Inge Li; Thomassen, Carsten.

    DTU Compute, 2017. 80 p. (DTU Compute PHD-2017, Vol. 446).

    Publication: ResearchPh.D. thesis – Annual report year: 2017

  7. Published

    Motif trie: An efficient text index for pattern discovery with don't cares. / Grossi, Roberto; Menconi, Giulia; Pisanti, Nadia; Trani, Roberto; Vind, Søren Juhl.

    In: Theoretical Computer Science, Vol. 710, 2017, p. 74-87.

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

  8. Published

    NaDeA: A Natural Deduction Assistant with a Formalization in Isabelle. / Villadsen, Jørgen; Jensen, Alexander Birch; Schlichtkrull, Anders.

    In: IfCoLog Journal of Logics and their Applications, Vol. 4, No. 1, 2017, p. 55-82.

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

  9. Published

    Nash Equilibria in Symmetric Graph Games with Partial Observation. / Bouyer, Patricia; Markey, Nicolas; Vester, Steen.

    In: Information and Computation, Vol. 254, No. 2, 2017, p. 238–258.

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

  10. Published

    On a combination of the 1-2-3 conjecture and the antimagic labelling conjecture. / Bensmail, Julien; Senhaji, Mohammed; Lyngsie, Kasper Szabo.

    In: Discrete Mathematics and Theoretical Computer Science, Vol. 19, No. 1, 21, 2017.

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

  11. Published

    On a directed variation of the 1-2-3 and 1-2 Conjectures. / Barme, Emma; Bensmail, Julien; Przybyło, Jakub ; Wozniak, Mariusz .

    In: Discrete Applied Mathematics, Vol. 217, No. Part 2, 2017, p. 123-131.

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

Previous 1...3 4 5 6 7 8 9 10 ...30 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