Department of Informatics and Mathematical Modeling
- Research › Journal article
- 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-review › Journal article – Annual report year: 2009
- 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-review › Journal article – Annual report year: 2010
- 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-review › Journal article – Annual report year: 2010
- 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-review › Journal article – Annual report year: 1997
- 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-review › Journal article – Annual report year: 2008
- Published
Algorithms for worst-case tolerance optimization. / Schjaer-Jacobsen, H.; Madsen, Kaj.
In: IEEE Transactions on Circuits and Systems, Vol. 26, No. 9, 1979, p. 775-783.Publication: Research - peer-review › Journal article – Annual report year: 1979
- 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-review › Journal article – Annual report year: 2004
- 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-review › Journal article – Annual report year: 1998
- Published
Aligning on single and multiple wavelength chromatographic profiles for chemometric data analysis using correlation optimised warping. / Nielsen, Niels-Peter Vest; Carstensen, Jens M.; Smedsgaard, Jørn.
In: Journal of chromatography, Vol. A, No. 805, 1998, p. 17-35.Publication: Research - peer-review › Journal article – Annual report year: 1998
- 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-review › Journal article – Annual report year: 1988