Membrane Computing
14th International Conference, CMC 2013, Chişinău, Republic of Moldova, August 20-23, 2013, Revised Selected Papers
Chapter and Conference Paper
Noncommutative algebras, defined by the generators and relations, are considered. The definition and main results connected with the Gröbner bases, Hilbert series and Anick’s resolution are formulated. Special...
Chapter
Short descriptions of computer algebra systems are presented in three sections: major systems, special purpose systems, and packages. However, the separation between special purpose systems and packages is not...
Chapter and Conference Paper
Bergman is a special-purpose system for computations in commutative and purely non-commutative graded algebra.
Chapter and Conference Paper
Many computer algebra systems lack modern user-friendly software environment. Poorly designed interface depreciates rich mathematical ideas implemented in calculation engine. It obstructs extensive usage of su...
Chapter and Conference Paper
Membrane computing is a formal framework of distributed parallel multiset processing. Due to massive parallelism and exponential space some intractable computational problems can be solved by P systems with ac...
Chapter and Conference Paper
This paper describes membrane computational models parsing affixed Romanian words with prefixes, suffixes, terminations, and alterations in the root. An algorithm for Romanian affixes extraction is given, and ...
Book and Conference Proceedings
14th International Conference, CMC 2013, Chişinău, Republic of Moldova, August 20-23, 2013, Revised Selected Papers
Book and Conference Proceedings
Chapter and Conference Paper
Statistics show that in cases of natural disasters, catastrophes and accidents about 70 % of affected persons need specific healthcare approach limited in time. Ultrasound diagnostics at the site of disaster i...
Chapter and Conference Paper
This paper describes membrane computational models parsing affixed Romanian words with prefixes, suffixes, terminations, alterations in the root, and continues previous works on word derivation modeling. An al...
Chapter and Conference Paper
This work presents a hybrid model of high performance computations, representing the P system framework with additional quantum functionalities. This model is supposed to take advantages of both biomolecular a...