Cognitive science is at last treated as a unified subject in this exciting textbook. Students are introduced to the techniques and main theoretical models of the cognitive scientist's toolkit, and shown how this vibrant science is applied to unlock the mysteries of the human mind.
This book is the fifth volume of the CoreGRID series. Organized jointly with the Euro-Par 2007 conference, The CoreGRID Symposium intends to become the premiere European event on Grid Computing. The aim of this symposium is to strengthen and advance scientific and technological excellence in the area of Grid and Peer-to-Peer Computing. The book includes all aspects of Grid Computing including service infrastructure. It is designed for a professional audience composed of researchers and practitioners in industry. This volume is also suitable for advanced-level students in computer science.
Provides the advances in modelling and simulation on supercomputers. Presenting results achieved on systems of the High Performance Computing Center Stuttgart (HLRS) for the year 2005, these reports cover various fields of computational science and engineering, ranging from CFD via computational physics and chemistry to computer science.
Advances in optical technologies have made it possible to implement optical interconnections in future massively parallel processing systems. Photons are non-charged particles, and do not naturally interact. Consequently, there are many desirable characteristics of optical interconnects, e.g. high speed (speed of light), increased fanout, high bandwidth, high reliability, longer interconnection lengths, low power requirements, and immunity to EMI with reduced crosstalk. Optics can utilize free-space interconnects as well as guided wave technology, neither of which has the problems of VLSI technology mentioned above. Optical interconnections can be built at various levels, providing chip-to-c...
Object-based Distributed Computing is being established as the most pertinent basis for the support of large, heterogeneous computing and telecommunications systems. The advent of Open Object-based Distributed Systems (OODS) brings new challenges and opportunities for the use and development of formal methods. Formal Methods for Open Object-based Distributed Systems presents the latest research in several related fields, and the exchange of ideas and experiences in a number of topics including: formal models for object-based distributed computing; semantics of object-based distributed systems and programming languages; formal techniques in object-based and object oriented specification, anal...
This book is compiled of selected proceedings from the "Landscapes" Conference held at Turku University, Finland, in July 2005. The themes chosen for the conference – philosophy, ethics and sociological aspects, culture and education; social aspects; politics and regulation; economics and work; technology and emerging technologies – represent many of the perspectives from which to view this landscape. The papers illustrate the diverse impacts of the information society and the changing paradigms within education, law, health care, the workplace and on future societal infrastructures through research initiatives and the development of new technologies. In this book, IFIP WG9.2 has attempted to capture the new ‘emerging landscape’ of the Information Society. A picture of profound technological and social change emerges from this holistic approach. It offers a key to understanding the ramifications of computer technologies within the information society, and of the social accountability of all those who work with and are affected by them.
While what you create using your computer is a unique expression of who you are, how you use your computer probably isn't. Nearly every Windows XP user follows the same Start menu path to launch programs, uses the same standard techniques in programs like Windows Explorer and Outlook Express, and performs the same customizations that don't go much beyond changing the wallpaper. However, there are those of us who qualify as the "post-novice" user, who think that doing things the "official" way is too slow, less efficient and less powerful than there is potential for with Windows XP. Microsoft Windows XP Unleashed will take you beyond the standard-issue default settings and program wizards to shortcuts, new customization techniques, workarounds for common problems, and warnings on how to avoid the pitfalls of Windows XP, including those associated with Service Pack 2. Along the way, you'll learn about all kinds of insider details, undocumented features, powerful tools, and background facts that help put everything about Windows XP into perspective.
This book constitutes the refereed proceedings of the 13th International Symposium on Static Analysis, SAS 2006. The book presents 23 revised full papers together with the abstracts of 3 invited talks. The papers address all aspects of static analysis including program and systems verification, shape analysis and logic, termination analysis, bug detection, compiler optimization, software maintenance, security and safety, abstract interpretation and algorithms, abstract domain and data structures and more.
On behalf of the organizing committee I would like to welcome you all to the second Asian Symposium on Programming Languages and Systems (APLAS 2004) held in Taipei on November 4–6, 2004. Since the year 2000, researchers in the area of programming languages and systems have been meeting annually in Asia to present their most recent research results, thus contributing to the advancementofthisresearcharea.ThelastfourmeetingswereheldinSingapore (2000), Daejeon (2001), Shanghai (2002), and Beijing (2003). These meetings were very fruitful and provided an excellent venue for the exchange of research ideas, ?ndings and experiences in programming languages and systems. APLAS 2004 is the ?fth such...
Accessible to all, this book teaches the essentials to anyone who wants to become an effective and independent Debian GNU/Linux administrator. It covers all the topics that a competent Linux administrator should master, from the installation and the update of the system, up to the creation of packages and the compilation of the kernel, but also monitoring, backup and migration, without forgetting advanced topics like SELinux setup to secure services, automated installations, or virtualization with Xen, KVM or LXC. Learn more about the book on http: //debian-handbook.info