Search Sciweavers | Sciweavers

19700 search results - page 197 / 3940

» DNA-Based Computation Times

135

click to vote

REX
1991

107views Logical Reasoning» more REX 1991»

The State Operator in Real Time Process Algebra

15 years 9 months ago

Download igitur-archive.library.uu.nl

Jos C. M. Baeten, Jan A. Bergstra

claim paper

Read More »

110

click to vote

REX
1991

89views Logical Reasoning» more REX 1991»

Timed Transition Systems

15 years 9 months ago

Download www.comp.nus.edu.sg

Thomas A. Henzinger, Zohar Manna, Amir Pnueli

claim paper

Read More »

113

click to vote

CIE
2008
Springer

73views Applied Computing» more CIE 2008»

Linear, Polynomial or Exponential? Complexity Inference in Polynomial Time

15 years 7 months ago

Download www2.mta.ac.il

Amir M. Ben-Amram, Neil D. Jones, Lars Kristiansen

claim paper

Read More »

104

click to vote

RECOMB
2010
Springer

127views Computational Biology» more RECOMB 2010»

Time and Space Efficient RNA-RNA Interaction Prediction via Sparse Folding

15 years 7 months ago

Download compbio.cs.sfu.ca

Raheleh Salari, Mathias Möhl, Sebastian Will,...

claim paper

Read More »

106

click to vote

EUROPAR
2008
Springer

96views Distributed And Parallel Com...» more EUROPAR 2008»

Securing Real-Time On-Line Interactive Applications in edutain@grid

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers