eBook By Category (Computer Science)

Model checking technology is among the foremost applications of logic to computer science and computer engineering

The model checking community has achieved many breakthroughs, bridging the gap between theoretical computer science and hardware and software engineering, and it is reaching out to new challenging areas such as system biology and hybrid systems

Model checking is extensively used in the hardware industry and has also been applied to the verification of many types of software

This book presents a stochastic extension of process algebra called PEPA that is suitable for specifying a Markov process, which can then be applied to performance modeling

This method, which the author illustrates with case studies taken from the area of communication systems, can readily be used to construct a variety of models that can be analyzed using standard numerical techniques

One of the major advantages of PEPA over the standard methods for specifying stochastic performance models is the inherent apparatus for reasoning about the structure and behavior of models

Compressing data is an option naturally selected when faced with problems of high costs or restricted space

Written by a renowned expert in the field, this book offers readers a succinct, reader-friendly foundation to the chief approaches, methods and techniques currently employed in the field of data compression

Part I presents the basic approaches to data compression and describes a few popular techniques and methods commonly used to compress data

The ability to reason and think in a logical manner forms the basis of learning for most mathematics, computer science, philosophy and logic students

Based on the author's teaching notes at the University of Maryland and aimed at a broad audience, this text covers the fundamental topics in classical logic in an extremely clear, thorough and accurate style that is accessible to all the above

Covering propositional logic, first-order logic, and second-order logic, as well as proof theory, computability theory, and model theory, the text also contains numerous carefully graded exercises and is ideal for a first or refresher course

The purpose of the book is to develop a generative theory of shape that has two properties regarded as fundamental to intelligence - maximizing transfer of structure and maximizing recoverability of the generative operations

These two properties are particularly important in the representation of complex shape - which is the main concern of the book

The primary goal of the theory is the conversion of complexity into understandability

This volume gathers lectures by 8 distinguished pioneers of automata theory, including two Turing Award winners

In each contribution, the early developments of automata theory are reminisced about and future directions are suggested

Although some of the contributions go into rather intriguing technical details, most of the book is accessible to a wide audience interested in the progress of the age of computers

This book blends traditional teaching approaches with the use of mathematics, together with the use of a hardware description language and a concrete processor as vehicles for `hands-on` modelling and experimenting with digital logic and processor design

This unique approach encourages readers to derive their own conclusions via experimentation, enabling them to discover for themselves the fundamental and exciting topics of computer architecture

Features: includes a wide-ranging introductory chapter; outlines basic methods for evaluating processors; investigates advanced topics in processor design; presents a detailed description of a development tool-chain; provides a stand-alone tutorial on using SPIM; focuses on aspects of compilers which are closely tied to the processor; examines the concept of efficient programming; concludes every chapter with a set of example problems

Intended for graduate students and advanced undergraduates in computer science, A Second Course in Formal Languages and Automata Theory treats topics in the theory of computation not usually covered in a first course

After a review of basic concepts, the book covers combinatorics on words, regular languages, context-free languages, parsing and recognition, Turing machines, and other language classes

Many topics often absent from other textbooks, such as repetitions in words, state complexity, the interchange lemma, 2DPDAs, and the incompressibility method, are covered here

Proceedings of the International Workshop, ASM, held in Monte Verita, Switzerland, March 19-24, 2000

The workshop served as a forum on practical and theoretical topics that relate to ASMs and brought together domain-experts and theorists using ASMs in their work

Softcover

This volume contains a collection of the papers presented during the First International ACM-L Workshop, which was held in Tucson, Arizona, on November 8, 2006, during the 25th International Conference on Conceptual Modeling, ER 2006

The workshop focused on enhancing the fundamental understanding of how to model continual learning from past experiences and how to capture knowledge from transitions between system states

Active conceptual modeling is a continual process of describing all aspects of a domain, its activities, and changes from different perspectives based on our knowledge and understanding

Ada 2005 is the latest version of the International Standard for the programming language Ada

Formally, it is an Amendment of ISO/IEC 8652:1995 (E) rather than a completely new standard

The primary goals for the new version were to enhance its capabilities particularly in those areas where its reliability and predictability are of great value

Analog and mixed signal integrated systems of today and tomorrow will be very complex, as they meet the challenge and increased demand for higher levels of integration in a System on Chip (SoC)

Current and future trends call for pushing system integration to the highest levels in order to achieve low cost and low power for large volume products in the consumer and telecom markets, such as feature-rich handheld battery-operated devices

In today?

Computer architecture deals with the physical configuration, logical structure, formats, protocols, and operational sequences for processing data, controlling the configuration, and controlling the operations over a computer

It also encompasses word lengths, instruction codes, and the interrelationships among the main parts of a computer or group of computers

This two-volume set offers a comprehensive coverage of the field of computer organization and architecture

Advanced Data Structures presents a comprehensive look at the ideas, analysis, and implementation details of data structures as a specialized topic in applied algorithms

Data structures are how data is stored within a computer, and how one can go about searching for data within

This text examines efficient ways to search and update sets of numbers, intervals, or strings by various data structures, such as search trees, structures for sets of intervals or piece-wise constant functions, orthogonal range search structures, heaps, union-find structures, dynamization and persistence of structures, structures for strings, and hash tables

This book constitutes the refereed proceedings of the 15th International Conference on Advanced Information Systems Engineering, CaiSE 2003, held in Klagenfurt, Austria in June 2003

The 45 revised full papers presented together with 3 invited contributions were carefully reviewed and selected from 219 submissions

The papers are organized in topical sections on XML, methods and models for information systems, UML, Internet business and social modeling, peer-to-peer systems, ontology-based methods, advanced design of information systems, knowledge, knowledge management, Web services, data warehouses, electronic agreements and workflow, requirements engineering, metrics and method engineering, and agent technologies and advanced environments

This book constitutes the thoroughly refereed post-proceedings of the 11th Asian Computing Science Conference, ASIAN 2006, held in Tokyo, Japan, in December 2006

The 17 revised full papers and 8 revised short papers presented together with 1 invited paper were carefully selected during two rounds of reviewing and revision from 115 submissions

The papers cover all aspects of theory, practice, applications, and experiences related to secure software and feature new ways to apply theoretical and practical techniques in secure software analysis, design, development, and operation

The series covers new developments in computer technology

Most chapters present an overview of a current subfield within computer science, with many citations, and often include new developments in the field by the authors of the individual chapters

Topics include hardware, software, theoretical underpinnings of computing, and novel applications of computers

This book constitutes the refereed proceedings of the 12th East European Conference on Advances in Databases and Information Systems, ADBIS 2008, held in Pori, Finland, on September 5-9, 2008

The 22 revised papers were carefully reviewed and selected from 66 submissions

Topically, the papers span a wide spectrum of the database and information systems field: from query optimization, and transaction processing via design methods to application oriented topics like XML and data on the web

Every real-world problem from economic to scientific and engineering fields is ultimately confronted with a common task, viz

, optimization

Genetic and evolutionary algorithms (GEAs) have often achieved an enviable success in solving optimization problems in a wide range of disciplines

This book constitutes the refereed proceedings of the 26th European Conference on Information Retrieval Research, ECIR 2004, held in Sunderland, UK, in April 2004

The 28 revised full papers presented together with 2 keynote papers were carefully reviewed and selected from 88 submissions

The papers are organized in topical sections on user studies, question answering, information models, classification, summarization, image retrieval, evaluation issues, cross-language IR, and web-based and XML IR

This book constitutes the refereed proceedings of the International Conference on Mass Data Analysis of Signals and Images in Medicine, Biotechnology and Chemistry, MDA 2006 and 2007, held in Leipzig, Germany,,

The topics include techniques and developments of signal and image producing procedures, object matching and object tracking in microscopic and video microscopic images, 1D, 2D and 3D shape analysis, description and feature extraction of texture, structure and location, image segmentation algorithms, parallelization of image analysis and semantic tagging of images from life science applications

This book constitutes the joint refereed proceedings of three workshops held in conjunction with the 9th International Conference on Web Information Systems Engineering, WISE 2008 in Auckland, New Zealand, September, 2008

The 16 revised full papers presented were carefully reviewed and selected from 40 submissions for presentation in the following workshops: The First International Workshop on Web Information Systems Engineering for Electronic Businesses and Governments (E-BAG 2008), The Second International Workshop on Web Usability and Accessibility (IWWUA 2008), and The First International Workshop on Mashups, Enterprise Mashups and Lightweight Composition on theWeb (MEM and LCW 2008)

Advances in Wireless Communications covers a broad range of topics in the field of wireless communications, with chapters describing state-of-the-art solutions along with basic theoretical studies in information and communications theory

Thus, the book offers a far-reaching panorama of this exciting field

Contributions have been grouped into six areas

Computer vision is a rapidly growing field which aims to make computers `see` as effectively as humans

In this book, Shapiro presents a new framework of computer vision for interpreting time-varying imagery

This is an important task, since movement reveals valuable information about the environment

This book constitutes the refereed proceedings of the First International Symposium on Agent and Multi-Agent Systems - Technologies and Applications, KES-AMSTA 2007, held in Wroclaw, Poland in May/June 2007

China in November 2006

The 110 revised papers presented were carefully reviewed and selected from 464 submissions and contain 4 papers from the doctoral track, and 38 papers from 3 special sessions

This book constitutes the thoroughly refereed post-proceedings of the joint International Workshops on Trading Agent Design and Analysis, TADA 2006, and on Agent Mediated Electronic Commerce, AMEC VIII 2006, held in Hakodate, Japan, in May 2006 as an associated event of AAMAS 2006, the 5th International Joint Conference on Autonomous Agents and Multiagent Systems

The 17 revised full papers presented were carefully selected from the presentations made at the workshop and include papers from the annual TAC tournament whose purpose is to stimulate research in trading agents and market mechanisms by providing a platform for agents competing in well-defined market scenarios

The papers address a mix of both theoretical and practical issues in trading agent design and technologies, theoretical and empirical evaluation of strategies in complex trading scenarios as well as mechanism design

This book constitutes the thoroughly refereed post-proceedings of the 7th International Bi-Conference Workshop on Agent-Oriented Information Systems, AOIS 2005, held in Utrecht, Netherlands, in July 2005 and in Klagenfurt, Austria, in October 2005

The 19 revised full papers presented have gone through two rounds of reviewing and improvement and were carefully selected for inclusion in the book

The papers are organized in topical sections on agent behaviour, communications and reasoning, methodologies and ontologies, agent-oriented software engineering, as well as applications

This book originates from the First International Workshop on Computational Autonomy -Potential, Risks, Solutions, AUTONOMY 2003, held in Melbourne, Australia in July 2003 as part of AAMAS 2003

In addition to 7 revised selected workshop papers, the volume editors solicited 14 invited papers by leading researchers in the area

The workshop papers and the invited papers present a comprehensive and coherent survey of the state of the art of research on autonomy, capturing various theories of autonomy, perspectives on autonomy in different kinds of agent-based systems, and practical approaches to dealing with agent autonomy

This book constitutes the refereed proceedings of the Third International Conference on Algebraic Biology, AB 2008, held at the Castle of Hagenberg, Austria in July 2008 as part of the RISC Summer 2008, organized by the Research Institute for Symbolic Computation

The 14 revised full papers presented together with 3 tutorial lectures were carefully reviewed and selected from 27 submissions

The conference is the interdisciplinary forum for the presentation of research on all aspects of applications of symbolic computation (computer algebra, computational logic, and related methods) to various issues in biology and life sciences as well as other problems in biology being approached with symbolic methods

This book constitutes the refereed proceedings of the Second International Conference on Algebraic Informatics, CAI 2007, held in Thessaloniki, Greece, in May 2007

The 10 revised full papers presented together with 9 invited papers were carefully reviewed and selected from 29 submissions

The papers cover topics such as algebraic semantics on graphs and trees, formal power series, syntactic objects, algebraic picture processing, infinite computation, acceptors and transducers for strings, trees, graphs, arrays, etc

This book constitutes the refereed proceedings of the 12th International Conference on Algebraic Methodology and Software Technology, AMAST 2008, held in Urbana, IL, USA, in July 2008

The 28 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 58 submissions

Among the topics covered are all current issues in formal methods related to algebraic and logical foundations, software technology, and to programming methodology including concurrent and reactive systems, evolutionary software/adaptive systems, logic and functional programming, object paradigms, constraint programming and concurrency, program verification and transformation, programming calculi, specification languages and tools, formal specification and development case studies, logic, category theory, relation algebra, computational algebra, algebraic foundations for languages and systems, coinduction, theorem proving and logical frameworks for reasoning, logics of programs, as well as algebra and coalgebra

Although there are some books dealing with algebraic theory of automata, their contents consist mainly of Krohn?Rhodes theory and related topics

The topics in the present book are rather different

This book constitutes the reviewed proceedings of the Third International Workshop on Algorithmic Aspects of Wireless Sensor Networks, ALGOSENSORS 2007, held in Wroclaw, Poland, July 14, 2007, in association with ICALP 2007

The 11 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 26 submissions; they are fully revised to incorporate reviewers' comments and discussions at the workshop

Topics addressed are foundational and algorithmic aspects of the wireless sensor networks research

Algorithmic Results in List Decoding introduces and motivates the problem of list decoding, and discusses the central algorithmic results of the subject, culminating with the recent results on achieving `list decoding capacity

` The main technical focus is on giving a complete presentation of the recent algebraic results achieving list decoding capacity, while pointers or brief descriptions are provided for other works on list decoding

Algorithmic Results in List Decoding is intended for scholars and graduate students in the fields of theoretical computer science and information theory

This book is the result of the research in the implementation of polygon-based graphics operations on certain general purpose parallel processors; the aim is to provide a speed-up over sequential implementations of the graphics operations concerned, and the resulting software can be viewed as a subset of the application suites of the relevant parallel machines

A literature review and a brief description of the architectures considered give an introduction into the field

Most algorithms are consistently presented in an informally defined extension of the Occam language which includes Single Instruction Multiple Data stream (SIMD) data types and operations on them

By the time students have done some programming in one or two languages and have learnt the common ways of representing information in a computer, they will want to embark upon further study of theoretical or applied topics in computer science

Most will encounter problems that require for their solution one or more of the techniques described in this book: for example problems depending upon the formation and solution of different equations; the task of making lists of possible alternatives and of answering questions about them; or the search for discrete optima

Written by the same authors as the highly successful Information Representation and Manipulation in a Computer, this book describes algorithms of mathematical methods and illustrates their application with examples

Computer Science

User review
A comprehensive book, but not primary
I am very surprised to see so many minus reviews here, and couples of them said this book is `not an introduction`

Well, I think the book's title is a little misleading, the book is a one in a more comprehensive way, but not so difficult - even for non-English readers like me

This book has its own characters, it covers MOST PART of the area of formal languages and, it is WELL ORGANIZED

Starting with simple examples showing the relevance of cutting and pasting logics, the monograph develops a mathematical theory of combining and decomposing logics, ranging from propositional and first-order based logics to higher-order based logics as well as to non-truth functional logics

The theory covers mechanisms for combining semantic structures and deductive systems either of the same or different nature (for instance, two Hilbert calculi or a Hilbert calculus and a tableau calculus)

