Algorithms and Logic
Department of Informatics and Mathematical Modeling - Former organisation. 31-12-12. Taken over by Department of Applied Mathematics and Computer Science
- 2011
- Published
A Semantics-Based Approach to Retrieving Biomedical Information. / Andreasen, Troels; Bulskov, Henrik; Zambach, Sine; Lassen, Tine; Madsen, Bodil Nistrup; Jensen, Per Anker; Thomsen, Hanne Erdman; Nilsson, Jørgen Fischer.
In: Flexible Query Answering Systems: 9th International Conference, FQAS 2011 Ghent, Belgium, October 26-28, 2011 Proceedings. Springer, 2011. p. 108-118 (Lecture Notes in Artificial Intelligence; No. 7022).Publication: Research - peer-review › Article in proceedings – Annual report year: 2011
- Published
Capacitated Vehicle Routing with Non-Uniform Speeds. / Gørtz, Inge Li; Molinaro, Marco; Nagarajan, Viswanath; Ravi, R.
In: 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-review › Article in proceedings – Annual report year: 2011
- 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.
In: 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-review › Article in proceedings – Annual report year: 2011
- Published
Classes and Theories of Trees Associated with a Class Of Linear Orders. / Goranko, Valentin; Kellerman, Ruaan.
In: Interest Group in Pure and Applied Logics. Logic Journal, Vol. 19, No. 1, 2011, p. 217-232.Publication: Research - peer-review › Journal article – Annual report year: 2010
- Published
Edge-Matching Problems with Rotations. / Ebbesen, Martin; Fischer, Paul; Witt, Carsten.
In: 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-review › Article in proceedings – Annual report year: 2011
- Published
Epistemic planning for single- and multi-agent systems. / Bolander, Thomas; Andersen, Mikkel Birkegaard.
In: Journal of Applied Non-Classical Logics, Vol. 21, No. 1, 2011, p. 9-34.Publication: Research - peer-review › Journal article – Annual report year: 2010
- 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.
In: Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence. 2011. p. 845-850.Publication: Research - peer-review › Article in proceedings – Annual report year: 2011
- Published
Faster Black-Box Algorithms Through Higher Arity Operators. / Doerr, Benjamin; Johannsen, Daniel; Kötzing, Timo; Lehre, Per Kristian; Wagner, Markus; Winzen, Carola.
In: FOGA '11 Proceedings of the 11th workshop proceedings on Foundations of genetic algorithms. 2011. p. 163-171.Publication: Research - peer-review › Article in proceedings – Annual report year: 2011
- Published
Fast searching in packed strings. / Bille, Philip.
In: Journal of Discrete Algorithms (Amsterdam), Vol. 9, No. 1, 2011, p. 49-56.Publication: Research - peer-review › Journal article – Annual report year: 2011
- Published
Fixed Parameter Evolutionary Algorithms and Maximum Leaf Spanning Trees: A Matter of Mutations. / Kratsch, Stefan; Lehre, Per Kristian; Neumann, Frank; Oliveto, Pietro Simone.
In: 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-review › Article in proceedings – Annual report year: 2010