11716 search results - page 105 / 2344 » Computable symbolic dynamics |
152
click to vote
AISC
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Origami (paper folding) has a long tradition in Japan's culture and education. We are developing a computational origami system, based on symbolic computation system...
141
click to vote
BIOCOMP
2006
15 years 7 months ago
2006
The use of computer algebra software has many applications in diverse fields like epidemiology. This work pretends to show how computer algebra software applications for symbolic ...
154
click to vote
CCS
2009
ACM
16 years 1 months ago
2009
ACM
Formal analysis of security protocols based on symbolic models has been very successful in finding flaws in published protocols and proving protocols secure, using automated too...
148
click to vote
ESOP
2005
Springer
15 years 11 months ago
2005
Springer
Since the 1980s, two approaches have been developed for analyzing security protocols. One of the approaches relies on a computational model that considers issues of complexity and ...
167
click to vote
IJHPCA
2002
15 years 6 months ago
2002
Lack of effective performance-evaluation environments is a major barrier to the broader use of high performance computing. Conventional performance environments are based on profi...