Sciweavers

2546 search results - page 494 / 510
» In support of city exploration
Sort
View
DT
2006
113views more  DT 2006»
14 years 9 months ago
A Platform-Based Taxonomy for ESL Design
the abstraction level at which designers express systems, enabling new levels of design reuse, and providing for design chain integration ool flows and abstraction levels. The purp...
Douglas Densmore, Roberto Passerone
ENTCS
2006
146views more  ENTCS 2006»
14 years 9 months ago
Relating State-Based and Process-Based Concurrency through Linear Logic
This paper has the purpose of reviewing some of the established relationships between logic and concurrency, and of exploring new ones. Concurrent and distributed systems are noto...
Iliano Cervesato, Andre Scedrov
BMCBI
2007
116views more  BMCBI 2007»
14 years 9 months ago
Linear array of conserved sequence motifs to discriminate protein subfamilies: study on pyridine nucleotide-disulfide reductases
Background: The pyridine nucleotide disulfide reductase (PNDR) is a large and heterogeneous protein family divided into two classes (I and II), which reflect the divergent evoluti...
César L. Avila, Viviana A. Rapisarda, Ricar...
BMCBI
2007
147views more  BMCBI 2007»
14 years 9 months ago
Modeling biochemical transformation processes and information processing with Narrator
Background: Software tools that model and simulate the dynamics of biological processes and systems are becoming increasingly important. Some of these tools offer sophisticated gr...
Johannes J. Mandel, Hendrik Fuß, Niall M. Pa...
BMCBI
2007
127views more  BMCBI 2007»
14 years 9 months ago
CORRIE: enzyme sequence annotation with confidence estimates
Using a previously developed automated method for enzyme annotation, we report the reannotation of the ENZYME database and the analysis of local error rates per class. In control ...
Benjamin Audit, Emmanuel D. Levy, Walter R. Gilks,...