This book constitutes the thoroughly refereed post-proceedings of the 7th International Workshop on Computational Logic for ...
Lire la suiteThis book constitutes the thoroughly refereed post-proceedings of the 7th International Workshop on Computational Logic for ...
Lire la suiteThe notion of agency has recently increased its in?uence in the research and - velopment of computational logic based systems, ...
Lire la suiteThe book presents 14 revised full technical papers, 4 contest papers, and 7 invited papers together with 1 invited article ...
Lire la suiteThis book constitutes the thoroughly refereed post-conference proceedings of the 8th International Workshop on Computational ...
Lire la suiteComplicated many-particle problems abound in nature and in research alike. Plasma physics, statistical physics and condensed ...
Lire la suiteFor more than 30 years, the visual cortex has been the source of new theories and ideas about how the brain processes information. ...
Lire la suiteAs a result of the advancements in algorithms and the huge increase in speed of computers over the past decade, electronic ...
Lire la suiteThe Engineering Materials and Processes series focuses on all forms of materials and the processes used to synthesise and ...
Lire la suiteThis book performs a state-of-the-art finite-difference calculation of the complete geometry of the classical guitar as a ...
Lire la suiteContains the proceeding of the First International Conference on Computational Methods (ICCM04), held in Singapore, December ...
Lire la suiteThe papers included in this volume provide an overview about the state-of-the-art in approximative implicitization and various ...
Lire la suiteComputational Methods for Nanoscale Applications: Particles, Plasmons and Waves presents new perspectives on modern nanoscale ...
Lire la suiteVolume one of this two volume sequence focuses on the basic characterization of known protein structures as well as structure ...
Lire la suiteHere are the printed proceedings of EPMESC X, held on August 21-23, 2006 in Sanya, Hainan Island of China. It includes 14 ...
Lire la suiteThe focus of this book is the development of computational methods and analytical models in financial engineering that rely ...
Lire la suiteThis book presented present a variety of techniques from computer science, such as language design, concurrency theory, software ...
Lire la suiteThis book presented present a variety of techniques from computer science, such as language design, concurrency theory, software ...
Lire la suitepresent CMBSlib, a library of Computational Models of Biological Systems. It is aimed at providing a list of test problems ...
Lire la suiteThis book constitutes the refereed proceedings of the International Conference on Computational Methods in Systems Biology, ...
Lire la suite