Department of Informatics and Mathematical Modeling

  1. Research › Journal article
  2. Published

    Algorithmic Correspondence and Completeness in Modal Logic. III. Extensions of the Algorithm SQEMA with Substitutions. / Conradie, W.; Goranko, Valentin; Vakarelov, D.

    In: Fundamenta Informaticae, Vol. 92, No. 4, 2009, p. 307-343.

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

  3. 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

  4. Published

    Algorithms and software for total variation image reconstruction via first-order methods. / Dahl, Joahim; Hansen, Per Christian; Jensen, Søren Holdt; Jensen, Tobias Lindstrøm.

    In: Numerical Algorithms, Vol. 53, No. 1, 2010, p. 67-92.

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

  5. Published

    Algorithms for non-linear M-estimation. / Madsen, Kaj; Edlund, O; Ekblom, H.

    In: Computational Statistics, Vol. 12, No. 3, 1997, p. 373-383.

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

  6. Published

    Algorithms for Sparse Non-negative Tucker Decompositions. / Mørup, Morten; Hansen, Lars Kai.

    In: Neural Computation, Vol. 20, No. 8, 2008, p. 2112-2131.

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

  7. Published

    Algorithms for worst-case tolerance optimization. / Schjær-Jacobsen, Hans; Madsen, Kaj.

    In: IEEE Transactions on Circuits and Systems, Vol. 26, No. 9, 1979, p. 775-783.

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

  8. Published

    A library of 7TM receptor C-terminal tails - Interactions with the proposed post-endocytic sorting proteins ERM-binding phosphoprotein 50 (EBP50), N-ethylmaleimide-sensitive factor (NSF), sorting nexin 1 (SNX1), and G protein-coupled receptor-associated sorting protein (GASP). / Heydorn, A.; Sondergaard, B.P.; Ersbøll, Bjarne Kjær; Holst, B.; Nielsen, F.C.; Haft, C.R.; Whistler, J.; Schwartz, T.W.

    In: Journal of Biological Chemistry, Vol. 279, No. 52, 2004, p. 54291-54303.

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

  9. Published

    Aligning of single and multiple wavelength chromatographic. / Nielsen, Niels-Peter Vest; Carstensen, Jens Michael; Smedsgaard, Jørn.

    In: Journal of Chromatography A, Vol. 805, No. 1-2, 1998, p. 17-35.

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

  10. Published
  11. Published

    A localization property for facility location problems with arbitrary norms. / Juel, Henrik; Love, Robert F.

    In: Naval Research Logistics, Vol. 35, No. 2, 04.1988, p. 203-207.

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

Previous 1...5 6 7 8 9 10 11 12 ...643 Next
Download list: To download, please limit the number of search results to 1,000 or less.