Computers - Computer Science

This book provides simultaneously a design blueprint, user guide, research agenda, and communication platform for current and future developments in artificial intelligence (AI) approaches to systems biology. It places an emphasis on the molecular dimension of life phenomena and in one chapter on anatomical...

As editors of this volume we would like to express our gratitude to the contributing authors who have delivered these highly relevant and inspiring chapters and to the international scientific committee for their help in the review and editing. Special thanks go to our...

Group cohomology has a rich history that goes back a century or more. Its origins are rooted in investigations of group theory and num- ber theory, and it grew into an integral component of algebraic topology. In the last thirty years, group cohomology has...

The already broad range of applications of ring theory has been enhanced in the eighties by the increasing interest in algebraic structures of considerable complexity, the so-called class of quantum groups. One of the fundamental properties of quantum groups is that they are modelled...

Optimization methods have been considered in many articles, monographs, and handbooks. However, experts continue to experience difficulties in correctly stating optimization problems in engineering. These troubles typically emerge when trying to define the set of feasible solutions, i.e. the constraints imposed on the design...

Many firms are now developing policies for outsourcing IT and other basic functions, this book analyses this issue from the perspective of both the outsourcer and the insourcer. Chorafas describes management needs and shows how technology can be used to meet these needs. The...

A new look at nearly 20 years of theoretical and practical research on IT outsourcing. The book explores how good IT outsourcing theories shape practice and how effective IT outsourcing practices inform theory. It highlights the importance of examining theories borrowed from economics, strategy,...

Infopreneurs looks beyond and beneath the hyperbole that currently surrounds Information Technology. Analysing many case studies, the book establishes that none of the more widely publicised methods have managed to create one strategically significant system. The true key lies within people with unique skills...

This book provides an understanding of the concepts and objectives of expert systems. It is a practical guide, intended to help the practitioner in identifying potential application in his/her own practice, and to understand the limitations of the technology. This should provide the auditor...

A discussion of various types of capitalism and the evolution of the firm. The book examines the concept of the firm in the context of class conflict and considers markets as an impediment to economic process. Finally the book examines the use of computer...

This book explores the impact that the Metaverse is having today on how the world's militaries procure, maintain, train, plan and fight, and how the Metaverse presents new challenges and opportunities for future conflict. It should be of interest to militaries, the industries that...

This book is Open Access under a CC BY licence. This book, LNCS 11429, is part III of the proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2019, which took place in Prague, Czech...

The open access two-volume set LNCS 11561 and 11562 constitutes the refereed proceedings of the 31st International Conference on Computer Aided Verification, CAV 2019, held in New York City, USA, in July 2019. The 52 full papers presented together with 13 tool papers and...

"This comprehensive reference work provides immediate, fingertip access to state-of-the-art technology in nearly 700 self-contained articles written by over 900 international authorities. Each article in the Encyclopedia features current developments and trends in computers, software, vendors, and applications...extensive bibliographies of leading figures in the...

Author: R. L. Disney,T. J. OttISBN-10: 081763116XISBN-13: 9780817631161Publisher: BirkhauserLanguage: EnglishPublished: 01/01/1983Pages: 504Format: PaperbackWeight: 1.55lbsSize: 9.00h x 6.00w x 1.07d

Climate and Environmental Database Systems contains the papers presented at the Second International Workshop on Climate and Environmental Database Systems, held November 21-23, 1995, in Hamburg, Germany. Climate and environmental data may be separated into two classes, large amounts of well structured data and...

Welcome to ANALYZE, designed to provide computer assistance for analyzing linear programs and their solutions. Chapter 1 gives an overview of ANALYZE and how to install it. It also describes how to get started and how to obtain further documentation and help on-line. Chapter...

Generating Abstraction Hierarchies presents a completely automated approach to generating abstractions for problem solving. The abstractions are generated using a tractable, domain-independent algorithm whose only inputs are the definition of a problem space and the problem to be solved and whose output is an...

This is a milestone in machine-assisted microprocessor verification. Gordon [20] and Hunt [32] led the way with their verifications of sim- ple designs, Cohn [12, 13] followed this with the verification of parts of the VIPER microprocessor. This work illustrates how much these, and...

The protection of sensitive information against unauthorized access or fraudulent changes has been of prime concern throughout the centuries. Modern communication techniques, using computers connected through networks, make all data even more vulnerable for these threats. Also, new issues have come up that were...

Field-Programmable Analog Arrays brings together in one place important contributions and up-to-date research results in this fast moving area. Field-Programmable Analog Arrays serves as an excellent reference, providing insight into some of the most challenging research issues in the field.Author: Edmund PierzchalaISBN-10: 0792382323ISBN-13: 9780792382324Publisher:...

Mining the World Wide Web: An Information Search Approach explores the concepts and techniques of Web mining, a promising and rapidly growing field of computer science research. Web mining is a multidisciplinary field, drawing on such areas as artificial intelligence, databases, data mining, data...

Schmidt and Bannon (1992) introduced the concept of common information space by contrasting it with technical conceptions of shared information: Cooperative work is not facilitated simply by the provisioning of a shared database, but rather requires the active construction by the participants of a...

1. Facets and Challenges of the Information Technology Evolution; A. Heck. 2. The Compton Gamma-Ray Observatory Archive; P. Barrett. 3. Data from the X-Ray Observatory ROSAT; H.U. Zimmermann, et al. 4. The Einstein On-Line Service; D.E. Harris, C.S. Grant. 5. The EUVE Archive; Center...

Quantifiers: Logics, Models and Computation is the first concentrated effort to give a systematic presentation of the main research results on the subject, since the modern concept was formulated in the late '50s and early '60s. The majority of the papers are in the...

