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