The important issue of preservation of properties is extensively addressed

This book constitutes the refereed joint proceedings of seven workshops on evolutionary computing, EvoWorkshops 2007, held in Valencia, Spain in April 2007

The 55 revised full papers and 24 revised short papers presented were carefully reviewed and selected from a total of 160 submissions

In accordance with the seven workshops covered, the papers are organized in topical sections on evolutionary computation in communications, networks, and connected systems, evolutionary computation in finance and economics, evolutionary computation in image analysis and signal processing, interactive evolution and humanized computational intelligence, evolutionary music and art, evolutionary algorithms in stochastic and dynamic environments, as well as evolutionary computation in transportation and logistics

This book constitutes the thoroughly refereed post-proceedings of the Second International Workshop on Applications of Graph Transformations with Industrial Relevance, AGTIVE 2003, held in Charlotesville, Virginia, USA in September/October 2003

The 27 revised full papers and 11 revised demo papers presented together with 2 invited papers and 5 workshop reports were carefully selected during iterated rounds of reviewing and revision

The papers are organized in topical sections on Web applications; data structures and data bases; engineering applications; agent-oriented and functional programs and distribution; object- and aspect-oriented systems; natural languages: processing and structuring; reengineering; reuse and integration; modeling languages; bioinformatics; and multimedia, picture, and visual languages

This book constitutes the thoroughly refereed post proceedings of the Third International Workshop on Approximation and Online Algorithms, WAOA 2005, held in Palma de Mallorca, Spain in October 2005 as part of the ALGO 2005 event

The 26 revised full papers presented were carefully reviewed and selected from 68 submissions

Topics addressed by the workshop are algorithmic game theory, approximation classes, coloring and partitioning, competitive analysis, computational finance, cuts and connectivity, geometric problems, inapproximability results, mechanism design, network design, packing and covering, paradigms, randomization techniques, real-world applications, and scheduling problems

This book constitutes the refereed proceedings of the 7th International Conference on Artificial Immune Systems, ICARIS 2008, held in Phuket, Thailand, in August 2008

The 40 revised full papers presented were carefully reviewed and selected from 67 submissions

The papers are organized in topical sections on computational immunology, applied AIS, and theoretical AIS

This book is written from an engineer's perspective of the mind

`Artificial Mind System` exposes the reader to a broad spectrum of interesting areas in general brain science and mind-oriented studies

In this research monograph a picture of the holistic model of an artificial mind system and its behaviour is drawn, as concretely as possible, within a unified context, which could eventually lead to practical realisation in terms of hardware or software

This book includes selected papers of the Asia Simulation Conference 2007, held in Seoul, Korea, October 10-12, 2007

The 42 revised full papers presented were carefully reviewed and selected from 120 submissions; after the conference, the papers went through another round of revision

The papers are organized in topical sections on Manufacturing, Numerical Simulation I, General Application, Agent Based Simulation, Aero Space, System Dynamics, Numerical Simulation II, Web Based Simulation, General Engineering, Logistics Simulation, Simulation and AI, Simulation Tools, Statistical Methods, Health Care/Education as well as Methodology

Recent applications to biomolecular science and DNA computing have created a new audience for automata theory and formal languages

This is the only introductory book to cover such applications

It begins with a clear and readily understood exposition of the fundamentals that assumes only a background in discrete mathematics

This book constitutes the refereed proceedings of the 31st International Colloquium on Automata, Languages and Programming, ICALP 2004, held in Turku, Finland, in July 2004

The 97 revised full papers presented together with abstracts of 6 invited talks were carefully reviewed and selected from 379 submissions

The papers address all current issues in theoretical computer science including algorithms, automata, complexity, cryptography, database logics, program semantics, and programming theory

Debugging has always been a costly part of software development, and many attempts have been made to provide automatic computer support for this task

Automated debugging has seen major develoments over the last decade

Onesuccessful development is algorithmic debugging, which originated in logic programming but was later generalized to concurrent, imperative, and lazy functional languages

This book constitutes the thoroughly refereed post-proceedings of the 4th International Workshop on Automated Deduction in Geometry, ADG 2002, held at Hagenberg Castle, Austria in September 2002

The 13 revised full papers presented were carefully selected during two rounds of reviewing and improvement

Among the issues addressed are theoretical and methodological topics, such as the resolution of singularities, algebraic geometry and computer algebra; various geometric theorem proving systems are explored; and applications of automated deduction in geometry are demonstrated in fields like computer-aided design and robotics

This book constitutes the refereed proceedings of the 4th International Joint Conference on Automated Reasoning, IJCAR 2008, held in Sydney, Australia, in August 2008

The 26 revised full research papers and 13 revised system descriptions presented together with 4 invited papers and a summary of the CASC-J4 systems competition were carefully reviewed and selected from 80 full paper and 17 system description submissions

The papers address the entire spectrum of research in automated reasoning and are organized in topical sections on specific theories, automated verification, protocol verification, system descriptions, modal logics, description logics, equational theories, theorem proving, CASC, the 4th IJCAR ATP system competition, logical frameworks, and tree automata

This book constitutes the refereed proceedings of the Second International Joint Conference on Automated Reasoning, IJCAR 2004, held in Cork, Ireland, in July 2004

IJCAR 2004 comprises CADE, CALCULEMUS, , FroCoS, FTP, and TABLEAUX

The 26 revised full research papers and 6 revised system demonstrations presented together with 3 invited papers and a summary of a systems competition were carefully reviewed and selected from a total of 86 submissions

Parallel computation will become the norm in the coming decades

Unfortunately, advances in parallel hardware have far outpaced parallel applications of software

There are currently two approaches to applying parallelism to applications

This book constitutes the refereed proceedings of the Second International Workshop on Autonomous Intelligent Systems: Agents and Data Mining, AIS-ADM 2007, held in St

Petersburg, Russia in June 2007

The 17 revised full papers and 6 revised short papers presented together with 4 invited lectures were carefully reviewed and selected from 39 submissions

Average-Case Complexity is a thorough survey of the average-case complexity of problems in NP

The study of the average-case complexity of intractable problems began in the 1970s, motivated by two distinct applications: the developments of the foundations of cryptography and the search for methods to `cope` with the intractability of NP-hard problems

This survey looks at both, and generally examines the current state of knowledge on average-case complexity

Bayesian Networks: An Introduction provides a self-contained introduction to the theory and applications of Bayesian networks, a topic of interest and importance for statisticians, computer scientists and those involved in modelling complex data sets

The material has been extensively tested in classroom teaching and assumes a basic knowledge of probability, statistics and mathematics

All notions are carefully explained and feature exercises throughout

This book constitutes the refereed proceedings of the First International Bioinformatics Research and Development Conference, BIRD 2007, held in Berlin, Germany in March 2007

The 36 revised full papers presented were carefully reviewed and selected from 140 submissions

The papers are organized in topical sections on microarray and systems biology and networks, medical, SNPs, genomics, systems biology, sequence analysis and coding, proteomics and structure, databases, Web and text analysis

This book constitutes the refereed proceedings of the First International Conference on Biometric Authentication, ICBA 2004, held in Hong Kong, China in July 2004

The 104 revised full papers presented were carefully reviewed and selected from 157 submissions; also included are summaries of 3 biometric competitions on fingerprint verification, face authentication, and signature verification

The papers are organized in topical sections on face, fingerprint, iris, signature, speech, biometric fusion and risk analysis, and other biometric issues

Some revolutions are thoroughly televised

When Douglas Engelbart first demonstrated small-w windows and a funny wooden device called a mouse back in 1968, interest jumped quickly and he became the progenitor of the PC

Now, less widely known than the successful entrepreneurs who made billions from his innovations, his story deserves deeper attention as an outstanding example of practical creative research

This coherently written book is the final report on the IPSEN project on Integrated Software Project Support Environments devoted to the integration of tools for the development and maintenance of large software systems

The theoretical and application-oriented findings of this comprehensive project are presented in the following chapters: Overview: introduction, classification, and global approach; The outside perspective: tools, environments, their integration, and user interface; Internal conceptual modeling: graph grammar specifications; Realization: derivation of efficient tools, Current and future work, open problems; Conclusion: summary, evaluation, and vision

Also included is a comprehensive bibliography listing more than 1300 entries and a detailed index

This book constitutes the thoroughly refereed post-workshop proceedings of 6 internationl workshops held in Brisbane, Australia, in conjunction with the 5th International Conference on Business Process Management, BPM 2007, in September 2007

The 45 revised full papers presented were carefully reviewed and selected from more than 80 submissions to the following 6 international workshops: Business Process Intelligence (BPI 2007), Business Process Design (BPD 2007), Collaborative Business Processes (CBP 2007), Process-oriented Information Systems in Healthcare (ProHealth 2007), Reference Modeling (RefMod 2007), and Advances in Semantics for Web Services (semantics4ws 2007)

Proceedings of the 5th International Conference on Cellular Automata for Research and Industry, ARI 2002

This book constitutes the refereed proceedings of the 6th International Conference on Cellular Automata for Research and Industry, ACRI 2004, held in Amsterdam, The Netherlands in October 2004

The 60 revised full papers and 30 poster papers presented were carefully reviewed and selected from 150 submissions

The papers are devoted to methods and theory; evolved cellular automata; traffic, networks, and communication; applications in science and engineering; biomedical applications, natural phenomena and ecology; and social and economical applications

This book constitutes the refereed proceedings of the 7th International Conference on Cellular Automata for Research and Industry, ACRI 2006, held in Perpignan, France in September 2006

The 53 revised full papers and 19 revised poster papers presented together with 6 invited lectures were carefully reviewed and selected from around 100 submissions

The papers are organized in topical sections on CA theory and implementation, computational theory, population dynamics, physical modeling, urban, environmental and social modeling, traffic and boolean networks, multi-agents and robotics, crypto and security, dynamical systems, as well as crowds and cellular automata

Knowledge Discovery today is a significant study and research area

In finding answers to many research questions in this area, the ultimate hope is that knowledge can be extracted from various forms of data around us

This book covers recent advances in unsupervised and supervised data analysis methods in Computational Intelligence for knowledge discovery

One of the most important key technologies for digital communication systems as well as storage media is coding theory

It provides a means to transmit information across time and space over noisy and unreliable communication channels

Coding Theory: Algorithms, Architectures and Applications provides a concise overview of channel coding theory and practice, as well as the accompanying signal processing architectures

This book constitutes the thoroughly refereed post-proceedings of the Joint Chinese-German Workshop on Cognitive Systems held in Shanghai in March 2005

The 13 revised papers presented were carefully reviewed and selected from numerous submissions for inclusion in the book

The workshop served to present the current state of the art in the new transdiscipline of cognitive systems, which is emerging from computer science, the neurosciences, computational linguistics, neurological networks and the new philosophy of mind

This volume constitutes the refereed proceedings of the 12th International Workshop on Combinatorial Image Analysis, IWCIA 2008, held in Buffalo, NY, USA, in April 2008

The 28 revised full papers and 10 revised poster papers presented were carefully reviewed and selected from 117 initial submissions

The papers are organized in topical sections on digital geometry and topology, curves and surfaces, combinatorics in digital spaces: lattice polygons, polytopes, tilings, and patterns, image representation, segmentation, grouping, and reconstruction, applications of computational geometry, integer and linear programming to image analysis, fuzzy and stochastic image analysis, parallel architectures and algorithms, grammars and models for image or scene analysis, as well as discrete tomography, medical imaging, and biometrics

This book constitutes the refereed proceedings of the Second International Conference on Combinatorial Optimization and Applications, COCOA 2008, held in St

John's, Canada, in August 2008

The 44 revised full papers were carefully reviewed and selected from 84 submissions

Useful guide covers two major subdivisions of combinatorics--enumeration and graph theory--with emphasis on conceptual needs of computer science

Each part is divided into a `basic concepts` chapter emphasizing intuitive needs of the subject, followed by four `topics` chapters that explore these ideas in depth

Invaluable practical resource for graduate students, advanced undergraduates, and professionals with an interest in algorithm design and other aspects of computer science and combinatorics

This book constitutes the refereed proceedings of the 5th RECOMB Comparative Genomics Satellite Workshop, RECOMB-CG 2007, held in San Diego, CA, USA, in September 2007

The 14 revised full papers presented were carefully reviewed and selected from 18 initial submissions

The papers address a broad variety of aspects and components of the field of comparative genomics, ranging from quantitative discoveries about genome structure to algorithms for comparative inference to theorems on the complexity of computational problems required for genome comparison

The book provides new developments in data analysis and statistical multivariate methods, computational statistics and algorithms, including new topics which are of central interest to modern statistics

The reader will find advanced methodologies and computational methods which are very helpful to analyze real phenomena characterized by large data bases

Furthermore, the volume includes papers devoted to original and innovative applications of recent statistical theory and complex approaches of statistical data analysis

Information technology has now pervaded the legal sector, and the very modern concepts of e-law and e-justice show that automation processes are ubiquitous

European policies on transparency and information society, in particular, require the use of technology and its steady improvement

Some of the revised papers presented in this book originate from a workshop held at the European University Institute of Florence, Italy, in December 2006

This book develops a type theory, studies its properties, and explains its uses in computer science

The book focuses in particular on how the study of type theory may offer a powerful and uniform language for programming, program specification and development, and logical reasoning

The type theory developed here reflects a conceptual distinction between logical propositions and computational data types

The computer hardware and software industry is committed to using formal methods

As a result, it is crucial that students who take automata theory and logic courses retain what they have learned and understand how to use their knowledge

Yet many textbooks typically emphasize automata theory only, not logic, thus losing a valuable opportunity to tie these subjects together and reinforce learning

Computation Structures focuses on computer architecture as a complicated problem in digital design

As such, the initial sections discuss the basic principles of designing digital circuits and systems

The context is subsequently used to discuss more and more advanced ideas without a lot of confusing structure

This book is an introduction to modern numerical methods in engineering

It covers applications in fluid mechanics, structural mechanics, and heat transfer as the most relevant fields for engineering disciplines such as computational engineering, scientific computing, mechanical engineering as well as chemical and civil engineering

The content covers all aspects in the interdisciplinary field which are essential for an ''up-to-date'' engineer

The application of Computational Intelligence in emerging research areas such as Granular Computing, Mechatronics, and Bioinformatics shows its usefulness often emphasized by Prof Lotfi Zadeh, the inventor of fuzzy logic and many others

This book contains recent advances in Computational Intelligence methods for modeling, optimization and prediction and covers a large number of applications

The book presents new Computational Intelligence theory and methods for modeling and prediction

This book constitutes the refereed proceedings of the 8th International Conference on Computational Linguistics and Intelligent Text Processing, CICLing 2007, held in Mexico City, Mexico in February 2007

The 53 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 179 submissions

The papers cover all current issues in computational linguistics research and present intelligent text processing applications

Proceedings of the Second International Conference, CICLing 2001, Computational Linguistics and Intelligent Text Processing, held in Mexico City, Mexico, in February of 2001

Main topics discussed included semantics, anaphora and reference, translation, and text generation

Softcover

