5630 search results - page 753 / 1126 » Computability in Specification |
189
click to vote
ENTCS
2006
15 years 6 months ago
2006
We formally define a notion of credit and responsibility within the Generalized Non Deducibility on Compositions framework. We investigate the validity of our definitions through ...
171
click to vote
BMCBI
2007
15 years 6 months ago
2007
Background: Sequencing of prokaryotic genomes has recently revealed the presence of CRISPR elements: short, highly conserved repeats separated by unique sequences of similar lengt...
222
click to vote
BMCBI
2007
15 years 6 months ago
2007
Background: In vertebrates, a large part of gene transcriptional regulation is operated by cisregulatory modules. These modules are believed to be regulating much of the tissue-sp...
218
click to vote
BMCBI
2007
15 years 6 months ago
2007
Background: The SYMBIOmatics Specific Support Action (SSA) is "an information gathering and dissemination activity" that seeks "to identify synergies between the bi...
173
click to vote
FGCS
2006
15 years 6 months ago
2006
In computational biomolecular research, large amounts of simulation data are generated to capture the motion of proteins. These massive simulation data can be analysed in a number...