Sciweavers

226 search results - page 8 / 46
» Counting Models using Extension Rules
Sort
View
FMCO
2007
Springer
124views Formal Methods» more  FMCO 2007»
13 years 11 months ago
Certification Using the Mobius Base Logic
This paper describes a core component of Mobius' Trusted Code Base, the Mobius base logic. This program logic facilitates the transmission of certificates that are generated u...
Lennart Beringer, Martin Hofmann, Mariela Pavlova
BMCBI
2010
140views more  BMCBI 2010»
13 years 7 months ago
Quantification and deconvolution of asymmetric LC-MS peaks using the bi-Gaussian mixture model and statistical model selection
Background: Liquid chromatography-mass spectrometry (LC-MS) is one of the major techniques for the quantification of metabolites in complex biological samples. Peak modeling is on...
Tianwei Yu, Hesen Peng
RULEML
2004
Springer
14 years 1 months ago
A Defeasible Logic Reasoner for the Semantic Web
Abstract. Defeasible reasoning is a rule-based approach for efficient reasoning with incomplete and inconsistent information. Such reasoning is, among others, useful for ontology i...
Nick Bassiliades, Grigoris Antoniou, Ioannis P. Vl...
ISMB
2001
13 years 9 months ago
Using mixtures of common ancestors for estimating the probabilities of discrete events in biological sequences
Accurately estimating probabilities from observations is important for probabilistic-based approaches to problems in computational biology. In this paper we present a biologically...
Eleazar Eskin, William Noble Grundy, Yoram Singer
JCB
2002
74views more  JCB 2002»
13 years 7 months ago
Using Substitution Matrices to Estimate Probability Distributions for Biological Sequences
Accurately estimating probabilities from observations is important for probabilistic-based approaches to problems in computational biology. In this paper we present a biologically...
Eleazar Eskin, William Stafford Noble, Yoram Singe...