Algorithms and Logic

  1. 2011
  2. Published

    CDIO Projects in DTU’s B.Eng. in IT Study Program. / Sparsø, Jens; Bolander, Thomas; Fischer, Paul; Hansen, Thomas Kjærgård; Høgh, Stig; Nyborg, Mads; Probst, Christian W.; Todirica, Edward Alexandru.

    Proceedings of the 7th International CDIO Conference, Technical University of Denmark, Copenhagen, June 20 - 23, 2011. Lyngby : Technical University of Denmark, 2011.

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

  3. Published

    Querying Class-Relationship Logic in a Metalogic Framework. / Nilsson, Jørgen Fischer.

    Flexible Query Answering Systems: 9th International Conference, FQAS 2011 Ghent, Belgium, October 26-28, 2011 Proceedings. Springer, 2011. p. 96-107 (Lecture Notes in Artificial Intelligence; No. 7022).

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

  4. Published

    SyntaxTrain: Relieving the pain of learning syntax. / Moth, Andreas Leon Aagaard; Villadsen, Jørgen; Ben-Ari, Mordechai.

    ITiCSE'11 - Proceedings of the 16th Annual Conference on Innovation and Technology in Computer Science. 2011.

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

  5. Published

    Expressiveness of the Interval Logics of Allen's Relations on the Class of all Linear Orders: Complete Classification. / Monica, Dario Della; Goranko, Valentin; Montanari, Angelo; Sciavicco, Guido.

    Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence. 2011. p. 845-850.

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

  6. Published

    Fixed Parameter Evolutionary Algorithms and Maximum Leaf Spanning Trees: A Matter of Mutations. / Kratsch, Stefan; Lehre, Per Kristian; Neumann, Frank; Oliveto, Pietro Simone.

    PPSN'10 Proceedings of the 11th international conference on Parallel problem solving from nature. Vol. 1 2011. p. 204-213 (Lecture Notes in Computer Science; No. 6238).

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

  7. Published

    Active Learning in Large Classes. / Gørtz, Inge Li.

    Proceedings of the 7th International CDIO Conference, Technical University of Denmark, Copenhagen, June 20 - 23, 2011. Lyngby : Technical University of Denmark, 2011.

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

  8. Published

    Capacitated Vehicle Routing with Non-Uniform Speeds. / Gørtz, Inge Li; Molinaro, Marco; Nagarajan, Viswanath; Ravi, R.

    Lecture Notes in Computer Science: The 15th Conference on Integer Programming and Combinatorial Optimization. Vol. 6655/2011 Berlin : Springer, 2011. p. 235-247 (Lecture Notes in Computer Science).

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

  9. Published

    Locating Depots for Capacitated Vehicle Routing. / Gørtz, Inge Li; Nagarajan, Viswanath.

    Approximation, Randomization, and Combinatorial Optimization: 14th InternationalWorkshop, APPROX 2011 and 15th InternationalWorkshop, RANDOM 2011 Princeton, NJ, USA, August 17-19, 2011 Proceedings. Vol. 6845 Springer, 2011. p. 230-241 (Lecture Notes in Computer Science).

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

  10. Published

    Strategic Games and Truly Playable Effectivity Functions. / Goranko, Valentin; Jamroga, Wojtek; Turrini, Paolo.

    Proceedings of the 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS-2011). ed. / Tumer, Yolum, Sonenberg and Stone. 2011.

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

  11. Published

    Edge-Matching Problems with Rotations. / Ebbesen, Martin; Fischer, Paul; Witt, Carsten.

    Fundamentals of Computation Theory: 18th International Symposium, FCT 2011 Oslo, Norway, August 22-25, 2011 Proceedings. Springer, 2011. p. 114-125 (Lecture Notes in Computer Science; No. 6914).

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

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