970 search results - page 66 / 194 » Distance-based discriminant analysis method and its applicat... |
CADE
1992
Springer
14 years 29 days ago
1992
Springer
There are syntactically identifiable situations in which reduction does not occur in chain format linear deduction systems, i.e. situations in which linear-input subdeductions are ...
ICIAP
2003
ACM
14 years 2 months ago
2003
ACM
Principal component analyses (PCA) has been widely used in reduction of the dimensionality of datasets, classification, feature extraction, etc. It has been combined with many oth...
FMCAD
2008
Springer
13 years 10 months ago
2008
Springer
We present a method for verifying information flow properties of software programs using inductive assertions and theorem proving. Given a program annotated with information flow a...
BMCBI
2011
13 years 3 months ago
2011
Background: Viral zoonosis, the transmission of a virus from its primary vertebrate reservoir species to humans, requires ubiquitous cellular proteins known as receptor proteins. ...
CIBCB
2005
IEEE
14 years 2 months ago
2005
IEEE
— With the invention of high throughput methods, researchers are capable of producing large amounts of biological data. During the analysis of such data, the need for a functiona...