753 search results - page 1 / 151 » Fragments-based Model Reduction: Some Case Studies |
ENTCS
2010
13 years 2 months ago
2010
Molecular biological models usually suffer from a dramatic combinatorial blow up. Indeed, proteins form complexes and can modify each others, which leads to the formation of a hug...
CORR
2002
Springer
13 years 4 months ago
2002
Springer
The purpose of this paper is to address some criticisms recently raised by John Horty in two articles against the validity of two commonly accepted defeasible reasoning patterns, ...
BMCBI
2011
12 years 8 months ago
2011
Background: Discovering the genetic basis of common genetic diseases in the human genome represents a public health issue. However, the dimensionality of the genetic data (up to 1...
ESE
2002
13 years 4 months ago
2002
Software inspection is one of the key enablers for quality improvement and defect cost reduction. Although its benefits are shown in many studies, a major obstacle to implement an...
ASIACRYPT
2003
Springer
13 years 10 months ago
2003
Springer
In this paper, we study some RSA-based semantically secure encryption schemes (IND-CPA) in the standard model. We first derive the exactly tight one-wayness of Rabin-Paillier encr...