This biennial meeting focuses on the foundations, theory, models and applications of systems inspired by nature (neural networks, ...
Continue readingComputational and Statistical Approaches to Genomics, 2nd Edition, aims to help researchers deal with current genomic challenges. ...
Continue readingMathematicsMechanization consistsoftheory,softwareandapplicationofc- puterized mathematical activities such as computing, ...
Continue readingThis book constitutes the thoroughly refereed post-proceedings of the Third International Computer Music Modeling and Retrieval ...
Continue readingIt' s important to improving the state of the art of highly depe- able computer-based systems, since then increasingly applied ...
Continue readingIt' s important to improving the state of the art of highly depe- able computer-based systems, since then increasingly applied ...
Continue readingCoverage includes automated deduction and interactive theorem proving, constructive mathematics and type theory, equational ...
Continue readingThis book constitutes the refereed proceedings of the 22nd International Workshop on Computer Science Logic, CSL 2008, held ...
Continue readingRecently, there has been a dramatic increase in the use of sensors in the non-visible bands. As a result, there is a need ...
Continue readingThis book covers all aspects of artificial intelligence in computer-game playing. Topics addressed are evaluation and learning, ...
Continue readingThis book covers all aspects of artificial intelligence in computer-game playing. Topics addressed are evaluation and learning, ...
Continue readingIts focus on curves of degree at most three keeps results tangible and proofs transparent. Theorems follow naturally from ...
Continue readingIts focus on curves of degree at most three keeps results tangible and proofs transparent. Theorems follow naturally from ...
Continue readingDrug discovery is a lengthy and complex process that typically involves identifying an unmet medical need, determining a ...
Continue readingThis book constitutes the refereed proceedings of the 10th International Workshop on Cooperative Information Agents, CIA ...
Continue readingCorporate social responsibility (CSR) is simply the maximization of a company's value over time, undertaken because, in ...
Continue readingThis book is published open access under a CC BY 3.0 IGO license. This open access book provides methods for the estimation ...
Continue readingThis excellent text recognises that efforts towards improving development outcomes must work in concert with strategies which ...
Continue readingThis book constitutes the thoroughly refered post-proceedings of the 11th Conference of the Spanish Association for Artificial ...
Continue readingThe book provides an introduction to Differential Geometry of Curves and Surfaces. The theory of curves starts with a discussion ...
Continue reading