This book constitutes the strictly refereed post-proceedings of the 4th International Workshop on Computational Logic for Multi-Agent Systems, CLIMA IV, held in Fort Lauderdale, Fl, USA in January 2004

The 11 revised full papers presented together with 2 invited papers were carefully selected during two rounds of reviewing and improvement

The papers are devoted to techniques from computational logic for representing, programming, and reasoning about multi-agent systems

This book constitutes the refereed proceedings of the International Conference on Computational Methods in Systems Biology, CMSB 2006, held in Trento, Italy, in October 2006

The 22 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 68 submissions

The papers present a variety of techniques from computer science, such as language design, concurrency theory, software engineering, and formal methods, for biologists, physicists, and mathematicians interested in the systems-level understanding of cellular processes

The three-volume set, LNCS 2329, LNCS 2330, and LNCS 2331, constitute the refereed proceedings of the Second International Conference on Computational Science, ICCS 2002, held in Amsterdam, The Netherlands, in April 2002

The three volumes present more than 350 reviewed contributed and invited papers and span the whole range of computational science, from foundational issues in computer science and mathematics to advanced applications in virtually all application fields making use of computational techniques

These proceedings give a unique account of recent results in the field

Computer algebra systems are revolutionizing the teaching, the learning, and the exploration of science

Not only can students and researchers work through mathematical models more efficiently and with fewer errors than with pencil and paper, they can also easily explore, both analytically and numerically, more complex and computationally intensive models

Aimed at science and engineering undergraduates at the sophomore/junior level, this introductory guide to the mathematical models of science is filled with examples from a wide variety of disciplines, including biology, economics, medicine, engineering, game theory, mathematics, physics, and chemistry

This best-selling title, considered for over a decade to be essential reading for every serious student and practitioner of computer design, has been updated throughout to address the most important trends facing computer designers today

In this edition, the authors bring their trademark method of quantitative analysis not only to high performance desktop machine design, but also to the design of embedded and server systems

They have illustrated their principles with designs from all three of these domains, including examples from consumer electronics, multimedia and web technologies, and high performance computing

This timely new version of a popular computer graphics book features the C language in programming examples to demonstrate the implementation of graphics application

These well-known authors assume no prior knowledge of computer graphics when presenting the basic principles for the design, use, and understanding of computer graphics systems

However, some knowledge of C programming is assumed as the reader learns how to use algorithms for creating and manipulating graphics displays

The second edition of this elemental handbook reviews the current state of theory and practice in the field while emphasizing a more practical/applied approach to IT topics such as information management, net-centric computing, and human computer interaction

With a complete revision of its sections on software engineering, architecture, and operating systems, this now thoroughly up-to-date manual is as cutting-edge in the new millennium as it was in the nineties

The Computer Science Handbook, Second Edition includes new information on Web-based software, speech recognition, data mining, cryptography, and distributed objects computing as well as references and sources for further information

Designed to present a breadth first coverage of the field of Computer Science



User review
Purchasing Used Books From Amazon
Bought this Java programming workbook along with a used textbook from Amazon

It is in excellent condition - looks practically unopened

`In the world of theatre `Harvey' is a large, white rabbit who happens to be invisible

Elementary computer science's `Harvey' is more like a tiger - clever, colorful, powerful, and, thanks to this revised edition of a classic set of texts, very visible indeed

` -- William Higginson, Coordinator; Mathematics, Science and Technology Education Group, Queen's University at Kingston, Canada

This series is for people--adults and teenagers--who are interested in computer programming because it's fun

`In the world of theatre `Harvey' is a large, white rabbit who happens to be invisible

Elementary computer science's `Harvey' is more like a tiger - clever, colorful, powerful, and, thanks to this revised edition of a classic set of texts, very visible indeed

` -- William Higginson, Coordinator; Mathematics, Science and Technology Education Group, Queen's University at Kingston, Canada

This series is for people--adults and teenagers--who are interested in computer programming because it's fun

`In the world of theatre `Harvey' is a large, white rabbit who happens to be invisible

Elementary computer science's `Harvey' is more like a tiger - clever, colorful, powerful, and, thanks to this revised edition of a classic set of texts, very visible indeed

` -- William Higginson, Coordinator; Mathematics, Science and Technology Education Group, Queen's University at Kingston, Canada

This series is for people--adults and teenagers--who are interested in computer programming because it's fun

The Invocation Model of Process Expression argues that mathematics does not provide the most appropriate conceptual foundations for computer science, but, rather, that these foundations are a primary source of unnecessary complexity and confusion

  It supports that there is a more appropriate conceptual model that unifies forms of expression considered quite disparate and simplifies issues considered complex and intractable

  This book presents that this model of process expression is alternative theory of computer science that is both valid and practical

Computer algebra systems have revolutionized the use of computers within mathematics research, and are currently extending that revolution to the undergraduate mathematics curriculum

But the power of such systems goes beyond simple algebraic or numerical manipulation

In this practical resource Roman Maeder shows how computer-aided mathematics has reached a level where it can support effectively many of the computations in science and engineering

Computer Systems, Second Edition provides students with a broad understanding of all levels of computer systems

It emphasizes computer science topics that are related to, but not usually included in, the treatment of hardware and its associated software

The topics are presented through a unified concept of computer systems

  An invited collection of peer-reviewed papers surveying key areas of Roger Needham's distinguished research career at Cambridge University and Microsoft Research

  From operating systems to distributed computing, many of the world's leading researchers provide insight into the latest concepts and theoretical insights--many of which are based upon Needham's pioneering research work

  A critical collection of edited-survey research papers spanning the entire range of Roger Needham's distinguished scientific career, from operating systems to distributed computing and security

This book constitutes the refereed proceedings of the Second International Symposium on Computing in Object-Oriented Parallel Environments, ISCOPE 98, held in Santa Fe, NM, USA, in December 1998

The 10 revised full papers presented were carefully reviewed and selected for inclusion in the proceedings from a total of 39 submissions

Also included are 15 short papers selected from the initial submissions

This book constitutes the refereed proceedings of the 19th International Conference on Concurrency Theory, CONCUR 2008, held in Toronto, Canada, August 19-22, 2008

The 33 revised full papers presented together with 2 tool papers were carefully reviewed and selected from 120 submissions

The topics include model checking, process calculi, minimization and equivalence checking, types, semantics, probability, bisimulation and simulation, real time, and formal languages

Concurrency Theory is a synthesis of one of the major threads of theoretical computer science research focusing on languages and graphical notations for describing collections of simultaneously evolving components that interact through synchronous communication

The main specification notation focused on in this book is LOTOS

An extensive introduction to this particular process calculus is given, highlighting how the approach differs from competitor techniques, such as CCS and CSP

This Festschrift volume, pubished in honor of Ugo Montanari on the occasion of his 65th birthday, contains 43 papers, written by friends and colleagues, all leading scientists in their own right, who congregated at a celebratory symposium held on June 12, 2008, in Pisa

The volume consists of seven sections, six of which are dedicated to the main research areas to which Ugo Montanari has contributed: Graph Transformation; Constraint and Logic Programming; Software Engineering; Concurrency; Models of Computation; and Software Verification

Each of these six sections starts with an introductory paper giving an account of Ugo Montanari?

Data flow analysis is used to discover information for a wide variety of useful applications, ranging from compiler optimizations to software engineering and verification

Modern compilers apply it to produce performance-maximizing code, and software engineers use it to re-engineer or reverse engineer programs and verify the integrity of their programs

Supplementary Online Materials to Strengthen Understanding

Unlike most comparable books, many of which are limited to bit vector frameworks and classical constant propagation, Data Flow Analysis: Theory and Practice offers comprehensive coverage of both classical and contemporary data flow analysis

Data stream algorithms as an active research agenda emerged only over the past few years, even though the concept of making few passes over the data for performing computations has been around since the early days of Automata Theory

The data stream agenda now pervades many branches of Computer Science including databases, networking, knowledge discovery and data mining, and hardware systems

Industry is in synch too, with Data Stream Management Systems (DSMSs) and special hardware to deal with data speeds

This book constitutes the refereed proceedings of the First International XML Database Symposium, XSym 2003, held in Berlin, Germany in September 2003

The 18 revised full papers presented were carefully reviewed and selected from 65 submissions

The papers are organized in topical sections on XML-relational database management systems, XML query processing, systems and tools for XML data processing, XML access structures, stream processing and updates, and design issues

Many real-time systems rely on static scheduling algorithms

This includes cyclic scheduling, rate monotonic scheduling and fixed schedules created by off-line scheduling techniques such as dynamic programming, heuristic search, and simulated annealing

However, for many real-time systems, static scheduling algorithms are quite restrictive and inflexible

A decision procedure is an algorithm that, given a decision problem, terminates with a correct yes/no answer

Here, the authors focus on theories that are expressive enough to model real problems, but are still decidable

Specifically, the book concentrates on decision procedures for first-order theories that are commonly used in automated verification and reasoning, theorem-proving, compiler optimization and operations research

The growing complexity of agent systems calls for models and technologies that allow for system predictability and enable feature discovery and verification

Formal methods and declarative technologies have recently attracted a growing interest as a means for dealing with such issues

This book presents revised and extended versions of 11 papers selected for presentation at the First International Workshop on Declarative Agent Languages and Technologies, DALT 2003, held in Melbourne, Australia in July 2003 during AAMAS; also included are 3 invited papers by leading researchers in the area to ensure competent coverage of all relevant topics

Design of Multi-Bit Delta-Sigma A/D Converters discusses both architecture and circuit design aspects of Delta-Sigma A/D converters, with a special focus on multi-bit implementations

The emphasis is on high-speed high-resolution converters in CMOS for ADSL applications, although the material can also be applied for other specification goals and technologies

Design of Multi-Bit Delta-Sigma A/D Converters starts with a general introduction of the concepts of Delta-Sigma converters

This book consitutes the refereed proceedings of the First International Workshop on Machine Learning held in Sheffield, UK, in September 2004

The 19 revised full papers presented were carefully reviewed and selected for inclusion in the book

They address all current issues in the rapidly maturing field of machine learning that aims to provide practical methods for data discovery, categorisation and modelling

This book constitutes the refereed proceedings of the 12th International Conference on Developments in Language Theory, DLT 2008, held in Kyoto, Japan, September 2008

The 36 revised full papers presented together with 6 invited papers were carefully reviewed and selected from 102 submissions

All important issues in language theory are addressed including grammars, acceptors and transducers for words, trees and graphs; algebraic theories of automata; algorithmic, combinatorial and algebraic properties of words and languages; variable length codes; symbolic dynamics; cellular automata; polyominoes and multidimensional patterns; decidability questions; image manipulation and compression; efficient text algorithms; relationships to cryptography, concurrency, complexity theory and logic; bio-inspired computing; quantum computing

This book constitutes the strictly refereed post-workshop documentation of the ECAI'96 Workshop on Dialogue Processing in Spoken Language Systems, held in Budapest, Hungary, in August 1996, during ECAI'96

The volume presents 16 revised full papers including a detailed introduction and survey paper by the volume editors

The papers are organized in sections on foundations of spoken language dialogue systems, dialogue systems and prosodic aspects of spoken dialogue processing, spoken dialogue systems-design and implementation, and evaluation of systems

This book constitutes the refereed proceedings of the 7th International Conference on Asian Digital Libraries, ICADL 2004, held in Shanghai, China in December 2004

The 44 revised full papers, 15 revised short papers, and 37 posters presented together with 14 invited contributions were carefully reviewed and selected from a total of 359 submissions

The papers are organized in topical sections on collaboration and localization, knowledge processing and knowledge discovery, information retrieval techniques, personalization issues in digital libraries, and service and management

This text/reference provides students and practicing engineers with an introduction to the classical methods of designing electrical circuits, but incorporates modern logic design techniques used in the latest microprocessors, microcontrollers, microcomputers, and various LSI components

The book provides a review of the classical methods e

g

The content industries consider Digital Rights Management (DRM) to contend with unauthorized downloading of copyrighted material, a practice that costs artists and distributors massively in lost revenue

Based on two conferences that brought together high-profile specialists in this area - scientists, lawyers, academics, and business practitioners - this book presents a broad, well-balanced, and objective approach that covers the entire DRM spectrum

Reflecting the interdisciplinary nature of the field, the book is structured using three different perspectives that cover the technical, legal, and business issues

This book constitutes the refereed proceedings of the 7th International Conference on Discovery Science, DS 2004, held in Padova, Italy in October 2004

The 20 revised long papers and the 19 revised regular papers presented were carefully reviewed and selected from 80 submissions

The papers are organized in topical sections on pattern mining, classification, outlier detection, clustering, feature construction and generation, knowledge acquisition, discovery science in reality, machine learning algorithms, Web mining, applications of predictive methods, and interdisciplinary approaches

`Discrete Mathematics and its Applications, Sixth Edition`, is intended for one- or two-term introductory discrete mathematics courses taken by students from a wide variety of majors, including computer science, mathematics, and engineering

This renowned best-selling text, which has been used at over 500 institutions around the world, gives a focused introduction to the primary themes in a discrete mathematics course and demonstrates the relevance and practicality of discrete mathematics to a wide variety of real-world applications,,

from computer science to data networking, to psychology, to chemistry, to engineering, to linguistics, to biology, to business, and to many other important fields

Optical networks and the related technologies, network management software and services have undergone remarkable developments, and such networks are now the ultra-high-speed backbone networks for communication

Wavelength-Division Multiplexing (WDM), the ability to support multiple communication pathways over the same fiber, enables efficient use of the enormous capability for data communication of optical networks

This book gives a broad overview of techniques used in the design of WDM networks for efficient dissemination of information in computer networks

This book constitutes the refereed proceedings of the First International Conference on Distributed Computing and Internet Technology, ICDCIT 2004, held in Bhubaneswar, India in December 2004

The 47 revised papers presented together with 3 invited papers and 5 abstracts of invited or workshop papers were carefully reviewed and selected from 211 submissions

The papers are organized in topical sections on algorithms and modeling; systems, protocols, and performance; transactions and information dissemination; internet query and retrieval; protocol and replica management; ontologies and services; systems analysis and modeling; tools and techniques; systems security; intrusion detection and access control; networks and security; secured systems design; and security services

This monograph describes a programming methodology based upon programming paradigms and generic programs and demonstates how distributed application programs can be developed by simple substitution of data structures and sequential procedures

The author introduces generic programs for two paradigms and shows how to derive new distributed programs for several applications related to the RSA cryptosystem, including RSA enciphering and deciphering, prime number generation, and factoring

The book is well-written and easily accessible to the non-expert

This book constitutes the thoroughly refereed postproceedings of the 12th International Meeting on DNA Computing, DNA12, held in Seoul, Korea in June 2006

The 34 revised full papers presented were carefully selected during two rounds of reviewing and improvement from an initial total of 72 submissions

The papers are organized in topical sections on molecular and membrane computing models, complexity analysis, sequence and tile designs and their properties, DNA tile self-assembly models, simulator and software for DNA computing, DNA computing algorithms and new applications, novel experimental approaches, and experimental solutions

This book constitutes the thoroughly refereed post-proceedings of the 8th International Workshop on DNA Based Computers, DNA8, held in Sapporo, Japan, in June 2002

The 30 revised full papers presented were carefully selected during two rounds of reviewing and improvement from an initial total of 68 submissions

The papers are organized in topical sections on self-assembly and autonomous molecular computation, molecular evolution and application to biotechnology, applications to mathematical problems, nucleic acid sequence design, and theory

Gives a systematic overview of graph drawing and introduces the reader gently to the state of the art in the area

Ideally suited as an introduction for newcomers to graph drawing

Softcover

This book constitutes the thoroughly refereed joint post-proceedings of the first two International Workshops on Dynamical Vision, WDV 2005 and WDV 2006 held in Beijing, China in October 2005 within the scope of ICCV 2005 and in Graz, Austria in May 2006 in the course of ECCV 2006

The 24 revised full papers presented were carefully reviewed and selected from numerous submissions

The papers address a wide range of theoretical and application issues in dynamical vision and are organized in topical sections on motion segmentation and estimation, human motion analysis, dynamic textures, motion tracking, rigid and non-rigid motion analysis, as well as motion filtering and vision-based control

This book constitutes the refereed proceedings of the 18th European Conference on Object-Oriented Programming, ECOOP 2004, held in Oslo, Norway in June 2004

The 25 revised full papers presented together with the abstracts of 2 invited talks were carefully reviewed and selected from a total of 132 submissions

The papers are organized in topical sections on encapsulation, program analysis, software engineering, aspects, middleware, types, verification, and systems

 This book constitutes the thoroughly refereed joint post-proceedings of the VLDB 2002 Workshop on Efficiency and Effectiveness of XML Tools and Techniques, EEXTT and the CAiSE 2002 Workshop on Data Integration over the Web, DIWeb

The 10 revised full papers presented were carefully selected during two rounds of reviewing and revision

The papers are organized in topical sections on XML languages, XML modeling and integration, XML storage, benchmarking XML, and data integration over the Web

This book presents the theoretical aspects and practical development of a computer vision system for searching an image for a specified model object; this system is reliable, tolerates imperfections in the image and model, and is fast enough for real-world applications

A number of search techniques are evaluated

The capabilities of the author's image search system are demonstrated on a variety of examples, and applications using it to track moving objects and navigate mobile robots are shown

This book constitutes the refereed proceedings of the 8th International Workshop on Systems, Architectures, Modeling, and Simulation, SAMOS 2008, held in Samos, Greece, in July 2008

The 24 revised full papers presented together with a contamplative keynote and additional papers of two special workshop sessions were carefully reviewed and selected from 62 submissions

The papers are organized in topical sections on architecture, new frontiers, SoC, application specific contributions, system level design for heterogeneous systems, programming multicores, sensors and sensor networks; and systems modeling and design

Nowadays, societies crucially depend on high-quality software for a large part of their functionalities and activities

Therefore, software professionals, researchers, managers, and practitioners alike have to competently decide what software technologies and products to choose for which purpose

For various reasons, systematic empirical studies employing strictly scientific methods are hardly practiced in software engineering

Computers play a crucial role in our day-to-day lives

With more than 150 black-and-white photographs and illustrations, `Encyclopedia of Computer Science and Technology, Revised Edition` provides a detailed examination of this fascinating field for students and general readers alike

This necessary update boasts more than 50 - per cent new material - a total of more than 550 updated entries, nearly 200 new to this edition, that reflect current information

This book constitutes the refereed proceedings of the 7th International Conference on Engineering Psychology and Cognitive Ergonomics, EPCE 2007, held in Beijing, China in July 2007 in the framework of the 12th International Conference on Human-Computer Interaction, HCII 2007 with 8 other thematically similar conferences

The 95 revised papers presented were carefully reviewed and selected from numerous submissions

The papers accepted for presentation thoroughly cover the thematic area of Engineering Psychology and Cognitive Ergonomics, addressing the following major topics: cognitive and affective issues in user interface design, cognitive workload and human performance, cognitive modeling and measuring, as well as safety critical applications and systems

This book constitutes the thoroughly refereed post-proceedings of the 4th International Workshop on Engineering Self-Organising Applications, ESOA 2006, held in Hakodate, Japan in May 2006 as an associated event of AAMAS 2006, the 5th International Joint Conference on Autonomous Agents and Multi-Agent Systems

The 7 full papers presented together with 6 invited papers were carefully selected for inclusion in the book

The authors' revisions have been significantly improved by the reviewers' comments and the discussions following the presentation at the workshop

A thoroughly enjoyable mix of biographical portraits and theoretical mathematics, full of well-honed anecdotes and telling detail

Softcover



User review
Good mathematics history/biography
EoL is, precisely as Publisher's Weekly says, `a thoroughly enjoyable mix of biographical portraits and theoretical mathematics

