5066 search results - page 55 / 1014 » Spectra of structures and relations |
NAR
2011
12 years 11 months ago
2011
The Protein Circular Dichroism Data Bank (PCDDB) is a public repository that archives and freely distributes circular dichroism (CD) and synchrotron radiation CD (SRCD) spectral d...
MFCS
1993
Springer
14 years 1 months ago
1993
Springer
We view the Chu space interpretation of linear logic as an alternative interpretation of the language of the Peirce calculus of binary relations. Chu spaces amount to K-valued bin...
DIMACS
2001
13 years 10 months ago
2001
The notion of relative closure (X, Y )0 of a semi-Pfaffian couple (X, Y ) was introduced by Gabrielov to give a description of the o-minimal structure generated by Pfaffian functio...
FOSSACS
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. Separation logic is a recent extension of Hoare logic for reasoning about programs with references to shared mutable data structures. In this paper, we provide a new inte...
ISCAS
2003
IEEE
14 years 2 months ago
2003
IEEE
The work is concerned with investigation of spatio-temporal phenomena on mutually coupled CNN array. Besides pattern formation and active wave propagation, we found that other int...