Product Description
As the UK’s only charity concerned with both mental illness and learning disabilities, the Mental Health Foundation plays a vital role in pioneering new approaches to prevention, treatment and care. The Foundation’s work includes allocating grants for research and community projects, contributing to public debate, educating and influencing policy-makers and health care professionals and striving to reduce the stigma attached to mental illness and learning disabilities. In this book, the Foundation has gathered together the work of specialists in the relevant disciplines to present and debate the state of knowledge and research in their field. Contributors focus on questions of methodology and evaluation, and explain how particular research designs might answer specific psychotherapy service questions. They set out guidelines for practice by evaluating examples of good research studies. They also consider how inevitable problems in implementation can be anticipated and overcome. The book’s purpose is to present a guide to the construction and successful execution of well founded research projects, to be used by the research community, purchasers and providers of psychotherapy services, and funding bodies in both public and private sectors. ... Read more

Product Description
Attempting to prove that the human mind is both a social construct and a computational device, as opposed to one or the other, linguistics expert William Frawley focuses on language and reconciles the linguistic device (the mind) and the linguistic person. He presents an examination of certain congenital disorders, like autism, that disrupt speech to clarify the issue of computational AND cognitive control. ... Read more

Customer Reviews (2)

Important But Narrowly Directed
Frawley has taken on a very important task, trying to reconcile and unify cognitive science with a more sociocultural understanding of mind. I am very interested in this topic, so I was disappointed that I didn't get more out of the book than I did, even though I came to it with a doctorate in sociology and considerable background in science and philosophy. Ideally the book should have appealed to educated readers in many disciplines, but Frawley assumes a great deal of prior study in the philosophy of mind. Few without that specific background will be able to appreciate and evaluate his argument. Even within that field, some will probably be put off by his computationist position: "Consciousness emerges out of the purely computational manipulations of nonconscious processes." The project may be the "unification of the social and computational mind," but in the end, computation embraces all.

An in-depth exploration of language and the mind.
In this book, Frawley links Vygotsky's sociocultural theory of the mind with the computational mind in cognitive science.He presents an in-depth exploration of the development of linguistics and how it relates to thenature of the mind. He explains that we not only have a language ofthought, but also a language for thought. This book is designed tochallenge our beliefs on thinking, not to give easy answers. ... Read more

Product Description

The four-volume set LNCS 4487-4490 constitutes the refereed proceedings of the 7th International Conference on Computational Science, ICCS 2007, held in Beijing, China in May 2007.

More than 2400 submissions were made to the main conference and its 35 topical workshops. The 80 revised full papers and 11 revised short papers of the main track were carefully reviewed and selected from 360 submissions and are presented together with 624 accepted workshop papers in four volumes.

According to the ICCS 2007 theme "Advancing Science and Society through Computation" the papers cover a large volume of topics in computational science and related areas, from multiscale physics, to wireless networks, and from graph theory to tools for program development. The papers are arranged in topical sections on efficient data management, parallel monte carlo algorithms, simulation of multiphysics multiscale systems, dynamic data driven application systems, computer graphics and geometric modeling, computer algebra systems, computational chemistry, computational approaches and techniques in bioinformatics, computational finance and business intelligence, geocomputation, high-level parallel programming, networks theory and applications, collective intelligence for semantic and knowledge grid, collaborative and cooperative environments, tools for program development and analysis in CS, intelligent agents in computing systems, CS in software engineering, computational linguistics in HCI, internet computing in science and engineering, workflow systems in e-science, graph theoretic algorithms and applications in cs, teaching CS, high performance data mining, mining text, semi-structured, Web, or multimedia data, computational methods in energy economics, risk analysis, advances in computational geomechanics and geophysics, meta-synthesis and complex systems, scientific computing in electronics engineering, wireless and mobile systems, high performance networked media and services, evolution toward next generation internet, real time systems and adaptive applications, evolutionary algorithms and evolvable systems.

Product Description
The aim of ICCMSE 2008 is to bring together computational scientists and engineers from several disciplines in order to share methods, methodologies and ideas. The potential readers are all the scientists with interest in: Computational Mathematics, Theoretical Physics, Computational Physics, Theoretical Chemistry, Computational Chemistry, Mathematical Chemistry, Computational Engineering, Computational Mechanics, Computational Biology and Medicine, Scientific Computation, High Performance Computing, Parallel and Distributed Computing, Visualization, Problem Solving Environments, Software Tools, Advanced Numerical Algorithms, Modelling and Simulation of Complex Systems, Web-based Simulation and Computing, Grid-based Simulation and Computing, Computational Grids, and Computer Science. ... Read more

Product Description

The three-volume set LNCS 3514-3516 constitutes the refereed proceedings of the 5th International Conference on Computational Science, ICCS 2005, held in Atlanta, GA, USA in May 2005.

