6409 search results - page 50 / 1282 » A Computational Algorithm for Origami Design |
ICALP
2011
Springer
14 years 1 months ago
2011
Springer
act Interpretation SILVIA CRAFA FRANCESCO RANZATO University of Padova, Italy We show how bisimulation equivalence and simulation preorder on probabilistic LTSs (PLTSs), namely the...
DAC
2008
ACM
15 years 10 months ago
2008
ACM
DAC
2001
ACM
15 years 10 months ago
2001
ACM
HUC
2011
Springer
13 years 9 months ago
2011
Springer
A key challenge of data-driven social science is the gathering of high quality multi-dimensional datasets. A second challenge relates to design and execution of structured experim...
CIBCB
2009
IEEE
14 years 10 months ago
2009
IEEE
Abstract-- The RNA secondary structure design (SSD) problem is a recently emerging research topic motivated by applications such as customized drug design and the self-assembly of ...