Today's computers are fantastically complex machines, shaped by innovations dreamt up by hundreds of engineers and theorists over the last several decades

Does it even make sense, then, to ask who invented the computer? McCartney thinks so, and in ENIAC: The Triumphs and Tragedies of the World's First Computer, he's written a compelling answer to the question, crediting two relatively unsung Pennsylvanians with what is arguably the most significant invention of the century

This book contains the carefully selected best papers of the 8th International Conference on Enterprise Information Sysetms, ICEIS 2006, held in Paphos, Cyprus, in May 2006

The 4 invited papers and 27 revised and selected papers presented in this volume cover different aspects related to enterprise computing

They were selected from 63 accepted papers (out of more than 400 submissions)

This textbook offers a deep understanding of the essential concepts of programming languages

The approach is analytic and hands-on

The text uses interpreters, written in Scheme, to express the semantics of many essential language elements in a way that is both clear and directly executable

Ethical dilemmas have risen in number and intensity with the increasing dependence of contemporary society on computers and computer networks

Despite the proliferation of expert remedies, viable solutions to computer security issues remain too elusive, and society continues to suffer at the hands of cyber criminals, vandals, and hackers

This comprehensive third edition of the successful Ethical and Social Issues in the Information Age takes off where the second ended to examine ethical, social, and policy challenges stemming from the emergence of cyberspace, the convergence of telecommunication and computing technologies, and the miniaturalization of computing, telecommunication, and information-enabling devices

This book constitutes the thoroughly refereed joint post-workshop proceedings of three international events: the International Workshop on Highly Parallel Processing on a Chip, HPPC 2007, the UNICORE Summit 2007, and the Workshop on Virtualization/Xen in High-Performance Cluster and Grid Computing, VHPC 2007, held in Rennes, France, in August 2007 within the scope of Euro-Par 2007, the 13th International Conference on Parallel Computing

The 8 papers of the HHPC 2007 workshop address all aspects of existing and emerging/envisaged multi-core processors with a significant amount of parallelism, especially to considerations on novel paradigms and models and the related architectural and linguistic support

The 8 papers presented at the UNICORE Summit 2007 show current developments and implementations of the UNICORE middleware system - a grid technology, providing a seamless, secure, and intuitive access to distributed Grid resources

Evolutionary Algorithms in Engineering and Computer Science Edited by K

Miettinen, University of Jyväskylä, Finland M

M

This book constitutes the refereed proceedings of the 6th European Conference on Evolutionary Computation in Combinatorial Optimization, EvoCOP 2006, held in Budapest, Hungary in April 2006

The 24 revised full papers presented were carefully reviewed and selected from 77 submissions

The papers cover evolutionary algorithms as well as various other metaheuristics, like scatter search, tabu search, memetic algorithms, variable neighborhood search, greedy randomized adaptive search procedures, ant colony optimization, and particle swarm optimization algorithms

Real-time computer systems are very often subject to dependability requirements because of their application areas

Fly-by-wire airplane control systems, control of power plants, industrial process control systems and others are required to continue their function despite faults

Fault-tolerance and real-time requirements thus constitute a kind of natural combination in process control applications

A pioneering reference on control theory designed specifically for computer professionals

In today?s computerized economy, the profitability and availability of many businesses rely on a clear understanding of the dynamics of their computing systems, especially how they relate to changes in workloads and configuration

Frequent, dramatic changes in these areas can degrade programs and even cause failures, as often demonstrated on a company?

This book constitutes the thoroughly refereed proceedings of the 11th International Conference on Financial Cryptography and Data Security, FC 2007, and the co-located 1st International Workshop on Usable Security, USEC 2007, both held in Scarborough, Trinidad/Tobago, in February 2007

The book includes 17 revised full papers, 1 system presentation paper and the transcriptions of 5 panel sessions from FC 2007

The papers, which were carefully reviewed and selected from 85 submissions, are organized in topical sections on Payment Systems, Anonymity, Authentication, Anonymity and Privacy, Cryptography and Commercial Transactions, Financial Transactions and Web Services, and Cryptography

The material in this book is situated at the juncture of the automata theory, logic, computational complexity and semigroup theory

The first part of the book is devoted to the algebraic characterization of the regular languages definable in many different logical theories

This includes older results of Büchi on monadic second-order language, and of McNaughton and Papert on first-order logic and star-free languages, as well as many more recent developments that have never been treated in book form

This book gives a comprehensive overview of central themes of finite model theory ? expressive power, descriptive complexity, and zero-one laws ? together with selected applications relating to database theory and artificial intelligence, especially constraint databases and constraint satisfaction problems

This basic textbook gives an easily accessible introduction to fuzzy theory and its applications

It provides basic and concrete concepts of the field in a self-contained, condensed and understandable style

This First Course on Fuzzy Theory and Applications includes numerous examples, descriptive illustrations and figures of the basic concepts, as well as exercises at the end of each chapter

Formal concept analysis has been developed as a field of applied mathematics based on the mathematization of concept and concept hierarchy

It thereby allows us to mathematically represent, analyze, and construct conceptual structures

The formal concept analysis approach has been proven successful in a wide range of application fields

This book constitutes the refereed proceedings of the 6th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2008, held in Saint Malo, France, September 2008

The 17 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 37 submissions

The papers are organized in topical sections on extensions of timed automata and semantics; timed games and logic; case studies; model-checking of probabilistic systems; verification and test; timed petri nets

Aho and Ullman have created a C version of their groundbreaking text

As in that text, this book combines the theoretical foundations of computing with essential discrete mathematics

It follows the same organizations as its predecessor, with all examples and exercises in C

Foundations of Dependable Computing: Models and Frameworks for Dependable Systems presents two comprehensive frameworks for reasoning about system dependability, thereby establishing a context for understanding the roles played by specific approaches presented in this book's two companion volumes

It then explores the range of models and analysis methods necessary to design, validate and analyze dependable systems

A companion to this book (published by Kluwer), subtitled Paradigms for Dependable Applications, presents a variety of specific approaches to achieving dependability at the application level

Foundations of Dependable Computing: Paradigms for Dependable Applications, presents a variety of specific approaches to achieving dependability at the application level

Driven by the higher level fault models of Models and Frameworks for Dependable Systems, and built on the lower level abstractions implemented in a third companion book subtitled System Implementation, these approaches demonstrate how dependability may be tuned to the requirements of an application, the fault environment, and the characteristics of the target platform

Three classes of paradigms are considered: protocol-based paradigms for distributed applications, algorithm-based paradigms for parallel applications, and approaches to exploiting application semantics in embedded real-time control systems

Foundations of Dependable Computing: System Implementation, explores the system infrastructure needed to support the various paradigms of Paradigms for Dependable Applications

Approaches to implementing support mechanisms and to incorporating additional appropriate levels of fault detection and fault tolerance at the processor, network, and operating system level are presented

A primary concern at these levels is balancing cost and performance against coverage and overall dependability

This book constitutes the refereed proceedings of the 5th International Symposium on Foundations of Information and Knowledge Systems, FoIKS 2008 held in Pisa, Italy, in February 2008

The 13 revised full papers presented together with 9 revised short papers and 3 invited lectures were carefully selected during two rounds of reviewing and improvement from from 79 submissions

The papers deal with any foundational aspect of information and knowledge systems, including submissions from researchers working in fields such as discrete mathematics, logic and algebra, model theory, information theory, complexity theory, algorithmics and computation, geometry, analysis, statistics and optimisation who are interested in applying their ideas, theories and methods to research on information and knowledge systems

The two volumes of Foundations of Knowledge Acquisition document the recent progress of basic research in knowledge acquisition sponsored by the Office of Naval Research

This volume is subtitled Machine Learning, and there is a companion volume subtitled Cognitive Models of Complex Learning

Funding was provided by a five-year Accelerated Research Initiative (ARI), and made possible significant advances in the scientific understanding of how machines and humans can acquire new knowledge so as to exhibit improved problem-solving behavior

This book is dedicated to the memory of Ole-Johan Dahl who passed away in June 2002 at the age of 70, shortly after he had received, together with his colleague Kristen Nygaard, the ACM Alan M

Turing Award:

`For ideas fundamental to the emergence of object-oriented programming, through their design of the programming languages Simula I and Simula 67

`

This Festschrift opens with a short biography and a bibliography recollecting Ole-Johan Dahl's life and work, as well as a paper he wrote entitled: `The Birth of Object-Orientation: the Simula Languages

Proceedings of the Third COST 263 International Workshop on Quality of Future Internet Services, QofIS 2002, and Second International Workshop on Internet Charging and QoS Technologies, ICQT 2002, held October 2002 in Zurich, Switzerland

Softcover

This book constitutes the refereed joint proceedings of ten international workshops held in conjunction with the 4th International Symposium on Parallel and Distributed Processing and Applications, ISPA 2006, held in Sorrento, Italy in December 2006 (see LNCS 4330)

The 116 revised full papers presented were carefully reviewed and selected from many high quality submissions

The papers of the ten workshops are very specific and contribute to enlarging the spectrum of the more general topics treated in the ISPA 2006 main conference

This book constitutes the refereed proceedings of the 7th International Symposium on Functional and Logic Programming, FLOPS 2004, held in Nara, Japan, in April 2004

The 18 revised full papers presented together with 3 invited contributions were carefully reviewed and selected from 55 submissions

The papers are organized in topical sections on logic and functional-logic programming, applications, program analysis, rewriting, types and modules, logic and semantics, and functional programming

This is the first book in the two-volume set offering comprehensive coverage of the field of computer organization and architecture

This book provides complete coverage of the subjects pertaining to introductory courses in computer organization and architecture, including:
* Instruction set architecture and design
* Assembly language programming
* Computer arithmetic
* Processing unit design
* Memory system design
* Input-output design and organization
* Pipelining design techniques
* Reduced Instruction Set Computers (RISCs)
The authors, who share over 15 years of undergraduate and graduate level instruction in computer architecture, provide real world applications, examples of machines, case studies and practical experiences in each chapter



User review
Good book
I studied this book in my IT master program as a textbook for operating system course

Uses an object-based approach to the introduction of Computer Science using Java

The huge number and broad range of the existing and potential applications of fuzzy logic have precipitated a veritable avalanche of books published on the subject

Most, however, focus on particular areas of application

Many do no more than scratch the surface of the theory that holds the power and promise of fuzzy logic

