Sciweavers

20831 search results - page 141 / 4167
» Quantum Computation and Information
Sort
View
UC
2005
Springer
14 years 2 months ago
On Model-Checking of P Systems
Abstract. Membrane computing is a branch of molecular computing that aims to develop models and paradigms that are biologically motivated. It identifies an unconventional computin...
Zhe Dang, Oscar H. Ibarra, Cheng Li, Gaoyan Xie
LATIN
2010
Springer
14 years 3 months ago
Average Parameterization and Partial Kernelization for Computing Medians
Nadja Betzler, Jiong Guo, Christian Komusiewicz, R...
ISW
2009
Springer
14 years 3 months ago
A2M: Access-Assured Mobile Desktop Computing
Angelos Stavrou, Ricardo A. Barrato, Angelos D. Ke...
MKM
2009
Springer
14 years 3 months ago
A Comparison of Equality in Computer Algebra and Correctness in Mathematical Pedagogy
Russell J. Bradford, James H. Davenport, Christoph...