The 464 papers presented were carefully reviewed and selected from a total of 834 submissions for the main conference and its 21 topical workshops. The papers span the whole range of computational science, ranging from numerical methods, algorithms, and computational kernels to programming environments, grids, networking, and tools. These fundamental contributions dealing with computer science methodologies and techniques are complemented by papers discussing computational applications and needs in virtually all scientific disciplines applying advanced computational methods and tools to achieve new discoveries with greater accuracy and speed.

Product Description

The four-volume set LNCS 4487-4490 constitutes the refereed proceedings of the 7th International Conference on Computational Science, ICCS 2007, held in Beijing, China in May 2007.

More than 2400 submissions were made to the main conference and its 35 topical workshops. The 80 revised full papers and 11 revised short papers of the main track were carefully reviewed and selected from 360 submissions and are presented together with 624 accepted workshop papers in four volumes.

According to the ICCS 2007 theme "Advancing Science and Society through Computation" the papers cover a large volume of topics in computational science and related areas, from multiscale physics, to wireless networks, and from graph theory to tools for program development. The papers are arranged in topical sections on efficient data management, parallel monte carlo algorithms, simulation of multiphysics multiscale systems, dynamic data driven application systems, computer graphics and geometric modeling, computer algebra systems, computational chemistry, computational approaches and techniques in bioinformatics, computational finance and business intelligence, geocomputation, high-level parallel programming, networks theory and applications, collective intelligence for semantic and knowledge grid, collaborative and cooperative environments, tools for program development and analysis in CS, intelligent agents in computing systems, CS in software engineering, computational linguistics in HCI, internet computing in science and engineering, workflow systems in e-science, graph theoretic algorithms and applications in cs, teaching CS, high performance data mining, mining text, semi-structured, Web, or multimedia data, computational methods in energy economics, risk analysis, advances in computational geomechanics and geophysics, meta-synthesis and complex systems, scientific computing in electronics engineering, wireless and mobile systems, high performance networked media and services, evolution toward next generation internet, real time systems and adaptive applications, evolutionary algorithms and evolvable systems.

Product Description

This book presents major advances in high performance computing as well as major advances due to high performance computing. It contains a collection of papers in which results achieved in the collaboration of scientists from computer science, mathematics, physics, and mechanical engineering are presented. From the science problems to the mathematical algorithms and on to the effective implementation of these algorithms on massively parallel and cluster computers we present state-of-the-art methods and technology as well as exemplary results in these fields. This book shows that problems which seem superficially distinct become intimately connected on a computational level.

Product Description
How can one be assured that computer codes that solve differential equations are correct? Standard practice using benchmark testing no longer provides full coverage because today's production codes solve more complex equations using more powerful algorithms. By verifying the order-of-accuracy of the numerical algorithm implemented in the code, one can detect most any coding mistake that would prevent correct solutions from being computed. Verification of Computer Codes in Computational Science and Engineering sets forth a powerful alternative called OVMSP: Order-Verification via the Manufactured Solution Procedure. This procedure has two primary components: using the Method of Manufactured Exact Solutions to create analytic solutions to the fully-general differential equations solved by the code and using grid convergence studies to confirm the order-of-accuracy. The authors present a step-by-step procedural guide to OVMSP implementation and demonstrate its effectiveness.Properly implemented, OVMSP offers an exciting opportunity to identify virtually all coding 'bugs' that prevent correct solution of the governing partial differential equations. Verification of Computer Codes in Computational Science and Engineering shows you how this can be done. The treatment is clear, concise, and suitable both for developers of production quality simulation software and as a reference for computational science and engineering professionals. ... Read more

Product Description

The LNCS journal Transactions on Computational Systems Biology is devoted to inter- and multidisciplinary research in the fields of computer science and life sciences and supports a paradigmatic shift in the techniques from computer and information science to cope with the new challenges arising from the systems oriented point of view of biological phenomena.

This issue contains four highly detailed papers. The first paper focuses on quantitative aspects of the bgl operon for E.coli. The second contribution deals with ecosystem transitions affecting phenotype expressions and selection mechanisms. The third paper presents the Stochastic Calculus of Looping Sequences (SCLS) suitable for the description of microbiological systems, such as cellular pathways, and their evolution. The final contribution describes the use of biological transactions to make atomic sequences of interactions in the BlenX language.

Product Description

This collection of lectures presented at the First International Conference on Parallel, Distributed and Grid Computing for Engineering—held at the University of Pécs in Hungary—addresses both pure computer-science aspects and their applications in computational mechanics and science. This unique record covers a wide range of theories related to high-performance computing, and topics include parallel environments, next-generation processors, architectures and methods for HPC, grids and cloud portals, domain decomposition methods, solver technology, and preconditioned iterative methods and hybrid time domain methods.

