111 search results - page 13 / 23 » Computing with Membranes: One More Collapsing Hierarchy |
IWPC
2003
IEEE
14 years 19 days ago
2003
IEEE
Programmers must attain knowledge about a system before they can perform specific software maintenance tasks on it. Traditionally, computer scientists have described the activity ...
IMSCCS
2006
IEEE
14 years 1 months ago
2006
IEEE
Background: Hydrophobins are fungal proteins that can turn into amphipathic membranes at hydrophilic/hydrophobic interfaces by self-assembly. The assemblages by Class I hydrophobi...
FCT
1999
Springer
13 years 11 months ago
1999
Springer
Abstract. An iterative array is a line of interconnected interacting finite automata. One distinguished automaton, the communication cell, is connected to the outside world and fe...
TOG
2008
13 years 7 months ago
2008
Our goal is to simulate the full hair geometry, consisting of approximately one hundred thousand hairs on a typical human head. This will require scalable methods that can simulat...
BIRTHDAY
2003
Springer
14 years 17 days ago
2003
Springer
Abstract. We present a new proof of axiomatic completeness for Proposition Temporal Logic (PTL) for discrete, linear time for both finite and infinite time (without past-time). T...