Department of Informatics and Mathematical Modeling

  1. 2012
  2. Published

    Converting skeletal structures to quad dominant meshes. / Bærentzen, Jakob Andreas; Misztal, Marek Krzysztof; Welnicka, Katarzyna.

    In: Computers & Graphics, Vol. 36, No. 5, 2012, p. 555-561.

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

  3. Published

    Convex optimization problem prototyping for image reconstruction in computed tomography with the Chambolle–Pock algorithm. / Sidky, Emil Y.; Jørgensen, Jakob Heide; Pan, Xiaochuan.

    In: Physics in Medicine and Biology, Vol. 57, 2012, p. 3065–3091.

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

  4. Published

    Convex optimization prototyping for iterative image reconstruction in X-ray CT. / Sidky, Emil Y.; Jørgensen, Jakob Heide; Pan, Xiaochuan.

    Proceedings of The Second International Conference on Image Formation in X-Ray Computed Tomography. 2012.

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

  5. Published

    Correcting geometric distortions of Echo Planar Imaging using demons and reversed phase encoding. / Lyksborg, Mark; Lundell, H. ; Reislev, N. ; Siebner, H. R. ; Larsen, Rasmus; Dyrby, T. B. .

    2012 Annual Meeting Proceedings. The International Society for Magnetic Resonance in Medicine, 2012. p. 2578.

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

  6. Published

    Crossing the Undecidability Border with Extensions of Propositional Neighborhood Logic over Natural Numbers. / Monica, Dario Della; Goranko, Valentin; Montanari, Angelo; Sciavicco, Guido.

    In: Journal of Universal Computer Science, Vol. 18, No. 20, 2012, p. 2798-2831.

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

  7. Published

    Data Driven Constraints for the SVM. / Darkner, Sune; Clemmensen, Line Katrine Harder.

    Machine Learning in Medical Imaging: Third International Workshop, MLMI 2012, Held in Conjunction with MICCAI 2012, Nice, France, October 1, 2012, Revised Selected Papers. Springer, 2012. p. 70-77 (Lecture Notes in Computer Science, Vol. 7588).

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

  8. Published

    Deciding Security for a Fragment of ASLan. / Mödersheim, Sebastian Alexander.

    Technical University of Denmark, 2012. 24 p. (IMM-Technical Report-2012; No. 06).

    Publication: ResearchReport – Annual report year: 2012

  9. Published

    Deciding Security for a Fragment of ASLan. / Mödersheim, Sebastian Alexander.

    Computer Security – ESORICS 2012: 17th European Symposium on Research in Computer Security, Pisa, Italy, September 10-12, 2012. Proceedings. Springer, 2012. p. 127-144 (Lecture Notes in Computer Science, Vol. 7459).

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

  10. Published

    Declarative Specification of Fault Tolerant Auction Protocols: The English Auction Case Study. / Dragoni, Nicola; Gaspari, Mauro.

    In: Computational Intelligence, Vol. 28, No. 4, 2012, p. 617-641.

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

  11. Published

    Decoding Complex Cognitive States Online by Manifold Regularization in Real-Time fMRI. / Hansen, Toke Jansen; Hansen, Lars Kai; Madsen, Kristoffer Hougaard.

    Machine Learning and Interpretation in Neuroimaging: International Workshop, MLINI 2011, Held at NIPS 2011, Sierra Nevada, Spain, December 16-17, 2011, Revised Selected and Invited Contributions. Springer, 2012. p. 76-83 (Lecture Notes in Computer Science, Vol. 7263).

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

Download list: To download, please limit the number of search results to 1,000 or less.