2. The Algorithm . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . ....

Technology and Society provides a broad, balanced perspective on the impact of technology on global society since the beginning of the industrial revolution. Its organization reflects the many facets of our world that have felt the effects of technology; economics, government, the arts, and...

This is the first book presenting a stochastic extension of process algebra, PEPA; this is shown to be suitable for specifying a Markov process, which can then be applied to performance modelling. The method, which is illustrated with case studies taken from the area...

The goal of this book is to provide a comprehensive and systematic introduction to the important and highly applicable method of data refinement and the simulation methods used for proving its correctness. The authors concentrate in the first part on the general principles needed...

Recent advances in the field of computer vision are leading to novel and radical changes in the way we interact with computers. It will soon be possible to enable a computer linked to a video camera to detect the presence of users, track faces,...

This accessible and comprehensive volume addresses modern developments in semantics and logic of computation and will be an important source for graduate students and researchers working in this area.Author: Andrew M. PittsISBN-10: 0521118468ISBN-13: 9780521118460Publisher: Cambridge University PressLanguage: EnglishPublished: 08/20/2009Pages: 376Format: PaperbackWeight: 1.21lbsSize: 9.00h x...

The proceedings from Parallel CFD 2006 covers all aspects of parallel computings and its applications. Although CFD is one of basic tools for design procedures to produce machineries, such as automobiles, ships, aircrafts, etc., large scale parallel computing has been realized very recently, especially...

Except from the ForewordThe stated aim of the book series "Capturing Intelligence" is to publish books on research from all disciplines dealing with and affecting the issue of understanding and reproducing intelligence artificial systems. Of course, much of the work done in the past...

The volume "Modern Information Processing: From Theory to Applications," edited by Bernadette Bouchon-Meunier, Giulianella Coletti and Ronald Yager, is a collection of carefully selected papers drawn from the program of IPMU'04, which was held in Perugia, Italy. The book represents the cultural policy of...

Computers built from DNA, bacteria, or foam. Robots that fix themselves on Mars. Bridges that report when they are aging. This is the bizarre and fascinating world of Natural Computing. Computer scientist and Scientific American's "Puzzling Adventures" columnist Dennis Shasha here teams up with...

The papers in this voluriic were presented at the CHYP'I'O 'SS conf- ence on theory and applications of cryptography, Iicld August 21-2, j. 19SS in Sarita Uarbara, ('alifornia. The conference was sponsored hy the Int- national AssociatioIi for C'ryptologic Research (IAC'R) and hosted by...

This book constitutes the proceedings of the 8th International Conference on Human Choice and Computers held in Pretoria, South Africa. The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The scope of the series includes: foundations of computer...

Grid Computing: International Symposium on Grid Computing (ISGC) 2007 is one of the most important annual events in Asia that brings together scientific contributions by world class researchers and scientists working in the Grid Computing field to exchange ideas, to present challenges, solutions and...

Recent Advances in Numerical Methods features contributions from distinguished researchers focused on significant aspects of current numerical methods and computational mathematics. This volume meets the need in the community for new computational methods that can solve complex scientific and engineering problems by presenting innovative...

Computer Aided Innovation (CAI) is a young domain in the array of CAx technologies, the goal of which is to support enterprises throughout the complete innovation process. This book has a comprehensive vision which conceives CAI systems beginning at the creative stage of perceiving...

In 2006, the Federal Bureau of Investigation (FBI) processed more than two petabytes of digital evidence; in 2007, the volume of digital evidence processed will exceed four petabytes. Electronic devices are becoming smaller and more diverse; memory capacities are increasing according to Moore's Law;...

International Federation for Information Processing (The IFIP) series publishes state-of-the-art results in the sciences and technologies of information and communication. The scope of the series includes: foundations of computer science; software theory and practice; education; computer applications in technology; communication systems; systems modeling and...

In today's rapidly changing global work environment, all workers experience increased organizational complexity. Companies are functionally distributed, many across the globe. Intense competition for markets and margins makes adaptiveness and innovation imperative. Information and communication technologies are pervasive and fundamental infrastructures, their use deeply...

The aim of CoreGRID is to strengthen and advance scientific and technological excellence in the area of Grid and Peer-to-Peer technologies in order to overcome the current fragmentation and duplication of effort in this area. To achieve this objective, the workshop brought together a...

This book summarizes results achieved in solving the circle packing problem over the past few years, providing the reader with a comprehensive view of both theoretical and computational achievements. Typical illustrations of problem solutions are shown, elegantly displaying the results obtained. Beyond the theoretically...

As the world proceeds quickly into the Information Age, it encounters both successes and challenges, and it is well recognized that Intelligent Information Processing provides the key to the Information Age and to mastering many of these challenges. Intelligent Information Processing supports the most...

Metagraphs and their Applications is a presentation of metagraph theory and its applications that begins by defining a metagraph and its uses. They are more complex than a simple graph structure, but they allow for representation and analysis of more complex systems. The material...

This book records the very first Working Conference of the newly established IFIP Working Group on Human-Work Interaction Design, which was hosted by the University of Madeira in 2006. The theme of the conference was on synthesizing work analysis and design sketching, with a...

On behalf of the Organizing Committee for this event, we are glad to welcome you to IWASE 2006, the First International Workshop on Advanced Software Engineering. We hope you will enjoy the traditional Chilean hospitality and, of course, please tell us how we can...

The International Federation for Information Processing (IFIP) is a non-profit umbrella organization for national societies working in the field of information processing. It was founded in 1960 under the auspices of UNESCO. It is organized into several technical committees. This book represents the proceedings...