Product Description
Branching Programs are, besides Boolean circuits, the most important nonuniform model of computation. This volume gives a survey of the latest research in this field. It presents a branching program-based approach to complexity theory. Starting with a definition of branching programs and a review of the former research, nondeterministic branching programs are introduced and investigated, thus allowing the description of some fundamental complexity classes. The book then concentrates on the new concept of Omega-branching programs. Apart from the usual binary tests they contain features for evaluating certain elementary Boolean functions and are suited for characterizing space-bounded complexity classes. By means of these characterizations the author demonstrates the separation of some restricted complexity classes. In the appendix a number of extremely restricted graph-accessibility problems are given, which are, due to the branching program descriptions in chapters 1-3, p-projection complete in the classes under consideration. ... Read more

Product Description
Designed to present and promote reliable and effective mathematical and computational tools in metrology, and understand better the modelling, statistical and computational requirements in metrology. DLC: Mensuration. ... Read more

Product Description

The LNCS journal Transactions on Computational Systems Biology is devoted to inter- and multidisciplinary research in the fields of computer science and life sciences and supports a paradigmatic shift in the techniques from computer and information science to cope with the new challenges arising from the systems oriented point of view of biological phenomena.

This, the 5th Transactions on Computational Systems Biology volume, edited by Xiaohua Hu, Yi Pan and Tsau Young Lin, features a number of carefully selected and enhanced contributions initially presented at the 2005 IEEE International Conference on Granular Computing held in Beijing, China, in July 2005.

The 9 papers selected for this special issue are devoted to various aspects of computational methods, algorithms and techniques in bioinformatics such as gene expression analysis, biomedical literature mining and natural language processing, protein structure prediction, biological database management and biomedical information retrieval.

Product Description
In recent years, spatial analysis has become an increasingly active field, as evidenced by the establishment of educational and research programs at many universities. Its popularity is due mainly to new technologies and the development of spatial data infrastructures. This book illustrates some recent developments in spatial analysis, behavioural modelling, and computational intelligence. World renown spatial analysts explain and demonstrate their new and insightful models and methods. The applications are in areas of societal interest such as the spread of infectious diseases, migration behaviour, and retail and agricultural location strategies. In addition, there is emphasis on the uses of new technologoies for the analysis of spatial data through the application of neural network concepts. ... Read more

Product Description
The first EPMESC Conference took place in 1985. It was during the Conference, recognising the success it had been, that the promoters decided to organise other EPMESC conferences, giving birth to a new series of international meetings devoted to computational methods in engineering.

The variety of subjects covered by the papers submitted to the 7th Conference demonstrates how much computational methods expanded and became richer in their applications to Science and Technology. New paradigms are being cultivated as non-numerical applications started to compete with the more traditional numerical ones. The scientific and technological communities to which the EPMESC Conferences used to be addressed themselves have changed.

The two-volume Proceedings that we achieved to gather represent many of the interesting developments that are taking place, not only in the Asia Pacific Region, but also in some other scientifically advanced parts of the World, and cover a vast list of subjects grouped under the following headings: Applied Mathematics; Physics and Materials Science; Solid Mechanics; Finite Element and Boundary Element Methods; Structural Analysis; Structural Dynamics and Earthquake Engineering; Structural Engineering; Reinforced Concrete; Knowledge-Based Systems; Artificial Neural Networks and Genetic Algorithms; Computer-Aided Instruction; Computer-Aided Design and Computer-Aided Engineering; Geographic Information Systems; Environmental Applications; Road Engineering; Geotechnics; Soil Mechanics; Fluid Mechanics and Hydraulics.

Two hundred and fifty one summaries were accepted, many of them with comments and restrictions, by the Programme Committee.

From these, 153 papers resulted, many of them from Portuguese and Chinese origin, that were submitted to the revision of an international panel of referees from Australia, Belgium, Brazil, China, Italy, Macao, Portugal, Switzerland, United Kingdom and United States, to which we gladly acknowledge our gratitude and appreciation.
... Read more

Product Description
In 1946 John von Neumann stated that science is stagnant along the entire front of complex problems, proposing the use of largescale computing machines to overcome this stagnation. In other words, Neumann advocated replacing analytical methods with numerical ones. The invention of the computer in the 1940s allowed scientists to realise numerical simulations of increasingly complex problems like weather forecasting, and climate and molecular modelling. Today, computers are widely used as computational laboratories, shifting science toward the computational sciences. By replacing analytical methods with numerical ones, they have expanded theory and experimentation by simulation.During the last decades hundreds of computational departments have been established all over the world and countless computer-based simulations have been conducted. This volume explores the epoch-making influence of automatic computing machines on science, in particular as simulation tools.Contributors: Peter Bexte, Thomas Brandstetter, Johann Feichter, Peter Galison, Gabriele Gramelsberger, David Alan Grier, Sybille Krämer, Thomas Lange, Johannes Lenhard, Erika Mansnerus, Renate Mayntz, and Sergio Sismondo. ... Read more