This book constitutes the thoroughly refereed research papers contributed to a research project on the `General Theory of Information Transfer and Combinatorics' that was hosted from 2001-2004 at the Center for Interdisciplinary Research (ZIF) of Bielefeld University and also papers of several incorporated meetings thereof

The 63 revised full papers presented were carefully reviewed and selected for inclusion in the book

The papers are organized in topical sections on probabilistic models, cryptology, pseudo random sequences, quantum models, statistics, probability theory, information measures, error concepts, performance criteria, search, sorting, ordering, planning, language evolution, pattern discovery, reconstructions, network coding, combinatorial models, and a problem section

Many challenging problems in information systems engineering involve the manipulation of complex metadata artifacts or models, such as database schema, interface specifications, or object diagrams, and mappings between models

Applications solving metadata manipulation problems are complex and hard to build

The goal of generic model management is to reduce the amount of programming needed to solve such problems by providing a database infrastructure in which a set of high-level algebraic operators are applied to models and mappings as a whole rather than to their individual building blocks

Generic programming attempts to make programming more efficient by making it more general

This book is devoted to a novel form of genericity in programs, based on parameterizing programs by the structure of the data they manipulate

This book presents contributions from a global selection of experts in the field

This useful text offers new insights and solutions for the development of theorems, algorithms and advanced methods for real-time applications across a range of disciplines

Written in an accessible style, the discussion of all applications is enhanced by the inclusion of numerous examples, figures and experimental analysis

Until recently, all of the interactions between objects in virtual 3D worlds have been based on calculations performed using linear algebra

Linear algebra relies heavily on coordinates, however, which can make many geometric programming tasks very specific and complex-often a lot of effort is required to bring about even modest performance enhancements

Although linear algebra is an efficient way to specify low-level computations, it is not a suitable high-level language for geometric programming

This book is aimed at students who are thinking of studying Computer Science or a related topic at university

Part One is a brief introduction to the topics that make up Computer Science, some of which you would expect to find as course modules in a Computer Science programme

These descriptions should help you to tell the difference between Computer Science as taught in different departments and so help you to choose a course that best suits you

This book introduces the reader to the grammatical theory of picture generation, focussing on issues that are of particular interest for computer scientists

Using picture generation as a vehicle, many of the general ideas of the theory of computation are exemplified by results about (un)decidable, NP-complete, or efficiently solvable problems, normal forms, hierarchies of language classes, and related phenomena

Many of the devices and results discussed in the book extend those known from the literature, or are original ones, including a novel approach to generating colored pictures

This book constitutes the thoroughly refereed post-conference proceedings of the 15th International Symposium on Graph Drawing, GD 2007, held in Sydney, Australia, September 24-26, 2007

The 27 full papers and 9 short papers presented together with 2 invited talks, and a report on the graph drawing contest were carefully selected from 74 initial submissions

All current aspects in graph drawing are addressed ranging from foundational and methodological issues to applications for various classes of graphs in a variety of fields

Algorithmic discrete mathematics plays a key role in the development of information and communication technologies, and methods that arise in computer science, mathematics and operations research ? in particular in algorithms, computational complexity, distributed computing and optimization ? are vital to modern services such as mobile telephony, online banking and VoIP

Answers the question, `What can I do with a major in

