Computation and Logic in the Real World: Third Conference on Computability in Europe

Product Description

This book constitutes the refereed proceedings of the Third International Conference on Computability in Europe, CiE 2007, held in Sienna, Italy, in June 2007.

The 50 revised full papers presented together with 36 invited papers were carefully reviewed and selected from 167 submissions.

Among them are papers corresponding to 12 plenary talks and papers of 8 special sessions entitled doing without turing machines: constructivism and formal topology, approaches to computational learning, real computation, computability and mathematical structure, complexity of algorithms and proofs, logic and new paradigms of computability, computational foundations of physics and biology, as well as a women in computability workshop.

Computational and Ambient Intelligence: 9th International Work-Conference on Artificial Neural Networks, IWANN 2007

Product Description

This book constitutes the refereed proceedings of the 9th International Work-Conference on Artificial Neural Networks, IWANN 2007, held in San Sebastián, Spain in June 2007.

The 145 revised full papers presented together with 3 invited lectures were carefully reviewed and selected from over 260 submissions.

The papers are organized in thematic sections on theoretical concepts and neurocomputational formulations, inmproving models and learning procedures, self-organizing networks, kernel methods, evolutionary and genetic algorithms, evolutionary learning, fuzzy systems, neuroengineering and hardware implementations, data analysis, signal processing, speech processing, images processing, time series and prediction, robotics and planning motor control, power system applications, internet and web applications, biomedical applications, neural networks and other machine learning methods in cancer research, assistive technologies and e-health, as well as other applications.

Computational Geometry and Graph Theory: International Conference, KyotoCGGT 2007

Product Description

This book constitutes the thoroughly refereed post-conference proceedings of the Kyoto Conference on Computational Geometry and Graph Theory, KyotoCGGT 2007, held in Kyoto, Japan, in June 2007, in honor of Jin Akiyama and Vašek Chvátal, on the occasion of their 60th birthdays.

The 19 revised full papers, presented together with 5 invited papers, were carefully selected during two rounds of reviewing and improvement from more than 60 talks at the conference. All aspects of Computational Geometry and Graph Theory are covered, including tilings, polygons, impossible objects, coloring of graphs, Hamilton cycles, and factors of graphs.

Computers in the Human Interaction Loop (Human-Computer Interaction Series)

Product Description

“Maturing Usability” provides an understanding of how current research and practice has contributed towards improving quality issues in software, interaction and value.

Divided into three parts, ‘Quality in Software’ looks at how using development tools can enhance the usability of a system, and how methods and models can be integrated into the process to help develop effective user interfaces.

‘Quality in Interaction’ addresses theoretical frameworks on the nature of interactions; techniques and metrics for evaluation interaction quality; and the transfer of concepts and methods from research to practice. Finally, ‘Quality in Value’ assesses the impact that a system has in the real world, focusing on increasing the value of usability practice for software development and on increasing value for users.

A balance between theoretical and empirical approaches is maintained throughout, and all those interested in exploring usability issues in human-computer interaction will find this a very useful book.

Pro JavaScript Techniques

Product Description

Pro JavaScript Techniques is the ultimate JavaScript book for the modern web developer. It provides everything you need to know about modern JavaScript, and shows what JavaScript can do for your web sites. This book doesnt waste any time looking at things you already know, like basic syntax and structures.

Expert web developer and author John Resig concentrates on fundamental, vital topicswhat modern JavaScripting is (and isnt), the current state of browser support, and pitfalls to be wary of. The book is organized into four sections:

• Modern JavaScript developmentusing JavaScript the object-oriented way, creating reusable code, plus testing and debugging
• DOM scriptingupdating content and styles, plus events, and effect and event libraries
• Ajaxhow Ajax works, overcoming problems, and using libraries to speed up development of Ajax applications
• The future of JavaScriptlooking at cutting edge topics like JSON, HTML 5, and more

All concepts are backed up by real-world examples and case studies, and John provides numerous reusable functions and classes to save you time in your development. There are also up-to-date reference appendixes for the DOM, events, browser support (including IE7), and frameworksso you can look up specific details quickly and easily.

About the Author
John Resig is a programmer and entrepreneur who’s been developing web applications for over eight years. Having primarily focused on back-end development for most of that time using Perl and MySQL, John changed his focus toward implementing usable web front ends. He holds a degree in computer science from Rochester Institute of Technology and has published several papers on data mining instant messaging networks. When he’s not programming, he enjoys watching movies, writing in his blog, www.ejohn.org, and spending time with his girlfriend.