Algorithms and Logic

  1. 2011
  2. Published

    Two-sorted Point-Interval Temporal Logics. / Balbiani, Philippe; Goranko, Valentin; Sciavicco, Guido.

    In: Electronic Notes in Theoretical Computer Science, Vol. 278, No. 1, 2011, p. 31-45.

    Publication: Research - peer-reviewConference article – Annual report year: 2011

  3. 2010
  4. Published

    A few ants are enough: ACO with iteration-best update. / Neumann, Frank; Sudholt, Dirk; Witt, Carsten.

    GECCO 2010: Portland, Oregon, USA - Companion Material. 2010. p. 63-70.

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

  5. Published

    Algorithmic correspondence and completeness in modal logic. V. Recursive extensions of SQEMA. / Conradie, Willem; Goranko, Valentin; Vakarelov, Dimiter.

    In: Journal of Applied Logic, Vol. 8, No. 4, 2010, p. 319-333.

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

  6. Published

    Ant Colony Optimization and the minimum spanning tree problem. / Neumann, Frank; Witt, Carsten.

    In: Theoretical Computer Science, Vol. 411, No. 25, 2010, p. 2406-2413.

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

  7. Published

    Approximating covering problems by randomized search heuristics using multi-objective models. / Friedrich, Tobias; He, Jun; Hebbinghaus, Niels; Neumann, Frank; Witt, Carsten.

    In: Evolutionary Computation, Vol. 18, No. 4, 2010, p. 617-633.

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

  8. Published

    Bioinspired Computation in Combinatorial Optimization : Algorithms and Their Computational Complexity. / Neumann, Frank; Witt, Carsten.

    Springer, 2010. (Natural Computing Series).

    Publication: Research - peer-reviewBook – Annual report year: 2011

  9. Published

    Biometric template data protection in mobile device environment using XML-database. / Thirumathyam, Rubathas; Derawi, Mohammad; Fischer, Paul.

    Proceedings of the 2nd International Workshop on Security and Communication Networks. IEEE, 2010. p. 1-7.

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

  10. Published

    Black-Box Search by Unbiased Variation. / Lehre, Per Kristian; Witt, Carsten.

    GECCO 2010: Portland, Oregon, USA. 2010. p. 1441-1448.

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

  11. Published

    Building Multi-Agent Systems Using Jason. / Boss, Niklas Skamriis; Jensen, Andreas Schmidt; Villadsen, Jørgen.

    In: Annals of Mathematics and Artificial Intelligence, Vol. 59, No. 3-4, 2010, p. 373-388.

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

  12. Published

    Computing an Ontological Semantics for a Natural Language Fragment. / Szymczak, Bartlomiej Antoni; Nilsson, Jørgen Fischer (Supervisor); Jensen, Per Anker (Supervisor).

    Kgs. Lyngby, Denmark : Technical University of Denmark (DTU), 2010. 295 p. (IMM-PHD-2010; No. 242).

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

Previous 1...3 4 5 6 7 8 9 10 ...14 Next
Download list:
Download as PDF
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
PDF
Download as HTML
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
HTML
Download as Word
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
Word