Answers the question, `What can I do with a major in

Logic is now widely recognized as one of the foundational disciplines of computing, and its applications reach almost every aspect of the subject, from software engineering and hardware to programming languages and AI

The Handbook of Logic in Computer Science is a multi-volume work covering all the major areas of application of logic to theoretical computer science

The handbook comprises six volumes, each containing five or six chapters giving an in-depth overview of one of the major topics in field

Weighted finite automata are classical nondeterministic finite automata in which the transitions carry weights

These weights may model, for example, the cost involved when executing a transition, the resources or time needed for this, or the probability or reliability of its successful execution

Weights can also be added to classical automata with infinite state sets like pushdown automata, and this extension constitutes the general concept of weighted automata

This book constitutes the thoroughly refereed post-proceedings of the Second International Haifa Verification Conference, HVC 2006, held in Haifa, Israel, in October 2006

The 15 revised full papers presented together with 2 invited lectures were carefully reviewed and selected from 33 submissions

The papers are organized in three topical tracks on hardware verification technologies and methodologies, software testing, and tools for hardware verification and software testing

Solutions for Time-Critical Remote Sensing Applications

The recent use of latest-generation sensors in airborne and satellite platforms is producing a nearly continual stream of high-dimensional data, which, in turn, is creating new processing challenges

To address the computational requirements of time-critical applications, researchers have begun incorporating high performance computing (HPC) models in remote sensing missions

High Performance Computing in Remote Sensing is one of the first volumes to explore state-of-the-art HPC techniques in the context of remote sensing problems

This book presents the state-of-the-art in simulation on supercomputers

Leading researchers present results achieved on systems of the Stuttgart High Performance Computing Center (HLRS) for the year 2007

The reports cover all fields of computational science and engineering, ranging from CFD and computational physics and chemistry to computer science, with a special emphasis on industrially relevant applications

This book constitutes the refereed proceedings of the 8th International Conference on High-Performance Computing and Networking, HPCN Europe 2000, held in Amsterdam, The Netherlands, in May 2000

The 52 revised full papers presented together with 34 revised posters were carefully reviewed for inclusion in the book

The papers are organized in sections on problem solving environments, metacomputing, load balancing, numerical parallel algorithms, virtual enterprises and virtual laboratories, cooperation coordination, Web-based tools for tele-working, monitoring and performance, low-level algorithms, Java in HPCN, cluster computing, data analysis, and applications in a variety of fields

Gain a new perspective on how the brain works and inspires new avenues for design in computer science and engineering

This unique book is the first of its kind to introduce human memory and basic cognition in terms of physical circuits, beginning with the possibilities of ferroelectric behavior of neural membranes, moving to the logical properties of neural pulses recognized as solitons, and finally exploring the architecture of cognition itself

It encourages invention via the methodical study of brain theory, including electrically reversible neurons, neural networks, associative memory systems within the brain, neural state machines within associative memory, and reversible computers in general

These models use standard analog and digital circuits that, in contrast to models that include non-physical components, may be applied directly toward the goal of constructing a machine with artificial intelligence based on patterns of the brain

This book constitutes the refereed proceedings of the First International Conference on Hybrid Learning, ICHL 2008, held in Hong Kong, China, in August 2008

The 38 revised full papers presented together with 3 keynote lectures were carefully reviewed and selected from 142 submissions

The papers are organized in topical sections on hybrid education, model and pedagogies for hybrid learning, trends, pervasive learning, mobile and ubiquitous learning, hybrid learning experiences, hybrid learning systems, technologies, as well as contextual attitude and cultural effects

This book constitutes the refereed proceedings of the 7th International Workshop on Hybrid Systems: Computation and Control, HSCC 2004, held in Philadelphia, PA, USA, in March 2004

The 43 revised full papers presented together with an invited article were carefully reviewed and selected from 117 submissions

The papers address all current issues in hybrid systems such as tools for analysis and verification, control and optimization, modeling and engineering applications, and emerging topics in programming language support and implementation; a special focus is on the interplay between biomolecular networks, systems biology, formal methods, and control of hybrid systems

Hypercomputation is a relatively new theory of computation that is about computing methods and devices that transcend the so-called Church-Turing thesis

This book will provide a thorough description of the field of hypercomputation covering all attempts at devising conceptual hypermachines and all new promising computational paradigms that may eventually lead to the construction of a hypermachine

Readers of this book will get a deeper understanding of what computability is and why the Church-Turing thesis poses an arbitrary limit to what can be actually computed

This book constitutes the thoroughly refereed post-conference proceedings of the 17th International Conference on Inductive Logic Programming, ILP 2007, held in Corvallis, OR, USA, in June 2007 in conjunction with ICML 2007, the International Conference on Machine Learning

The 15 revised full papers and 11 revised short papers presented together with 2 invited lectures were carefully reviewed and selected from 38 initial submissions

The papers present original results on all aspects of learning in logic, as well as multi-relational learning and data mining, statistical relational learning, graph and tree mining, relational reinforcement learning, and learning in other non-propositional knowledge representation frameworks

Infinite Words is an important theory in both Mathematics and Computer Sciences

Many new developments have been made in the field, encouraged by its application to problems in computer science

Infinite Words is the first manual devoted to this topic

A collection of expository papers on major current issues in computer science and computer technology by leading researchers in the field

Half look back at the achievements of the last decade, and half expose open problems and develop visions for the next decade

Softcover

This book constitutes the refereed proceedings of the 9th International Conference on Information and Communications Security, ICICS 2007, held in Zhengzhou, China, in December 2007

The 38 revised full papers presented were carefully reviewed and selected from 222 submissions

The papers are organized in topical sections on authentication and key exchange, digital signatures, applications, watermarking, fast implementations, applied cryptography, cryptanalysis, formal analysis, system security, and network security

This book constitutes the thoroughly refereed post-proceedings of the 9th International Workshop on Information Hiding, IH 2007, held in Saint Malo, France, in June 2007

The 25 revised full papers presented were carefully reviewed and selected from 105 submissions

The papers are organized in topical sections on new steganographic schemes, watermarking schemes, computer security, steganography and code theory, watermarking security, steganalysis, watermarking and re-synchronization, fingerprinting, forensics, and steganalysis

This book constitutes the refereed proceedings of the 16th International Conference on Information Processing in Medical Imaging, IPMI'99, held in Visegrad, Hungary in June/July 1999

The 24 revised full papers and the 28 posters presented have been carefully reviewed and selected from a total of 82 submissions

The volume addresses the full range of current topics in the area in particular new imaging techniques, 3D ultrasound and PET, segmentation, image analysis of the brain cortex, registration, feature, detection and modelling, cardiovascular image analysis, shape modelling and analysis, segmentation and detection, measurement and quantitative analysis, and analysis of image sequences and functional imaging

This book constitutes the refereed proceedings of the 7th International Workshop on Information Security Applications, WISA 2006, held in Jeju Island, Korea in August 2006

The 30 revised full papers presented were carefully selected during two rounds of reviewing and improvement from 146 submissions

The papers are organized in topical sections on public key crypto applications and virus protection, cyber indication and intrusion detection, biometrics and security trust management, secure software and systems, smart cards and secure hardware, mobile security, DRM, information hiding, ubiquitous computing security, P2P security, pre-authentication for fast handoff in wireless mesh networks including mobile APs

This book constitutes the refereed proceedings of the 8th International Workshop on Information Security Applications, WISA 2007, held in Jeju Island, Korea, August 27-29, 2007

The 27 revised full papers presented were carefully selected during two rounds of reviewing and improvement from 95 submissions

The papers are organized in topical sections on Public Key Crypto Applications, Biometrics/Information Hiding, Secure Hardware, Secure Systems, Wireless and Mobile Security, Application Security/Secure Systems, Access Control/DB Security, Smart Cards/Secure Systems and Anonymity and P2P Security

This book constitutes the refereed proceedings of the 4th International Conference on Integrated Formal Methods, IFM 2004, held in Canterbury, UK, in April 2004

The 24 revised full papers presented together with 3 invited papers and one invited tutorial chapter were carefully reviewed and selected from 65 submissions

The papers are devoted to automating program analysis, state/event-based verification, formalizing graphical notions, refinement, object-orientation, hybrid and timed automata, integration frameworks, verifying interactive systems, and testing and assertions

This book is the fifth in the successful line of Intelligent Agents volumes published in LNAI

It is based on the fifth workshop on Agent Theories, Architectures, and Languages (ATAL'98) held during the Agents World conference in Paris in July 1998

The 25 revised full papers included were selected from a total of 90 submissions during two rounds of reviewing

This book constitutes the thoroughly refereed post-proceedings of the 13th International Workshop on Design, Specification, and Verification of Interactive Systems, DSVIS 2006, held in Dublin, Ireland in July 2006

The 19 revised full papers presented together with 1 keynote paper, and 2 working group reports were carefully reviewed and selected from 57 submissions during two rounds of reviewing and improvement

The papers are organized in topical sections on HCI research, critical systems, model based development, cognitive aspects of interaction, use of models, haptics and multimodality, prototyping and evaluation, supporting user interface development, and group discussions

This book is a rigorous exposition of formal languages and models of computation, with an introduction to computational complexity

The authors present the theory in a concise and straightforward manner, with an eye out for the practical applications

Exercises at the end of each chapter, including some that have been solved, help readers confirm and enhance their understanding of the material

`Introduction to Computer Performance Analysis with Mathematica` is designed as a beginner's guide to computer performance analysis and assumes only a basic knowledge of computers and some mathematical proficiency

The mathematical aspects have been relegated to a Mathematica program disk, allowing readers to try out most of the techniques as they work their way through the book

Ideally suited for this self-tutoring task, the use of Mathematica offers valuable properties such as visualization system for functions and data and a modeling and data analysis environment

Provides a detailed introduction to the implementations and official standards of the state of the art audio coding technology



User review
Great book
This is a well written book

It covers all the right topics and is very helpful and useful for anyone who is interested in audio codecs

This book fills a need for a thorough introduction to graph theory that features both the understanding and writing of proofs about graphs

Verification that algorithms work is emphasized more than their complexity

An effective use of examples, and huge number of interesting exercises, demonstrate the topics of trees and distance, matchings and factors, connectivity and paths, graph coloring, edges and cycles, and planar graphs

Automated and semi-automated manipulation of so-called labelled transition systems has become an important means in discovering flaws in software and hardware systems

Process algebra has been developed to express such labelled transition systems algebraically, which enhances the ways of manipulation by means of equational logic and term rewriting

The theory of process algebra has developed rapidly over the last twenty years, and verification tools have been developed on the basis of process algebra, often in cooperation with techniques related to model checking

In the mid 1940s, John von Neumann revolutionized the nascent field of computing by showing that program instructions could be stored in a computer's memory instead of on external panels or punch cards

In John von Neumann and the Origins of Modern Computing, William Aspray details the design and construction of von Neumann's computer systems and explains the broader implications of von Neumann's contributions

Aspray discusses von Neumann's fame in the realms of mathematics, physics, and economics and his remarkable career, which included work as an atomic energy commissioner and as principal scientific adviser to the U

`Kernel Based Algorithms for Mining Huge Data Sets` is the first book treating the fields of supervised, semi-supervised and unsupervised machine learning collectively

The book presents both the theory and the algorithms for mining huge data sets by using support vector machines (SVMs) in an iterative way

It demonstrates how kernel based SVMs can be used for dimensionality reduction (feature elimination) and shows the similarities and differences between the two most popular unsupervised techniques, the principal component analysis (PCA) and the independent component analysis (ICA)

This book presents current research and development work in the fields of knowledge visualization and information visualization

In addition to revised reviewed papers presented at an international workshop on Visual Artefacts for the Organization of Information and Knowledge held in Tübingen, Germany in May 2004, invited papers from leading experts are included to round off coverage of relevant aspects

The 19 chapters presented together with an introductory overview are organized in topical sections on background, knowledge visualization, information visualization, visualizing knowledge and information for fostering learning and instruction, and knowledge-oriented organization of information for fostering information use

This book constitutes the refereed proceedings of the International Symposium on Knowledge Exploration in Life Science Informatics, KELSI 2004, held in Milan, Italy in November 2004

The 20 revised full papers presented were carefully reviewed and selected for inclusion in the book

Among the topics covered are proteomic data analysis, rule induction, multiple sequence alignment, pattern extraction, microarray analysis, functional data analysis, text mining, artificial life, evolutionary algorithms, randomized algorithms, feature extraction, classification, case-based learning, and bioscience education

This book constitutes the thoroughly refereed post-workshop proceedings of the first AIME 2007 workshop From Knowledge to Global Care, K4CARE 2007, held in Amsterdam, The Netherlands, in July 2007, in conjunction with the 11th International Conference on Artificial Intelligence in Medicine, AIME 2007

The 10 revised full papers presented together with 2 invited papers were carefully selected during a second round of reviewing and improvement from 14 lectures given at the workshop and are presented in extended version in the book

The papers are organized in topical sections on health care knowledge management, health care knowledge elicitation, health care knowledge transformation, and health care intelligent systems

This book constitutes the refereed proceedings of the Third International Conference on Large-Scale Knowledge Resources, LKR 2008, held in Tokyo, Japan, in March 2008

The 14 revised full papers and 12 revised poster papers that are presented together with 6 invited papers and 1 keynote lecture were carefully reviewed and selected from 38 submissions

The papers are organized in topical sections on mining knowledge, building resources, image and video, using resources, and infrastructure

In the last decade there has been a steadily growing need for and interest in computational methods for solving stochastic optimization problems with or wihout constraints

Optimization techniques have been gaining greater acceptance in many industrial applications, and learning systems have made a significant impact on engineering problems in many areas, including modelling, control, optimization, pattern recognition, signal processing and diagnosis

Learning automata have an advantage over other methods in being applicable across a wide range of functions

This book constitutes the refereed proceedings of the 20th Annual Conference on Learning Theory, COLT 2007, held in San Diego, CA, USA in June 2007

The 41 revised full papers presented together with 5 articles on open problems and 2 invited lectures were carefully reviewed and selected from a total of 92 submissions

The papers cover a wide range of topics and are organized in topical sections on unsupervised, semisupervised and active learning, statistical learning theory, inductive inference, regularized learning, kernel methods, SVM, online and reinforcement learning, learning algorithms and limitations on learning, dimensionality reduction, other approaches, and open problems

Linear Programming: Foundations and Extensions is an introduction to the field of optimization

The book emphasizes constrained optimization, beginning with a substantial treatment of linear programming, and proceeding to convex analysis, network flows, integer programming, quadratic programming, and convex optimization

The book is carefully written

LNA-ESD Co-Design for Fully Integrated CMOS Wireless Receivers fits in the quest for complete CMOS integration of wireless receiver front-ends

With a combined discussion of both RF and ESD performance, it tackles one of the final obstacles on the road to CMOS integration

The book is conceived as a design guide for those actively involved in the design of CMOS wireless receivers

This book introduces the notions and methods of formal logic from a computer science standpoint, covering propositional logic, predicate logic, and foundations of logic programming

It presents applications and themes of computer science research such as resolution, automated deduction, and logic programming in a rigorous but readable way

The style and scope of the work, rounded out by the inclusion of exercises, make this an excellent textbook for an advanced undergraduate course in logic for computer scientists

In recent years, powerful tools for verifying hardware and software systems have been developed

Major companies, such as Intel, Siemens, BT, AT&T, and IBM have increasingly become interested in that technology

Students need a basic formal training that allows them to gain sufficient proficiency in using logic-based verification methods

Recent years have seen the development of powerful tools for verifying hardware and software systems, as companies worldwide realise the need for improved means of validating their products

There is increasing demand for training in basic methods in formal reasoning so that students can gain proficiency in logic-based verification methods

The second edition of this successful textbook addresses both those requirements, by continuing to provide a clear introduction to formal reasoning which is both relevant to the needs of modern computer science and rigorous enough for practical application

This book constitutes the refereed proceedings of the 9th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2007, held in Tempe, AZ, USA in May 2007

The 18 revised full papers, 5 revised poster papers, and 7 system descriptions presented together with 2 invited papers were carefully reviewed and selected for presentation

As a forum for exchanging ideas on declarative logic programming, nonmonotonic reasoning, and knowledge representation, LPNMR encompasses theoretical studies, design and implementation of logic based programming languages and database systems, and development of experimental systems

This book constitutes the refereed proceedings of the 33rd International Symposium on Mathematical Foundations of Computer Science, MFCS 2008, held in Torun, Poland, in August 2008

The 45 revised full papers presented together with 5 invited lectures were carefully reviewed and selected from 119 submissions

All current aspects in theoretical computer science and its mathematical foundations are addressed, ranging from algorithmic game theory, algorithms and data structures, artificial intelligence, automata and formal languages, bioinformatics, complexity, concurrency and petrinets, cryptography and security, logic and formal specifications, models of computations, parallel and distributed computing, semantics and verification

This book constitutes the refereed proceedings of the International Symposium on Medical Simulation, ISMS 2004, held in Cambridge, MA, USA in June 2004

The 32 revised full papers presented were carefully reviewed and selected from 50 submissions

The papers are organized in topical sections on soft tissue properties and modeling, real-time deformable models, haptic rendering, anatomical modeling, and applications and development frameworks

This is the first book entirely dedicated to the problem of memory management in programming language implementation

Its originality stems from the diversity of languages and approaches presented: functional programming, logic programming, object oriented programming, and parallel and sequential programming

The book contains 29 selected and refereed papers including 3 survey papers, 4 on distributed systems, 4 on parallelism, 4 on functional languages, 3 on logic programming languages, 3 on object oriented languages, 3 on incremental garbage collection, 2 on improving locality, 2 on massively parallel architectures, and an invited paper on the thermodynamics of garbage collection

Metaheuristics has grown and continues to grow steadily

Seen both from the technical point of view and from the application-oriented side, these optimization tools have established their value in a remarkable story of success

Researchers have demonstrated the ability of these methods to solve hard combinatorial problems of practical sizes within reasonable computational time

This book includes selected papers of the First International Workshop on Model-Based Software and Data Integration 2008, held in Berlin, Germany, in April 2008 as a part of the Berlin Software Integration Week 2008

The 9 revised full papers presented together with 3 invited lectures were carefully reviewed and selected from numerous submissions

The papers are organized in topical sections on data integration, software architectures, services and migration, as well as on model-based and semantic approaches

A distributed system is driven by separate components that are executed in parallel, and protocols for such systems form a major aspect of system design in today?s world of wireless and mobile networking

Process algebras are languages for the description of elementary parallel systems and are used to study the behavioural properties of distributed systems, but they often lack the ability to handle data

This book constitutes the thoroughly refereed post-proceedings of the 4th International Workshop on Multi-Agent-Based Simulation, MABS 2003, held in Melbourne, Australia as part of AAMAS 2003

The 11 revised full papers presented together with 3 invited papers were carefully selected during two rounds of reviewing and improvement

The papers are organized in topical sections on MABS techniques for MAS; economics, exchange, and influence in virtual worlds; MABS techniques for real-world modelling, and understanding and classifying MABS

This book constitutes the thoroughly refereed proceedings of the 7th International Workshop on Multi-Agent-Based Simulation, MABS 2006, held in Hakodate, Japan, May 8, 2006 as an associated event of AAMAS 2006, the main international conference on autonomous agents and multi-agent systems

The 12 revised full papers presented together with 3 short papers and 2 invited papers were carefully reviewed and selected from 25 submissions during two rounds of reviewing and improvement

The papers are organized in topical sections on Empirical Cross Studies, Experimental Ecology, Experimental Economics, Foundations and Methodologies, Learning and Social Dependence

This book constitutes the refereed proceedings of the Second German Conference on Multiagent Systems Technologies, MATES 2004, held in Erfurt, Germany in September 2004

The 22 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 60 submissions

The papers are organized in topical sections on learning and social agents, analysis and security, negotiation and control, agents and software engineering, simulation and agents, and policies and testing

Multiobjective optimization deals with solving problems having not only one, but multiple, often conflicting, criteria

Such problems can arise in practically every field of science, engineering and business, and the need for efficient and reliable solution methods is increasing

The task is challenging due to the fact that, instead of a single optimal solution, multiobjective optimization results in a number of solutions with different trade-offs among criteria, also known as Pareto optimal or efficient solutions

This book constitutes the refereed proceedings of the Third International Conference on Natural Language Generation, INLG 2004, held in Brockenhurst, UK in July 2004

The 18 revised full papers presented together with an invited keynote paper and 4 student papers reporting ongoing PhD research work were carefully reviewed and selected from 46 submissions

All current aspects of the generation of natural language are addressed, including psychological modeling of human language production as well as computational approaches to the automatic generation of language

This volume considers the web architectures and recent developments that make net-centric approaches for intelligence and national security possible

 The development of net-centric approaches for intelligence, national and homeland security applications has become a major concern in many areas such as defense intelligence and national and international law enforcement agencies, especially since the terrorist attacks of  9/11

Net-Centric Approaches to Intelligence and National Security presents developments in information integration and recent advances in web services including the concept of the semantic web

We are on the cusp of a broad revolution, one with startling implications for perception, cognition, emotion, and indeed, personal identity

Still in its relative infancy, this rapidly progressing field is poised to move from perceptual aids such as cochlear implants to devices that will enhance and speed up thought to the ultimate goal of researchers, that of downloading the mind from its bound state in the body to a platform-independent existence

This controversial book describes the science that will make these transformations possible

Parallel and distributed computing is one of the foremost technologies for shaping
future research and development activities in academia and industry

Hyperthreading in Intel processors, hypertransport links in next generation AMD processors, multicore silicon in today?s high-end microprocessors, and emerging cluster and grid computing have moved parallel/distributed computing into the mainstream of computing

This state-of-the-art survey presents the outcome of the eSTREAM Project, which was launched in 2004 as part of ECRYPT, the European Network of Excellence in Cryptology (EU Framework VI)

The goal of eSTREAM was to promote the design of new stream ciphers with a particular emphasis on algorithms that would be either very fast in software or very resource-efficient in hardware

Algorithm designers were invited to submit new stream cipher proposals to eSTREAM, and 34 candidates were proposed from around the world

Deformable objects are ubiquitous in the world surrounding us, on all levels from micro to macro

The need to study such shapes and model their behavior arises in a wide spectrum of applications, ranging from medicine to security

In recent years, non-rigid shapes have attracted growing interest, which has led to rapid development of the field, where state-of-the-art results from very different sciences - theoretical and numerical geometry, optimization, linear algebra, graph theory, machine learning and computer graphics, to mention several - are applied to find solutions

This book constitutes the refereed proceedings of the 5th Annual International Conference on Object-Oriented and Internet-Based Technologies, Concepts and Applications for a Networked World, Net

Object Days 2004, held in Erfurt, Germany, in September 2004

The 15 revised full papers presented togehter with an invited paper were carefully reviewed and selected from inclusion in the book

This book presents the final reports of 19 workshops held during the 18th European Conference on Object-Oriented Programming, ECOOP 2004, held in Oslo, Norway in June 2004

The 19 reports provided by the respective workshops organizers cover the entire range of object technology and related topics; they present a coherent and highly representative snapshot of the major trends in the field

This book contains the final reports of 19 workshops held during the 20th European Conference on Object-Oriented Programming, ECOOP 2006, held in Nantes, France in July 2006

The 19 reports cover the entire range of object technology and related topics

Their contents was provided by the respective workshops organizers and picked out in a twofold selection process

This book is the outcome of an international research seminar on objects, agents, and features held at Dagstuhl Castle, Germany in February 2003

In recent years, concepts in object-oriented modeling and programming have been extended in variuos directions, giving rise to new paradigms such as agent-orientation and feature orientation

This book explores the relationship between the original paradigm and the two new ones

Focuses on flexible and powerful collections of computing and addressing complex optimization problems

Outlines packaged software class libraries to enable researchers to invest more effort in examining better algorithms

Transformational programming and parallel computation are two emerging fields that may ultimately depend on each other for success

Perhaps because ad hoc programming on sequential machines is so straightforward, sequential programming methodology has had little impact outside the academic community, and transformational methodology has had little impact at all

However, because ad hoc programming for parallel machines is so hard, and because progress in software construction has lagged behind architectural advances for such machines, there is a much greater need to develop parallel programming and transformational methodologies

This book constitutes the refereed proceedings of the Second International Symposium on Parallel and Distributed Processing and Applications, ISPA 2004, held in Hong Kong, China in December 2004

The 78 revised full papers and 38 revised short papers presented were carefully reviewed and selected from 361 submissions

The papers are organized in topical sections on parallel algorithms and systems, data mining and management, distributed algorithms and systems, fault tolerance protocols and systems, sensor networks and protocols, cluster systems, grid applications and systems, peer-to-peer and ad hoc networking, grid scheduling and algorithms, data replication and caching, software engineering and testing, grid protocols, context-aware and mobile computing, distributed routing and switching protocols, cluster resource scheduling and algorithms, security, high performance processing, networking and protocols, artificial intelligence systems, hardware architecture and implementations, high performance computing architecture, and distributed systems architecture

This book constitutes the thoroughly refereed post-proceedings of the 5th International Conference on Parallel Processing and Applied Mathematics, PPAM 2003, held in Czestochowa, Poland, in September 2003

The 149 papers presented were carefully selected and improved during two rounds of reviewing and revision

The papers are organized in topical sections on parallel and distributed architectures, scheduling and load balancing, performance analysis and prediction, parallel and distributed non-numerical algorithms, parallel and distributed programming, tools and environments, applications, evolutionary computing, soft computing data and knowledge management, numerical methods and their applications, multi-dimensional systems, grid computing, heterogeneous platforms, high performance numerical computation, large-scale scientific computation, and bioinformatics applications

Parameterized complexity theory is a recent branch of computational complexity theory that provides a framework for a refined analysis of hard algorithmic problems

The central notion of the theory, fixed-parameter tractability, has led to the development of various new algorithmic techniques and a whole new theory of intractability

This book is a state-of-the-art introduction to both algorithmic techniques for fixed-parameter tractability and the structural theory of parameterized complexity classes, and it presents detailed proofs of recent advanced results that have not appeared in book form before

Parsing, also referred to as syntax analysis, has been and continues to be an essential part of computer science and linguistics

Today, parsing techniques are also implemented in a number of other disciplines, including but not limited to, document preparation and conversion, typesetting chemical formulae, and chromosome recognition

This second edition presents new developments and discoveries that have been made in the field

Parsing, also referred to as syntax analysis, has been and continues to be an essential part of computer science and linguistics

Today, parsing techniques are also implemented in a number of other disciplines, including but not limited to, document preparation and conversion, typesetting chemical formulae, and chromosome recognition

This second edition presents new developments and discoveries that have been made in the field

Includes an introduction by eminent philospher Daniel C

Dennett The most comprehensive analysis of the Turing Test ever published Features running commentaries by Stevan Harnad, Kenneth Ford, Pat Hayes and others on Alan Turing's classic paper, `Computing Machinery and Intelligence`

Parsing the Turing Test is a landmark exploration of both the philosophical and methodological issues surrounding the search for true artificial intelligence

Will computers and robots ever think and communicate the way humans do?

The two-volume set LNCS 4477 and 4478 constitutes the refereed proceedings of the Third Iberian Conference on Pattern Recognition and Image Analysis, IbPRIA 2007, held in Girona, Spain in June 2007

The 48 revised full papers and 108 revised poster papers presented together with 3 invited talks were carefully reviewed and selected from 328 submissions

The papers are organized in topical sections on pattern recognition, human language technology, special architectures and industrial applications, motion analysis, image analysis, biomedical applications, shape and texture analysis, 3D, as well as image coding and processing

The two-volume set LNCS 4477 and 4478 constitutes the refereed proceedings of the Third Iberian Conference on Pattern Recognition and Image Analysis, IbPRIA 2007, held in Girona, Spain in June 2007

The 48 revised full papers and 108 revised poster papers presented together with 3 invited talks were carefully reviewed and selected from 328 submissions

The papers are organized in topical sections on pattern recognition, human language technology, special architectures and industrial applications, motion analysis, image analysis, biomedical applications, shape and texture analysis, 3D, as well as image coding and processing

Peer to Peer Computing: The Evolution of Disruptive Technology takes a holistic approach to the affects P2P Computing has on a number a disciplines

Some of those areas covered within this book include grid computing, web services, bio-informatics, security, finance and economics, collaboration, and legal issues

Unique in its approach, Peer to Peer Computing includes current articles from academics as well as IT practitioners and consultants from around the world

This book constitutes the thoroughly refereed postconference proceedings of the 6th International Andrei Ershov Memorial Conference, PSI 2006, held in Akademgorodok, Novosibirsk, Russia in June 2006

The 30 revised full papers and 10 revised short papers presented together with 5 invited papers were carefully reviewed and selected from 108 submissions during two rounds of evaluation and improvement

The papers address all current aspects of theoretical computer science, programming methodology, and new information technologies, which are among the most important contributions of system informatics

This book constitutes the refereed proceedings of the 9th International Symposium on Practical Aspects of Declarative Languages, PADL 2007, held in Nice, France, in January 2007, colocated with POPL 2007, the Symposium on Principles of Programming Languages

The 19 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 58 submissions

All current aspects of declarative programming are addressed including implementational issues and innovative applications in areas such as database management, software engineering, functional logic, decision support systems, constraint programming, model checking, probabilistic programming, Java and Prolog programming

Principles of Concurrent and Distributed Programming provides an introduction to concurrent programming focusing on general principles and not on specific systems

Software today is inherently concurrent or distributed from event-based GUI designs to operating and real-time systems to Internet applications

The new edition of this classic introduction to concurrency has been completely revised in view of the growing importance of concurrency constructs embedded in programming languages and of formal methods such as model checking that are widely used in industry

Logic's basic elements are unfolded in this book

The relation of and the transition from Logic to Logic Programming are analysed

With the use and the development of computers in the beginning of the 1950's, it soon became clear that computers could be used, not only for arithmetical computation, but also for symbolic computation

Cryptology nowadays is one of the most important areas of applied mathematics, building on deep results and methods from various areas of mathematics

This text is devoted to the study of stochastic aspects of cryptology

Besides classical topics from cryptology, the author presents chapters on probabilistic prime number tests, factorization with quantum computers, random-number generators, pseudo-random-number generators, information theory, and the birthday paradox and meet-in-the-middle attack

Process algebra, also known as the Algebra of Communicating Processes (ACP), is a mathematical theory or model of computer processes, particularly concurrent systems

In this introduction to ACP, the authors describe an algebraic formalism that can be used to specify, apply logic to, and improve parallel systems

Their axiomatic approach permits intensive calculations to be performed and establishes a uniform framework in which a range of models can be investigated

This book constitutes the refereed proceedings of the 13th European Symposium on Programming, ESOP 2004, held in Barcelona, Spain, in March/April 2004

The 27 revised full papers presented together with the abstract of an invited talk were carefully reviewed and selected from a total of 118 submissions

The papers deal with a broad variety of current issues in the specification, analysis, and implementation of programming languages and systems

This one-stop resource takes you through the entire project process, from selecting the project, to producing a proposal, all the way through to report writing and presentation of the project or dissertation

Using an accessible yet academically rigorous writing style, the material is presented in a user-friendly format to enable you to develop your project writing skills and 'add value' to your work

This new edition has been updated to include technology and processes (i

Speech technology, the automatic processing of (spontaneously) spoken language, is now known to be technically feasible

It will become the major tool for handling the confusion of languages with applications including dictation systems, information retrieval by spoken dialog, and speech-to-speech translation

The book gives a throrough account of prosodic phenomena

In the 1990's it was realized that quantum physics has some spectacular applications in computer science

This book is a concise introduction to quantum computation, developing the basic elements of this new branch of computational theory without assuming any background in physics

It begins with an introduction to the quantum theory from a computer-science perspective

Critically acclaimed text for computer performance analysis--now in its second edition


The Second Edition of this now-classic text provides a current and thorough treatment of queueing systems, queueing networks, continuous and discrete-time Markov chains, and simulation

Thoroughly updated with new content, as well as new problems and worked examples, the text offers readers both the theory and practical guidance needed to conduct performance and reliability evaluations of computer, communication, and manufacturing systems



Starting with basic probability theory, the text sets the foundation for the more complicated topics of queueing networks and Markov chains, using applications and examples to illustrate key points

Useful as a text as well as a reference, this is one of the first books of its kind to combine basic and advanced topics of radiowave propagation and smart antennas into a single volume

The book is interdisciplinary in nature and contains material drawn from the electromagnetics and communications areas

Physical phenomena leading to the modeling and prediction of path loss, and characterizing the small-scale and medium-scale fluctuations of the received signal, are treated in detail

This book constitutes the thoroughly refereed post-proceedings of the 9th International Conference on Real-Time and Embedded Systems and Applications, RTCSA 2003, held in Tainan, Taiwan, in February 2003

The 28 revised full papers and 9 revised short papers presented were carefully reviewed and selected for inclusion in the book

The papers are organized in topical sections on scheduling, networking and communication, embedded systems and environments, pervasive and ubiquitous computing, systems and architectures, resource management, file systems and databases, performance analysis, and tools and development

Real-Time Image and Video Processing presents an overview of the guidelines and strategies for transitioning an image or video processing algorithm from a research environment into a real-time constrained environment

Such guidelines and strategies are scattered in the literature of various disciplines including image processing, computer engineering, and software engineering, and thus have not previously appeared in one place

By bringing these strategies into one place, the book is intended to serve the greater community of researchers, practicing engineers, industrial professionals, who are interested in taking an image or video processing algorithm from a research environment to an actual real-time implementation on a resource constrained hardware platform

This book constitutes the refereed proceedings of the 4th International Workshop on Applied Reconfigurable Computing, ARC 2008, held in London, UK, in March 2008

The 21 full papers and 14 short papers presented together with the abstracts of 3 keynote lectures were carefully reviewed and selected from 56 submissions

The papers are organized in topical sections on programming and compilation, DNA and string processing applications, scientific applications, reconfigurable computing hardware and systems, image processing, run-time behavior, instruction set extension, as well as random number generation and financial computation

This book is devoted to recursion in programming, the technique through which the solution to a problem is expressed partly in terms of the solution to a simpler version of the same problem

Ultimately the solution to the simplest version must be given explicitly

In functional programming, recursion has received its full due since it is quite often the only repetitive construct

This state-of-the-art survey, reflecting on the teaching of programming, has been written by a group of primarily Scandinavian researchers and educators with special interest and experience in the subject of programming

The 14 chapters - contributed by 24 authors - present practical experience gathered in the process of teaching programming and associated with computing education research work

Special emphasis is placed on practical advice and concrete suggestions

This book constitutes the thoroughly refereed joint postproceedings of the 7th International Seminar on Relational Methods in Computer Science and the 2nd International Workshop on Applications of Kleene Algebra held in Bad Malente, Germany in May 2003

The 21 revised full papers presented were carefully selected during two rounds of reviewing and improvement

The papers address foundational and methodological aspects of the calculi of relations and Kleene algebra as well as applications of such methods in various areas of computer science and information processing

This book provides an up-to-date account of RNSs and arithmetic

It covers the underlying mathematical concepts of RNSs; the conversion between conventional number systems and RNSs; the implementation of arithmetic operations; various related applications are also introduced

In addition, numerous detailed examples and analysis of different implementations are provided

During maintenance of a software system, not all questions can be answered directly by resorting to otherwise reliable and accurate source code

Reverse engineering aims at extracting abstract, goal- oriented views of the system, able to summarize relevant properties of the program's computations

This book constitutes the seventh official archival publication devoted to RoboCup

It documents the achievements presented at the 7th Robot World Cup Soccer and Rescue Competition and Conferences held in Padua, Italy, in July 2003

The 39 revised full papers and 35 revised poster papers presented together with an overview and roadmap for the RoboCup initiative and 3 invited papers were carefully reviewed and selected from 125 symposium paper submissions

This book constitutes the refereed proceedings of the 11th International Conference on Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing, RSFDGrC 2007, held in Toronto, Canada in May 2007 in conjunction with the Second International Conference on Rough Sets and Knowledge Technology, RSKT 2007, both as part of the Joint Rough Set Symposium, JRS 2007

The 65 revised full papers presented together with 4 invited papers were carefully reviewed and selected from a total of 319 general submissions to the JRS 2007 symposium

The papers are organized in topical sections on fuzzy-rough hybridization, fuzzy sets, soft computing in medical image processing, soft computing in information retrieval, clustering, text and Web mining, learning, data mining and rough classifiers, granular computing, soft computing in multimedia processing, soft computing applications, and rough and complex concepts

We constantly make decisions which are simply `good enough` rather than optimal--a type of decision for which Wynn Stirling has adopted the word `satisficing`

Most computer decision making algorithms, however, seek only the optimal solution based on rigid criteria and reject others

Outlining an alternative approach, this book uses novel algorithms and techniques to more closely model the way humans make decisions

Learn the essentials of computer science

Schaum?s Outline of Principles of Computer Science provides a concise overview of the theoretical foundation of computer science

It also includes focused review of object-oriented programming using Java

This present volume arose from the need for a comprehensive coverage of the state of the art in security protocol analysis

It aims to serve as an overall course-aid and to provide self-study material for researchers and students in formal methods theory and applications in e-commerce, data analysis and data mining

The volume will also be useful to anyone interested in secure e-commerce

Knuth is, of course, one of the foremost computer scientists and has been instrumental in the invention of methods for translating and defining programming languages and mathematical analyses of algorithms

It is fair to say that computing as we know it today would not be possible without Knuth's contributions

This is a collection of his less technical publications dealing with the relationship of computer science and mathematics, CS education, and the history of computational techniques from Babylonia to the present including an analysis of John von Neumann's first program

Selected Topics in Approximation and Computation addresses the relationship between modern approximation theory and computational methods

The text is a combination of expositions of basic classical methods of approximation leading to popular splines and new explicit tools of computation, including Sinc methods, elliptic function methods, and positive operator approximation methods

It also provides an excellent summary of worst case analysis in information based complexity

Semantics will have an important role to play in the future development of software systems and domain specific languages, and there is a real need for an introductory book that presents the fundamental ideas behind these approaches; stresses their relationship by formulating and proving the relevant theorems; and illustrates the applications of semantics in computer science

This book investigates the relationship between the various methods and describes some of the main ideas used, illustrating these via interesting applications

Historically important application areas are used together with some exciting potential applications including: Validating prototype implementations of programming languages

This book constitutes the thoroughly refereed and extended post-proceedings of the joint European Web Mining Forum, EWMF 2005, and the International Workshop on Knowledge Discovery and Ontologies, KDO 2005, held in association with ECML/PKDD in Porto, Portugal in October 2005

The 10 revised full papers presented together with 1 invited paper and 1 particularly fitting contribution from KDO 2004 were carefully selected for inclusion in the book

The authors' revisions have been significantly improved by the reviewers' comments and the discussions following the presentation

This book constitutes the thoroughly refereed post-proceedings of the International Workshop on Sensor Based Intelligent Robots held in Dagstuhl Castle, Germany, in October 2000

The 20 revised full papers were carefully reviewed and improved for inclusion in this book

Addressing a broad variety of aspects of the highly interdisciplinary field of robotics, the book presents three topical sections on sensing, robotics, and intelligence

This book constitutes the refereed proceedings of the International Workshop on Service-Oriented Computing: Agents, Semantics, and Engineering, SOCASE 2007, held in Honolulu, HI, USA as an associated event of AAMAS 2007, the main international conference on autonomous agents and multi-agent systems

The volume is rounded off with selected four best papers from the Service-Oriented Computing and Agent-based Engineering Workshop, SOCABE 2006, held at AAMAS 2006

The 12 revised full papers presented were carefully reviewed and selected for inclusion in the book

University studies in computing require the ability to pass from a concrete problem to an abstract representation, reason with the abstract structure, and return with useful solutions to the specific situation

The tools for developing these skills are in part qualitative ? concepts such as set, relation, function, and structures such as trees and well-founded orders

For anyone learning the Scheme programming language, the second edition of Simply Scheme: Introducing Computer Science provides a very digestible textbook-style introductory tutorial to this powerful and elegant language

In the words of the authors, Simply Scheme is designed to be a `prequel` to another book, Structure and Interpretation of Computer Programs

This latter title has been a staple of introductory computer science courses for years, but it assumes a certain background

For anyone learning the Scheme programming language, the second edition of Simply Scheme: Introducing Computer Science provides a very digestible textbook-style introductory tutorial to this powerful and elegant language

In the words of the authors, Simply Scheme is designed to be a `prequel` to another book, Structure and Interpretation of Computer Programs

This latter title has been a staple of introductory computer science courses for years, but it assumes a certain background

This book constitutes the refereed proceedings of the 4th International Symposium on Smart Graphics, SG 2004, held in Banff, Canada in May 2004

The 10 revised full papers and 8 revised short papers presented were carefully reviewed and selected for presentation

The papers address smart graphics issues from the points of view of computer graphics, artificial intelligence, cognitive science, and fine art; they are organized in topical sections on virtual characters and environments, tangible and hybrid interfaces, and graphical interfaces

This book constitutes the refereed proceedings of the 9th International Symposium on Smart Graphics, SG 2008, held in Rennes, France in August 2008

The 17 revised full papers together with 9 short papers and 3 demonstrations presented were carefully reviewed and selected

The papers are organized in topical sections on sketching, navigation and selection, studies and evaluation, camera planning, as well as visualization

This book constitutes the refereed proceedings of the Third International Symposium on Smart Graphics, SG 2003, held in Heidelberg, Germany in July 2003

The 19 revised full papers and 7 poster papers presented were carefully reviewed and selected for presentation

The papers address smart graphics issues from the points of view of computer science, artificial intelligence, cognitive psychology, and fine art

Hard real-time systems are very predictable, but not sufficiently flexible to adapt to dynamic situations

They are built under pessimistic assumptions to cope with worst-case scenarios, so they often waste resources

Soft real-time systems are built to reduce resource consumption, tolerate overloads and adapt to system changes

This book constitutes the refereed proceeding of the 13th European Software Process Improvement Conference, EuroSPI 2006, held in Joensuu, Finland in October 2006

The 18 revised full papers presented were carefully reviewed and selected from 62 submissions

The papers are organized in topical sections on SPI (Software Process Improvement) processes, SPI and risk management, measurement, process modelling, human factors, and implementation of SPI

This book constitutes the refereed proceeding of the 14th European Software Process Improvement Conference, EuroSPI 2007, held in Potsdam, Germany, in September 2007

The 18 revised full papers presented together with an introductory paper were carefully reviewed and selected from 60 submissions

The papers are organized in topical sections on enforcement, alignment, tailoring, focus on SME issues, improvement analysis and empirical studies, new avenues of SPI, SPI methodologies, as well as testing and reliability

This book constitutes the refereed proceedings of the International Conference on Spatial Cognition, Spatial Cognition 2006, held in Bremen, Germany, September 24-28, 2006

The 28 revised full papers presented were carefully reviewed and selected from 59 submissions

The papers are organized in topical sections on Spatial Reasoning, Human-Robot Interaction, Visuo-Spatial Reasoning and Spatial Dynamics, Spatial Concepts, Human Memory, Mental Reasoning and Assistance, Spatial Concepts, Human Memory and Mental Reasoning, Navigation, Wayfinding and Route Instructions as well as Linguistic and Social Issues in Spatial Knowledge Processing

This book constitutes the refereed proceedings of the 24th Annual Symposium on Theoretical Aspects of Computer Science, STACS 2007, held in Aachen, Germany in February 2007

The 56 revised full papers presented together with 3 invited papers were carefully reviewed and selected from about 400 submissions

The papers address the whole range of theoretical computer science including algorithms and data structures, automata and formal languages, complexity theory, logic in computer science, semantics, specification, and verification of programs, rewriting and deduction, as well as current challenges like biological computing, quantum computing, and mobile and net computing

Want to calculate the probability that an event will happen? Be able to spot fake data? Prove beyond doubt whether one thing causes another?

This book constitutes the thoroughly refereed post-proceedings of the Second International Conference on Symbolic and Numerical Scientific Computation, SNSC 2001, held in Hagenberg, Austria, in September 2001

The 19 revised full papers presented were carefully selected during two rounds of reviewing and improvement

The papers are organized in topical sections on symbolics and numerics of differential equations, symbolics and numerics in algebra and geometry, and applications in physics and engineering

Part true crime, part call to arms, Tangled Web: Tales of Digital Crime from the Shadows of Cyberspace looks over the firewall from both sides to examine the brave new crooks and their pursuers

Author Richard Power, editorial director of San Francisco's Computer Security Institute, is simultaneously engaging and shaky--a rare and lovely combination

Between interviews with hackers and security experts, Power plies the reader with numbers that suggest that the world's networks are swarming with money-sucking leeches, most of which are never even noticed, and certainly not caught

This book constitutes the thoroughly refereed post-proceedings of the 5th International Workshop on Task Models and Diagrams for User Interface Design, TAMODIA 2006, held in Hasselt, Belgium in October 2006

The 23 revised full papers presented together with 1 invited paper were carefully reviewed and selected from numerous submissions for inclusion in the book

The workshop focused on different forms of models, diagrammatic and formal notations, and analytic frameworks used to understand human tasks and activities with computers and technology

This book constitutes the refereed proceedings of the Second International Conference on Technologies for Interactive Digital Storytelling and Entertainment, TIDSE 2004, held in Darmstadt, Germany in June 2004

The 30 revised full papers presented were carefully reviewed and selected for inclusion in the book; also included are the abstract of a keynote talk and 10 descriptions of demonstrations and interactive exhibitions of computer art

The papers are organized in topical sections on interactive storytelling, virtual humans, authoring, mobility, learning, theory, applications, gaming, and demonstrations and exhibitions

This book constitutes the refereed proceedings of the 7th International Conference on Text, Speech and Dialogue, TSD 2004, held in Brno, Czech Republic, in September 2004

The 78 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 128 submissions

The papers present a wealth of state-of-the-art research results in the field of natural language processing with an emphasis on text, speech, and spoken dialogue ranging from theoretical and methodological issues to applications in various fields, such as information retrieval, the semantic Web, algorithmic learning, classification and clustering, speaker recognition and verification, and dialogue management

Programming Legend Charles Petzold unlocks the secrets of the extraordinary and prescient 1936 paper by Alan M

Turing

Mathematician Alan Turing invented an imaginary computer known as the Turing Machine; in an age before computers, he explored the concept of what it meant to be computable, creating the field of computability theory in the process, a foundation of present-day computer programming

The book expands Turing?

Information and Communication Technologies (ICTs) have profoundly changed many aspects of life, including the nature of entertainment, work, communication, education, healthcare, industrial production and business, social relations and conflicts

They have had a radical and widespread impact on our moral lives and hence on contemporary ethical debates

The Cambridge Handbook of Information and Computer Ethics provides an ambitious and authoritative introduction to the field, with discussions of a range of topics including privacy, ownership, freedom of speech, responsibility, technological determinism, the digital divide, cyber warfare, and online pornography

This book presents the theoretical foundation of a higher-order logic programming language with equality, based on the clausal theory of types

A long-sought goal of logic programming, the clausal theory of types is a logic programming language that allows functional computation as a primitive operation while having rigorous, sound, and complete declarative and operational semantics

The language is very powerful, supporting higher-order equational deduction and functional computation

A groundbreaking, unifying theory of computer science for low-cost, high-quality software


The Cognitive Dynamics of Computer Science represents the culmination of more than thirty years of the author's hands-on experience in software development, which has resulted in a remarkable and sensible philosophy and practice of software development

It provides a groundbreaking ontology of computer science, while describing the processes, methodologies, and constructs needed to build high-quality, large-scale computer software systems on schedule and on budget



Based on his own experience in developing successful, low-cost software projects, the author makes a persuasive argument for developers to understand the philosophical underpinnings of software

Making Sense of Design

Effective design is at the heart of everything from software development to engineering to architecture

But what do we really know about the design process? What leads to effective, elegant designs?

This text synthesizes ten years of research in top-down program design and verification of program correctness

It shows how these techniques may be used in day-to-day programming with the PASCAL language

Many examples of programs and proof development, as well as an explanation of control and data structures, are pro- vided

?The-computer-as-we-know-it? will have no role in our future everyday lives

User review
The math book all programmers should read
The 'Haskell Road to Logic' is a wonderful introduction to the mathematics that lie behind functional programming and computer science

Readers should however be aware that this book is not, and does not pretend to be, a book about programming in Haskell

It is really a text book about topics in mathematics that are of particular interest to computer scientists

Computer Science and Operations Research continue to have a synergistic relationship and this book represents the results of the cross-fertilization between OR/MS and CS/AI

It is this interface of OR/CS that makes possible advances that could not have been achieved in isolation

Taken collectively, these articles are indicative of the state-of-the-art in the interface between OR/MS and CS/AI and of the high-caliber research being conducted by members of the INFORMS Computing Society

All traditional implementation techniques for functional languages fail to avoid useless repetition of work

They are not `optimal` in their implementation of sharing, often causing a catastrophic, exponential explosion in reduction time

Optimal reduction is an innovative graph reduction technique for functional expressions, introduced by Lamping in 1990, that solves the sharing problem

This is the very first book to discuss the theory and principles of computer programming on the basis of the idea that a proof of correctness and a program should be developed hand in hand

It is built around the method first proposed by Dijkstra in his monograph The Discipline of Programming (1976), involving a `calculus for the derivation of programs

