![Loading...](https://link.springer.com/static/c4a417b97a76cc2980e3c25e2271af3129e08bbe/images/pdf-preview/spacer.gif)
-
Chapter and Conference Paper
Emergency-SonaRes: A System for Ultrasound Diagnostics Support in Extreme Cases
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
A P System for Annotation of Romanian Affixes
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
P System Computational Model as Framework for Hybrid (Membrane-Quantum) Computations
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...
-
Chapter and Conference Paper
A P System Parsing Word Derivatives
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 ...
-
Chapter and Conference Paper
Solving PP-Complete and #P-Complete Problems by P Systems with Active Membranes
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
Providing Modern Software Environments to Computer Algebra Systems
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
Computer Algebra Systems
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
The Computer Algebra Package Bergman: Current State
Bergman is a special-purpose system for computations in commutative and purely non-commutative graded algebra.
-
Chapter and Conference Paper
Non-Commutative Gröbner Bases and Anick’s Resolution
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...