5608 search results - page 492 / 1122 » Structure description tools |
146
click to vote
ISMB
2000
15 years 8 months ago
2000
The repetitive structure of genomic DNA holds many secrets to be discovered. A systematic study of repetitive DNA on a genomic or inter-genomic scale requires extensive algorithmi...
175
click to vote
CSL
2010
Springer
15 years 8 months ago
2010
Springer
We investigate a modification of the sequent calculus which s a first-order proof into its abstract deductive structure and a unifier which renders this structure a valid proof. We...
142
click to vote
ENTCS
2010
15 years 7 months ago
2010
Contract-based design is an expressive paradigm for a modular and compositional specification of programs. It is in turn becoming a fundamental concept in mainstream industrial co...
158
click to vote
ENTCS
2007
15 years 6 months ago
2007
We pursue the program of exposing the intrinsic mathematical structure of the “space of proofs” of a logical system [AJ94b]. We study the case of Multiplicative-Additive Linea...
181
click to vote
NAR
2008
15 years 6 months ago
2008
The knowledge about interactions between proteins and small molecules is essential for the understanding of molecular and cellular functions. However, information on such interact...