` Directing his materials to the computer programmer with at least one year of experience, Gries presents explicit principles behind program development, and then leads the reader through example programs using those principles

The story of supercomputing is only partially about technology

More than anything, it's about the gifted, brilliant, and often eccentric individuals who knew how to use that technology in new ways to do amazing things

Perhaps the most amazing of the bunch was Seymour Cray, the bureaucracy-intolerant genius with the barnstorming mind whose name has become synonymous with supercomputers

Local search has been applied successfully to a diverse collection of optimization problems

It's appreciated for its basic conceptual foundation, its general applicability, and its power to serve as a source for new search paradigms

The typical characteristics of combinatorial optimization problems to which local search can be applied, its relation to complexity theory, and the combination with randomized search features have led to a wealth of interesting theoretical results

The process of solving large problems by breaking them down into smaller, more simple problems that have identical forms

Thinking Recursively: A small text to solve large problems

Concentrating on the practical value of recursion

This book constitutes the refereed proceedings of the 10th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2004, held in Barcelona, Spain in March/April 2004

The 37 revised full papers and 6 revised tool demonstration papers presented were carefully reviewed and selected from a total of 162 submissions

The papers are organized in topical sections on theorem proving, probabilistic model checking, testing, tools, explicit state and Petri nets, scheduling, constraint solving, timed systems, case studies, software, temporal logic, abstraction, and automata techniques

Explore descriptions of 100 top computer and technical careers, match them to your skills, and get a good job quickly

Written by a computer scientist for computer scientists, this book teaches topology from a computational point of view, and shows how to solve real problems that have topological aspects involving computers

Such problems arise in many areas, such as computer graphics, robotics, structural biology, and chemistry

The author starts from the basics of topology, assuming no prior exposure to the subject, and moves rapidly up to recent advances in the area, including topological persistence and hierarchical Morse complexes

The advent of multicore processors has renewed interest in the idea of incorporating transactions into the programming model used to write parallel programs

This approach, known as transactional memory, offers an alternative, and hopefully better, way to coordinate concurrent threads

The ACI (atomicity, consistency, isolation) properties of transactions provide a foundation to ensure that concurrent reads and writes of shared data do not produce inconsistent or incorrect results

The LNCS Journal `Transactions on Aspect-Oriented Software Developmen`t is devoted to all facets of aspect-oriented software development (AOSD) techniques in the context of all phases of the software life cycle, from requirements and design to implementation, maintenance and evolution

The focus of the journal is on approaches for systematic identification, modularization, representation and composition of crosscutting concerns, i

e

The LNCS journal Transactions on Computational Science reflects recent developments in the field of Computational Science, conceiving the field not as a mere ancillary science but rather as an innovative approach supporting many other scientific disciplines

The journal focuses on original high-quality research in the realm of Computational Science in parallel and distributed environments, encompassing the facilitating theoretical foundations and the applications of large-scale computations and massive data processing

It addresses researchers and practitioners in areas ranging from aerospace to biochemistry, from electronics to geosciences, from mathematics to software architecture, presenting verifiable computational methods, findings and solutions and enabling industrial users to apply techniques of leading-edge, large-scale, high performance computational methods

Since the mid 1990s, data hiding has been proposed as an enabling technology for securing multimedia communication, and is now used in various applications including broadcast monitoring, movie fingerprinting, steganography, video indexing and retrieval, and image authentication

Data hiding and cryptographic techniques are often combined to complement each other, thus triggering the development of a new research field of multimedia security

Besides, two related disciplines, steganalysis and data forensics, are increasingly attracting researchers and becoming another new research field of multimedia security

These Transactions publish archival papers in the broad area of Petri nets and other models of concurrency, ranging from theoretical work to tool support and industrial applications

ToPNoC issues are published as LNCS volumes, and hence are widely distributed and indexed

This Journal has its own Editorial Board which selects papers based on a rigorous two stage refereeing process

The LNCS journal Transactions on Rough Sets is devoted to the entire spectrum of rough sets related issues, from logical and mathematical foundations, through all aspects of rough set theory and its applications, such as data mining, knowledge discovery, and intelligent information processing, to relations between rough sets and other approaches to uncertainty, vagueness, and incompleteness, such as fuzzy sets and theory of evidence

This book, which constitutes the eighth volume of the Transactions on Rough Sets series, contains a wide spectrum of contributions to the theory and applications of rough sets

The 17 papers presented explore several research streams and introduce a number of new advances in the foundations and applications of artificial intelligence, engineering, logic, mathematics, and science

This book constitutes the refereed proceedings of the Second International Conference on Trust Management, iTrust 2004, held in Oxford, UK, in March/April 2004

The 21 revised full papers and 6 revised short papers presented together with 3 invited contributions were carefully reviewed and selected from 48 submissions

Besides technical topics in distributed and open systems, issues from law, social sciences, business, and philosophy are addressed in order to develop a deeper and more fundamental understanding of the issues and challenges in the area of trust management in dynamic open systems

This book constitutes the refereed proceedings of the 7th International Conference on Unconventional Computation, UC 2008, held in Vienna, Austria, in August 2008

The 16 revised full papers presented together with 4 invited papers were carefully reviewed and selected for inclusion in the book

The papers are devoted to all aspects of unconventional computation ranging from theoretical and experimental aspects to various applications

The book is an introductory textbook mainly for students of computer science and mathematics

Our guiding phrase is `what every theoretical computer scientist should know about linear programming`

A major focus is on applications of linear programming, both in practice and in theory

When writing computer user documentation, focusing on the needs of your audience is critical

This book provides you with a surefire approach to generating clear, effective documentation that's tailored to the information requirements of the end-user

The book describes a user centered information design method (UCID) that helps you ensure your computer documentation conveys significant, meaningful information for the user -- and avoids unnecessary repetition or inconsistencies

Video Object Extraction and Representation: Theory and Applications is an essential reference for electrical engineers working in video; computer scientists researching or building multimedia databases; video system designers; students of video processing; video technicians; and designers working in the graphic arts

In the coming years, the explosion of computer technology will enable a new form of digital media

Along with broadband Internet access and MPEG standards, this new media requires a computational infrastructure to allow users to grab and manipulate content

This book constitutes the thoroughly refereed post-conference proceedings of the 13th International Conference on Virtual Systems and Multimedia, VSMM 2007, held in Brisbane, Australia, in September 2007

The 18 revised full papers presented were carefully reviewed and selected from 97 initial submissions during two rounds of reviewing and improvement

The papers put a special focus on virtual heritage and virtual cultures, virtual environments and virtual experiences, as well as on applied technologies and systems

This book is a thoroughly arranged anthology outlining the state of the art in the emerging area of visual informationsystems

The chapters presented are a selection of thoroughly refereed and revised full papers first presented at the First International Conference on visual Information Systems held in February 1996

Next generation information systems have a high visual content, and there will be a shift in emphasis from a paradigm of predominantly alphanumeric data processing to one of visual information processing

The Visualization Handbook provides an overview of the field of visualization by presenting the basic concepts, providing a snapshot of current visualization software systems, and examining research topics that are advancing the field



This text is intended for a broad audience, including not only the visualization expert seeking advanced methods to solve a particular problem, but also the novice looking for general background information on visualization topics

The largest collection of state-of-the-art visualization research yet gathered in a single volume, this book includes articles by a `who's who` of international scientific visualization researchers covering every aspect of the discipline, including:
· Virtual environments for visualization
· Basic visualization algorithms
· Large-scale data visualization
· Scalar data isosurface methods
· Visualization software and frameworks
· Scalar data volume rendering
· Perceptual issues in visualization
· Various application topics, including information visualization

The last decade has seen tremendous growth in usage of the World Wide Web

Web caching is a technology aimed at reducing the transmission of redundant network traffic and improving access to the Web

The key idea in Web caching is to cache frequently- accessed content so that it may be used profitably later