26071 search results - page 5007 / 5215 » Making the |
146
click to vote
NAR
2002
15 years 4 months ago
2002
The SCOP (Structural Classification of Proteins) database is a comprehensive ordering of all proteins of known structure, according to their evolutionary and structural relationsh...
119
click to vote
NAR
2002
15 years 4 months ago
2002
PALS db is a collection of Putative Alternative Splicing information from 19 936 human UniGene clusters and 16 615 mouse UniGene clusters. Alternative splicing (AS) sites were pre...
147
click to vote
NDJFL
1998
15 years 4 months ago
1998
Using methods of abstract logic and the theory of valuation, we prove that there is no paraconsistent negation obeying the law of double negation and such that ¬(a ∧ ¬a) is a t...
127
click to vote
NDJFL
1998
15 years 4 months ago
1998
We investigate transfer of interpolation in such combinations of modal logic which lead to interaction of the modalities. Combining logics by taking products often blocks transfer...
148
click to vote
NN
1998
Springer
15 years 4 months ago
1998
Springer
Learning long-term temporal dependencies with recurrent neural networks can be a difficult problem. It has recently been shown that a class of recurrent neural networks called NA...