5863 search results - page 313 / 1173 » On Model-Checking of P Systems |
199
click to vote
CPHYSICS
2007
15 years 7 months ago
2007
A new method was proposed by Mongan et al for constant pH molecular dynamics simulation and was implemented in AMBER 8 package. Protonation states are modeled with different char...
158
click to vote
BMCBI
2008
15 years 7 months ago
2008
: The tumour suppressor protein p53 protein has a core domain that binds DNA and is the site for most oncogenic mutations. This domain is quite unstable compared to its homologs p...
199
click to vote
TSMC
2008
15 years 7 months ago
2008
Modeling and predicting of mental workload are among the most important issues in studying human performance in complex systems. Ample research has shown that the amplitude of the ...
228
click to vote
PPDP
2007
Springer
16 years 1 months ago
2007
Springer
The problem of mechanically formalizing and proving metatheoretic properties of programming language calculi, type systems, operational semantics, and related formal systems has r...
203
click to vote
ACSD
2010
IEEE
15 years 5 months ago
2010
IEEE
POOSL (Parallel Object-Oriented Specification Language) is a powerful general purpose system-level modeling language. In research on design space exploration of motion control syst...