Springer Berlin Heidelberg
Local database
Publisher
- 2012
- Published
From Genome Sequence to Taxonomy - A Skeptic’s View. / Özen, Asli Ismihan; Vesth, Tammi Camilla; Ussery, David.
In: The Prokaryotes. ed. / Rosenberg E.2012 : Springer Berlin Heidelberg, 2012.Publication: Research - peer-review › Book chapter – Annual report year: 2012
- Published
Monte Carlo Methods for Inference in High-Dimensional Systems. / Ferkinghoff-Borg, Jesper.
In: Bayesian Methods in Structural Bioinformatics. Springer Berlin Heidelberg, 2012. (Statistics for Biology and Health, Springer).Publication: Research - peer-review › Book chapter – Annual report year: 2013
- Published
On the Physical Relevance and Statistical Interpretation of Knowledge-Based Potentials. / Borg, Mikael; Hamelryck, Thomas Wim; Ferkinghoff-Borg, Jesper.
In: Bayesian Methods in Structural Bioinformatics. Springer Berlin Heidelberg, 2012. (Statistics for Biology and Health, Springer).Publication: Research - peer-review › Book chapter – Annual report year: 2013
- Published
Towards a General Probabilistic Model of Protein Structure: The Reference Ratio Method. / Frellsen, Jes; Mardia, Kanti V.; Borg, Mikael; Ferkinghoff-Borg, Jesper; Hamelryck, Thomas Wim.
In: Bayesian Methods in Structural Bioinformatics. Springer Berlin Heidelberg, 2012. (Statistics for Biology and Health, Springer).Publication: Research - peer-review › Book chapter – Annual report year: 2013
- 2009
- Published
4D Lung Reconstruction with Phase Optimization. / Lyksborg, Mark; Paulsen, Rasmus; Brink, Carsten; Larsen, Rasmus.
In: IFMBE Proceedings. Vol. 25/4 Munich : Springer Berlin Heidelberg, 2009. p. 2227-2230.Publication: Research - peer-review › Article in proceedings – Annual report year: 2009
- 2007
- External
Invited Tutorials - A JML Tutorial: Modular Specification and Verification of Functional Behavior for Java. / Leavens, Gary T; Kiniry, Joseph; Poll, Erik.
In: Computer Aided Verification: 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007. Proceedings. Vol. 4590 Springer Berlin Heidelberg, 2007. p. 37 (Lecture Notes in Computer Science).Publication: Research - peer-review › Article in proceedings – Annual report year: 2007
- External
The KOA Remote Voting System: A Summary of Work to Date : Algorithms and Systems for Global Computing. / Kiniry, Joseph; Morkan, Alan E; Cochran, Dermot Robert; Fairmichael, Fintan; Chalin, Patrice; Oostdijk, Martijn; Hubbers, Engelbert.
In: Trustworthy Global Computing: Second Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006, Revised Selected Papers. Vol. 4661 Springer Berlin Heidelberg, 2007. p. 244.Publication: Research - peer-review › Article in proceedings – Annual report year: 2007
- 2005
- External
Translation and replication of FMDV RNA. / Belsham, Graham.
In: Foot and mouth disease virus: Current Topics in Microbiology and Immunology. ed. / B. W. J. Mahy. Vol. Vol. 288 New York : Springer Berlin Heidelberg, 2005. p. 43-70.Publication: Research - peer-review › Book chapter – Annual report year: 2005
- 2002
- Published
Orphan protein function and its relation to glycosylation. / Gupta, Ramneek; Jensen, Lars Juhl; Brunak, Søren.
In: Bioinformatics and Genome Analysis. Springer Berlin Heidelberg, 2002. p. 275-294 (Ernst Schering Research Foundation Workshop, Vol. 38).Publication: Research - peer-review › Book chapter – Annual report year: 2002
- 1995
- Published
Observations of γ-ray bursts and solar flares with GRANAT. / Terekhov, O.; Sunyaev, R. A.; Denisenko, D.; Tkachenko, A.; Barat, C.; Dezalay, J.-P.; Talon, R.; Lund, Niels; Brandt, Søren; Castro-Tirado, A. J.
In: Flares and Flashes: Proceedings of IAU Colloqium No. 151 Held in Sonneberg, Germany, 5–9 December 1994. ed. / Jochen Greiner; Hilmar W. Duerbeck; Roald E. Gershberg. Springer Berlin Heidelberg, 1995. p. 353-357 (Lecture Notes in Physics. Monographs, Vol. 454).Publication: Research - peer-review › Article in proceedings – Annual report year: 1995