Unsupervised Process Monitoring and Fault Diagnosis Visual ......An Engineering View of Harmony Database of Piano Chords: An Engineering View of Harmony includes a unique database

Computer Science springer.com/NEWSonline

100

C. Aldrich, Curtin University, Perth, WA, Australia; L. Auret, University of Stellenbosch, Matieland, South Africa

Unsupervised Process Monitoring and Fault Diagnosis with Machine Learning MethodsThis unique text/reference describes in detail the latest advances in unsupervised process monitor-ing and fault diagnosis with machine learning methods. Abundant case studies throughout the text demonstrate the efficacy of each method in real-world settings. The broad coverage examines such cutting-edge topics as the use of information theory to enhance unsupervised learning in tree-based methods, the extension of kernel methods to multiple kernel learning for feature extraction from data, and the incremental training of multi-layer perceptrons to construct deep architectures for enhanced data projections.

Features 7 Describes the latest developments in nonlinear methods and their application in fault diagno-sis 7 Discusses in detail several advances in machine learning theory 7 Contains numerous case studies with real-world data from industry

Contents Introduction.- Overview of Process Fault Diagno-sis.- Artificial Neural Networks.- Statistical Learn-ing Theory and Kernel-Based Methods.- Tree-Based Methods.- Fault Diagnosis in Steady State Process Systems.- Dynamic Process Monitoring.- Process Monitoring Using Multiscale Methods.

Field of interestArtificial Intelligence (incl. Robotics)

Target groupsResearch

Discount groupProfessional Non-Medical

Due June 2013

2013. XIII, 307 p. 187 illus., 174 in color. (Advances in Computer Vision and Pattern Recognition) Hardcover7 $129.00ISBN 978-1-4471-5184-5

9<HTMEPH=bfbief>

G. Andrienko, N. Andrienko, Fraunhofer IAIS, Sankt Augustin, Germany; P. Bak, IBM Haifa Research Lab, Israel; D. Keim, University of Konstanz, Germany; S. Wrobel, Fraunhofer IAIS, Sankt Augustin, Germany

Visual Analytics of MovementMany important planning decisions in society and business depend on proper knowledge and a correct understanding of movement, be it in transportation, logistics, biology, or the life sci-ences. Today the widespread use of mobile phones and technologies like GPS and RFID provides an immense amount of data on location and movement. What is needed are new methods of visualization and algorithmic data analysis that are tightly integrated and complement each other to allow end-users and analysts to extract useful knowledge from these extremely large data vol-umes. This is exactly the topic of this book.

Features 7 Presents a multidisciplinary approach, combining methods from e.g. visualization, data mining, cartography, and geographical informa-tion science 7 Introduces a general conceptual framework for the analysis of movement data from various sources 7 Illustrates all algorithms and methods with the help of sample applications from various domains

Contents Introduction.- Conceptual framework.- Transfor-mations of movement data.- Visual analytics infra-structure.- Visual analytics focusing on movers.- Visual analytics focusing on spatial events.- Visual analytics focusing on space.- Visual analytics focusing on time.- Discussion and outlook.

Fields of interestDatabase Management; Data Mining and Knowledge Discovery; Geographical Information Systems/Cartography



Due June 2013

2013. XIV, 397 p. 200 illus., 178 in color. Hardcover7 $129.00ISBN 978-3-642-37582-8

9<HTOGPC=dhfici>

S. Apel, University of Passau, Germany; D. Batory, The University of Texas at Austin, TX, USA; C. Kästner, Carnegie Mellon University, Pittsburgh, PA, USA; G. Saake, Otto-von-Guericke-University Magdeburg, Germany

Feature-Oriented Software Product LinesConcepts and Implementation

Features 7 Takes a dedicated development-oriented view, focusing on automatic product deriva-tion based on feature selection 7 Broad and unbiased presentation of classic as well as tools, novel implementation techniques, and program-ming paradigms 7 Includes a broad classifica-tion of tools and techniques for all stages of the development process and a detailed discussion of tradeoffs 7 Tied together by two running examples, one relevant for academic and one for industrial applications 7 Combined author team of experienced pioneers in software product line development

Contents Part I Software Product Lines.- Software Product Lines.- A Development Process for Feature-Ori-ented Product Lines.- Part II Variability Imple-mentation.- Basic Concepts, Classification, and Quality Criteria.- Classic, Language-Based Vari-ability Mechanisms.- Classic, Tool-Driven Vari-ability Mechanisms.- Advanced, Language-Based Variability Mechanisms.- Advanced, Tool-Driven Variability Mechanisms.- Part III Advanced Top-ics.- Refactoring of Software Product Lines.- Fea-ture Interactions.- Analysis of Software Product Lines.- Tool Support.

Fields of interestSoftware Engineering; Management of Computing and Information Systems

Target groupsGraduate


Due May 2013

2013. XIX, 308 p. 63 illus., 11 in color. Hardcover7 $79.99ISBN 978-3-642-37520-0

9<HTOGPC=dhfcaa>

www.springer.com/978-1-4471-5184-5



News 5/2013 Computer Science

101

H. Aydinian, University of Bielefeld, Germany; F. Cicalese, University of Salerno, Fisciano, Italy; C. Deppe, University of Bielefeld, Germany (Eds)

Information Theory, Combinatorics, and Search TheoryIn Memory of Rudolf Ahlswede

Contents I. Information Theory.- 1 Two New Results for Identification for Sources.- 2 L-Identification for Uniformly Distributed Sources and the q-ary Identification Entropy of Second Order.- 3 Op-timal Rate Region of Two-Hop Multiple Access Channel via Amplify-and-Forward Scheme.- 4 Strong Secrecy for Multiple Access Channels.- 5 Capacity Results for Arbitrarily Varying Wiretap Channels.- 6 On Oblivious Transfer Capacity.- 7 Achieving Net Feedback Gain in the Linear-Deterministic Butterfly Network with a Full-Duplex Relay.- 8 Uniformly Generating Origin Destination Tables.- 9 Identification via Quantum Channels.- 10 Classical-Quantum Arbitrarily Varying Wiretap Channel.- 11 Arbitrarily Varying and Compound Classical-Quantum Channels and a Note on Quantum Zero-Error Capacities.- 12 On the Value of Multiple Read/Write Streams for Data Compression.- 13 How to Read a Randomly Mixed Up Message.- 14 Multiple Objects: Error Exponents in Hypotheses Testing and Identifica-tion.- II. Combinatorics 15 Family Complexity and VC-Dimension.- 16 The Restricted Word Shadow Problem.- 17 Mixed Orthogonal Arrays, k-Dimensional M-Part Sperner Multi-families, and Full Multitransversals.- 18 Generic Algo-rithms for Factoring Strings.- 19 On Data Recov-ery in Distributed Databases.- 20 An Unstable Hypergraph Problem with a Unique Optimal Solution. [...]

Fields of interestCoding and Information Theory; Discrete Math-ematics in Computer Science; Combinatorics



Available

2013. XL, 773 p. 58 illus. (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues, Volume 7777) Softcover7 $143.00ISBN 978-3-642-36898-1

9<HTOGPC=dgijib>

A. M. Barbancho, I. Barbancho, L. J. Tardón, E. Molina, University of Málaga, Spain

Database of Piano ChordsAn Engineering View of Harmony

Database of Piano Chords: An Engineering View of Harmony includes a unique database of piano chords developed exclusively for music research purposes, and outlines the key advantages to using this dataset to further one’s research. The book also describes the physical bases of the occiden-tal music chords and the influence used in the detection and transcription of the music, enabling researchers to intimately understand the construc-tion of each occidental chord. The online database contains more than 125,000 chords with different degrees of polyphony and with different playing styles. Together, the database and the book are an invaluable tool for researchers in this field.

Contents Introduction.- Foundations of harmony.- Descrip-tion of the UMA piano chord database.- Summary and Discussion.- Appendix A: Types of recorded chords.

Fields of interestMultimedia Information Systems; Signal,Image and Speech Processing



Due May 2013

2013. XII, 60 p. 6 illus. With online files/update. (SpringerBriefs in Electrical and Computer Engineering) Softcover7 $39.99ISBN 978-1-4614-7475-3

9<HTMERB=ehehfd>

A. Ben Abdallah, University of Aizu, Aizuwakamatsu, Japan

Multicore Systems On-Chip: Practical Software/Hardware Design, 2nd EditionSystem on chips designs have evolved from fairly simple unicore, single memory designs to complex heterogeneous multicore SoC architectures con-sisting of a large number of IP blocks on the same silicon. To meet high computational demands posed by latest consumer electronic devices, most current systems are based on such para-digm, which represents a real revolution in many aspects in computing. The attraction of multicore processing for power reduction is compelling. By splitting a set of tasks among multiple proces-sor cores, the operating frequency necessary for each core can be reduced, allowing to reduce the voltage on each core. Because dynamic power is proportional to the frequency and to the square of the voltage, we get a big gain, even though we may have more cores running. As more and more cores are integrated into these designs to share the ever increasing processing load, the main challenges lie in efficient memory hierarchy, scalable system interconnect, new programming paradigms, and efficient integration methodology for connecting such heterogeneous cores into a single system capable of leveraging their individual flexibility.

Features 7 Provides practical hardware/software design techniques for Multicore Systems-on-Chip 7 Provides a real case study in Multicore Systems-on-Chip design 7 Provides interaction between the software and hardware in Multicore Systems-on-Chip 7 Provides detailed overview of various existing Multicore SoCs

Fields of interestComputer Hardware; Processor Architectures



Due June 2013

2013. XXV, 245 p. 196 illus., 79 in color. (Atlantis Ambient and Pervasive Intelligence, Volume 7) Hardcover7 $129.00ISBN 978-94-91216-91-6

9<HTUEUB=cbgjbg>





102

E. Biersack, Eurécom, Biot, France; C. Callegari, University of Pisa, Italy; M. Matijasevic, University of Zagreb, Croatia (Eds)

Data Traffic Monitoring and AnalysisFrom Measurement, Classification, and Anomaly Detection to Quality of Experience

Contents High-Performance Network Traffic Processing Systems Using Commodity Hardware.- Active Techniques for Available Bandwidth Estimation: Comparison and Application.- Internet Topology Discovery.- Internet PoP Level Maps.- Analysis of Packet Transmission Processes in Peer-to-Peer Networks by Statistical Inference Methods.- Re-viewing Traffic Classification.- A Methodological Overview on Anomaly Detection.- Changepoint Detection Techniques for VoIP Traffic.- Distribu-tion-Based Anomaly Detection in Network Traf-fic.- From Packets to People: Quality of Experience as a New Measurement Challenge.- Internet Video Delivery in YouTube: From Traffic Measurements to Quality of Experience.- Quality Evaluation in Peer-to-Peer IPTV Services.- Cross-Layer FEC-Based Mechanism for Packet Loss Resilient Video Transmission.- Approaches for Utility-Based QoE-Driven Optimization of Network Resource Alloca-tion for Multimedia Services.- Active Techniques for Available Bandwidth Estimation: Comparison and Application.- Internet Topology Discovery.- Internet PoP Level Maps.- Analysis of Packet Transmission Processes in Peer-to-Peer Networks by Statistical Inference Methods.- Reviewing Traf-fic Classification.- A Methodological Overview on Anomaly Detection.- Changepoint Detection Techniques for VoIP Traffic.- Distribution-Based Anomaly Detection in Network Traffic. [...]

Fields of interestComputer Communication Networks; System Performance and Evaluation; Information Systems Applications (incl.Internet)



Available

2013. XVI, 359 p. 121 illus. (Lecture Notes in Computer Science / Computer Communication Networks and Telecommunications, Volume 7754) Softcover7 $83.00ISBN 978-3-642-36783-0

9<HTOGPC=dghida>

M. P. Bonacina, Università degli Studi di Verona, Italy; M. E. Stickel, SRI International, Menlo Park, CA, USA (Eds)

Automated Reasoning and MathematicsEssays in Memory of William W. McCune

Contents The Legacy of a Great Researcher.- The Strat-egy Challenge in SMT Solving.- Simple and Efficient Clause Subsumption with Feature Vector Indexing.- Superposition for Bounded Domains.- MACE4 and SEM: A Comparison of Finite Model Generators.- Group Embedding of the Projective Plane PG(2, 3).- A Geometric Procedure with Prover9.- Loops with Abe-lian Inner Mapping Groups: An Application of Automated Deduction.- (Dual) Hoops Have Unique Halving.- Gibbard’s Collapse Theorem for the Indicative Conditional: An Axiomatic Ap-proach.- Geometric Quantifier Elimination Heu-ristics for Automatically Generating Octagonal and Max-plus Invariants.- Toward a Procedure for Data Mining Proofs.- Theorem Proving in Large Formal Mathematics as an Emerging AI Field. The Strategy Challenge in SMT Solving.- Simple and Efficient Clause Subsumption with Feature Vector Indexing.- Superposition for Bounded Domains.- MACE4 and SEM: A Comparison of Finite Model Generators.- Group Embedding of the Projective Plane PG(2, 3).- A Geometric Pro-cedure with Prover9.- Loops with Abelian Inner Mapping Groups: An Application of Automated Deduction.- (Dual) Hoops Have Unique Halv-ing.- Gibbard’s Collapse Theorem for the Indica-tive Conditional: An Axiomatic Approach. [...]

Fields of interestArtificial Intelligence (incl. Robotics); Math-ematical Logic and Formal Languages; Logics and Meanings of Programs



Available

2013. XX, 259 p. 27 illus. (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence, Volume 7788) Softcover7 $72.00ISBN 978-3-642-36674-1

9<HTOGPC=dggheb>

A. Bouguettaya, RMIT University, Melbourne, VIC, Australia; Q. Z. Sheng, University of Adelaide, SA, Australia; F. Daniel, University of Trento, Povo, Italy (Eds)

Advanced Web ServicesContents Design and Management of Web Service Trans-actions with Forward Recovery.- A Generic Framework for Testing the Web Services Transac-tion.- Universal Identity Management Based on Delegation in SOA.- The Roadmap of Trust and Trust Evaluation in Web Applications and Web Services.- Web Service-based Trust Management in Cloud Environments.- Web Service Contracts: Specification and Matchmaking.- A Certification-Aware Service-Oriented Architecture.- A Test Automation Framework for Collaborative Testing of Web Service Dynamic Compositions.- WSDAR-WIN: Studying the Evolution of Web Service Sys-tems.- SCML: A Change Management Language for Adaptive Long Term Composed Services.- A Semantic-based Approach to Generate Abstract Services for Service Organization.- Exploring Service Networks of Biological Processes on the Web.- Automating Tendering Processes with Web Services: A Case Study on Building Construction Tendering in Hong Kong.- Service Trust Manage-ment for E-Government Applications.- Trust-Oriented Service Provider Selection in Complex OnlineSocial Networks.- AnalyzingWeb Services Networks: Theory and Practice.- Work as a Ser-vice.- Virtualizing Software and Human for Elastic Hybrid Services.- Realizing a Social Ecosystem of Web Services.- ubiREST: A RESTful Service-oriented Middleware for Ubiquitous Network-ing.- MobileWeb and Cloud Services.- TOSCA: Portable Automated Deployment and Manage-ment of Cloud Applications. [...]

Fields of interestInformation Systems Applications (incl.Internet); Database Management; Information Storage and Retrieval



Due May 2013

2013. X, 690 p. 215 illus. Hardcover7 approx. $189.00ISBN 978-1-4614-7534-7

9<HTMERB=ehfdeh>





103

A. Bouguettaya, RMIT University, Melbourne, VIC, Australia; Q. Z. Sheng, University of Adelaide, SA, Australia; F. Daniel, University of Trento, Povo, Italy (Eds)

Web Services FoundationsContents Web Services and Business Processes: A Round Trip.- RESTful Web Services: Principles, Patterns, Emerging Technologies.- Conceptual Design of Sound, Custom Composition Languages.- Service-Oriented Programming with Jolie.- From Artifacts to Activities.- On the Composability of Semantic Web Service.- Semantic Web Service Composi-tion: the Web Service Challenge Perspective.- Au-tomated Service Composition Based on Behaviors: The Roman Model.- Behavioral Service Substitu-tion.- Web Service Adaptation: Mismatch Patterns and Semi-Automated Approach to Mismatch Identification and Adapter Development.- Trans-formation Framework for Consistent Evolution of UML.- Behavioral Elements into BPMN Design Element.- Context-Aware Services Engineering for Service-Oriented Architectures.- Service Selection in Web Service Composition: A Comparative Review of Existing Approaches.- QoS Analysis in Service Oriented Computing.- QoS-based Service Selection.- Composition of Web Services: from Qualitative to Quantitative Timed Properties.- Adaptive Composition and QoS Optimization of Conversational Services through Graph Planning Encoding.- Automated Negotiation Among Web services.- DRAAS: Dynamically Reconfigurable Architecture for Autonomic Services.- Compre-hensive Variability Modeling and Management for Customizable Process-Based Service Compo-sitions.- Software Product Line Engineering to Develop Variant-rich Web Services. [...]

Fields of interestInformation Systems Applications (incl.Internet); Database Management; Information Storage and Retrieval



Due June 2013

2013. X, 740 p. 215 illus. Hardcover7 $189.00ISBN 978-1-4614-7517-0

9<HTMERB=ehfbha>

J. Bubenko, Royal Institute of Technology, Kista, Sweden; J. Krogstie, Norwegian University of Science and Technology, Trondheim, Norway; O. Pastor, Polytechnic University of Valencia, Spain; B. Pernici, Politecnico di Milano, Italy; C. Rolland, Pantheon-Sorbonne University, Paris, France; A. Sølvberg, Norwegian University of Science and Technology, Trondheim, Norway (Eds)

Seminal Contributions to Information Systems Engineering25 Years of CAiSE

Contents The CAiSE Adventure.- Evolution of the CAiSE Author Community: A Social Network Analysis.- A Natural Language Approach for Requirements Engineering.- Conceptual Modeling & Natural Language Analysis.- The Three Dimensions of Requirements Engineering: A Framework and its Applications.- The Three Dimensions of Require-ments Engineering: 20 Years Later.- Towards a Deeper Understanding of Quality in Requirements Engineering.- 20 Years of Quality of Models.- METAEDIT+ A Fully Configurable Multi-User and Multi-tool CASE and CAME Environment.- MetaEdit+ at the Age of 20.- OO-METHOD: An OO Software Production Environment Combin-ing Conventional and Formal Methods.- The Conceptual Model is The Code. Why Not?.- Ar-chitecture and Quality in Data Warehouses.- Data Warehouse Architecture and Quality: Impact and Open Challenges.- Time Constraints in Workflow Systems.- Workflow Time Management Revis-ited.- Adaptive and Dynamic Service Composition in eFlow.- Promises and Failures of Research in Dynamic Service Composition.- On Structured Workflow Modelling. [...]

Fields of interestInformation Systems Applications (incl.Internet); Information Storage and Retrieval; Software Engineering



Due June 2013

2013. XII, 428 p. 132 illus., 34 in color. Hardcover7 $129.00ISBN 978-3-642-36925-4

9<HTOGPC=dgjcfe>

W. Burger, Upper Austria University of Applied Sciences, Hagenberg, Austria; M. Burge, Noblis, Washington, D.C., USA

Principles of Digital Image ProcessingAdvanced Methods

This textbook is the third of three volumes which provide a modern, algorithmic introduction to digital image processing, designed to be used both by learners desiring a firm foundation on which to build, and practitioners in search of critical analysis and concrete implementations of the most important techniques. This volume builds upon the introductory material presented in the first two volumes with additional key concepts and methods in image processing.

Features 7 Presents advanced material in a practical and easily accessible manner without compromis-ing on formal aspects 7 Combines theory and implementation in a coherent and highly transpar-ent manner 7 Explains the applicability and performance of methods on illustrative examples and real images

Contents Introduction.- Automatic Thresholding.- Filters for Color Images.- Edge Detection in Color Im-ages.- Edge-Preserving Smoothing Filters.- Fou-rier Shape Descriptors.- SIFT—Scale-Invariant Local Features.- Mathematical Symbols and Notation.- Vector Algebra and Calculus.- Statisti-cal Prerequisites.- Gaussian Filters.- Color Space Transformations.

Field of interestImage Processing and Computer Vision

Target groupsLower undergraduate


Due May 2013

2013. XII, 368 p. 126 illus., 105 in color. (Undergraduate Topics in Computer Science) Softcover7 $59.99ISBN 978-1-84882-918-3

9<HTMIPI=icjbid>





104

I. Cervesato, Carnegie Mellon University, Doha, Qatar

The Deductive SpreadsheetThis book describes recent multidisciplinary research at the confluence of the fields of logic programming, database theory and human-computer interaction. The goal of this effort was to develop the basis of a deductive spreadsheet, a user productivity application that allows users without formal training in computer science to make decisions about generic data in the same simple way they currently use spreadsheets to make decisions about numerical data. The result is an elegant design supported by the most recent developments in the above disciplines. The first half of the book focuses on the deductive engine that underlies this application, the foundations that users do not see.

Features 7 Describes an elegant design supported by the most recent developments 7 Appeals to researchers and practitioners 7 Multidisciplinary topic related to logic programming, database theory and human-computer interaction

Contents Chap. 1 Introduction.- Chap. 2 Requirements.- Part I. Deductive Engine.- Chap. 3 The Traditional Spreadsheet.- Chap. 4 The Relational Spreadsheet.- Chap. 5 The Logical Spreadsheet.- Chap. 6 The Deductive Spreadsheet.- Part II. User Interface 184.- Chap. 7 The Traditional Interface.- Chap. 8 Cognitive Interface Design.- Chap. 9 Toward a Deductive Interface.- Chap. 10 Preliminary Ex-periments.- Chap. 11 Future Developments.

Fields of interestInformation Systems and Communication Service; Artificial Intelligence (incl. Robotics); Program-ming Techniques



Due June 2013

2013. Approx. 345 p. (Cognitive Technologies) Hardcover7 $129.00ISBN 978-3-642-37746-4

9<HTOGPC=dhhege>

A. Chatterjee, Jadavpur University, Kolkata, India; H. Nobahari, Sharif University of Technology, Tehran, Iran; P. Siarry, University of Paris, France (Eds)

Advances in Heuristic Signal Processing and ApplicationsContents Chap. 1: Nonconvex Optimization via Joint Norm Relaxed SQP and Filled Function Method with Application to Minimax Two-Channel Linear Phase FIR QMF Bank Design.- Chap. 2: Robust Reduced-Rank Adaptive LCMV Beamforming Algorithms Based on Joint Iterative Optimization of Parameters.- Chap. 3: Designing OFDM Radar Waveform for Target Detection Using Multiobjec-tive Optimization.- Chap. 4: Multiobject Tracking using Particle Swarm Optimization on Target Interactions.- Chap. 5: A Comparative Study of Modified BBO Variants and Other Metaheuristics for Optimal Power Allocation in Wireless Sensor Networks.- Chap. 6: Joint Optimization of Detec-tion and Tracking in Adaptive Radar Systems.- Chap. 7: Iterative Design of FIR Filters.- Chap. 8: A Metaheuristic Approach to Two-Dimensional Recursive Digital Filter Design.- Chap. 9: A Survey of Kurtosis Optimization Schemes for MISO Source Separation and Equalization.- Chap. 10: Swarm Intelligence Techniques Applied to Nonlin-ear Systems State Estimation.- Chap. 11: Heuristic Optimal Design of Multiplier-less Digital Filter.- Chap. 12: Hybrid Correlation-Neural Network Synergy for Gait Signal Classification.- Chap. 13: Image Denoising Using Wavelets: Application in Medical Imaging.- Chap. 14: Signal Separation with A Priori Knowledge Using Sparse Represen-tation.- Chap. 15: Definition of a Discrete Color Monogenic Wavelet Transform.- Chap. 16: On Im-age Matching and Feature Tracking for Embedded Systems: State of the Art.

Fields of interestArtificial Intelligence (incl. Robotics); Computa-tional Intelligence; Electrical Engineering



Due June 2013

2013. XVI, 394 p. 151 illus., 70 in color. Hardcover7 $129.00ISBN 978-3-642-37879-9

9<HTOGPC=dhihjj>

S. Chaudhuri, K. Kotwal, Indian Institute of Technology Bombay, Powai, Mumbai, India

Hyperspectral Image FusionHyperspectral Image Fusion is the first text dedi-cated to the fusion techniques for such a huge vol-ume of data consisting of a very large number of images. This monograph brings out recent advanc-es in the research in the area of visualization of hyperspectral data. It provides a set of pixel-based fusion techniques, each of which is based on a dif-ferent framework and has its own advantages and disadvantages. The techniques are presented with complete details so that practitioners can easily implement them. It is also demonstrated how one can select only a few specific bands to speed up the process of fusion by exploiting spatial correlation within successive bands of the hyperspectral data. While the techniques for fusion of hyperspectral images are being developed, it is also important to establish a framework for objective assessment of such techniques.

Features 7 First dedicated text to hyperspectral image fusion 7 Presents state-of-the-art fusion tech-niques spanning various frameworks 7 Provides a detailed discussion on the assessment of fusion techniques

Contents Introduction.- Current State of the Art.- Edge-preserving Solution.- Band Selection through Redundancy Elimination.- Bayesian Estima-tion.- Variational Solution.- Optimization-based Fusion.- Band Selection: Revisited.- Performance Assessment of Fusion Techniques.- Results and Discussions.- Conclusions and Directions for Future Research.

Fields of interestImage Processing and Computer Vision; Data Mining and Knowledge Discovery; Signal,Image and Speech Processing



Due May 2013

2013. XI, 193 p. 42 illus. Hardcover7 $109.00ISBN 978-1-4614-7469-2

9<HTMERB=ehegjc>





105

C. Chen, Drexel University, Philadelphia, PA, USA

Mapping Scientific FrontiersThe Quest for Knowledge Visualization

Mapping Scientific Frontiers examines the his-tory and the latest developments in the quest for knowledge visualization from an interdisciplinary perspective, ranging from theories of invisible colleges and competing paradigms, to practical applications of visualization techniques for captur-ing intellectual structures, and the rise and fall of scientific paradigms. Containing simple and easy to follow diagrams for modeling and visualization procedures, as well as detailed case studies and real world examples, this is a valuable reference source for researchers and practitioners, such as science policy analysts, funding agencies, consul-tancy firms, and higher education institutions. This new and revised edition has been updated to reflect developments from within the field during the last 10 years. “Anyone who tries to follow the exponential growth of the literature on citation analysis and scientometrics knows how difficult it is to keep pace.

Features 7 Contains over 150 color illustrations, including maps, paintings, images, computer visualizations and animations 7 Fully revised new edition has been updated to reflect developments within the field during the last 10 years 7 With a Foreword by Henry Small

Contents The Dynamics of Scientific Knowledge.- Mapping the Universe.- Mapping Associations.- Trajectories of Search.- The Structure and Dynamics of Scien-tific Knowledge.- Tracing Competing Paradigms.- Tracking Latent Domain Knowledge.- Mapping Science.- Visual Analytics.- Index.

Fields of interestData Structures; Information Systems and Com-munication Service; Models and Principles



Due August 2013

2nd ed. 2014. X, 364 p. Hardcover7 approx. $129.00ISBN 978-1-4471-5127-2

9<HTMEPH=bfbchc>

N. Chilamkurti, La Trobe University, Melbourne, VIC, Australia; S. Zeadally, University of the District of Columbia, Washington, DC, USA; H. Chaouchi, Institut Télécom SudParis, Evry, France (Eds)

Next-Generation Wireless Technologies4G and Beyond

This comprehensive text/reference examines the various challenges to secure, efficient and cost-effective next-generation wireless networking.

Features 7 Presents a focused review of topics on next-generation wireless technologies 7 Describes re-cent advances such as M2M, the internet of things, and mobile lightweight wireless systems 7 Dis-cusses major challenges for the future, such as energy-efficient wireless communication

Contents Part I: Trends and Challenges of Emerging Wireless Networks.- Trends and Challenges of Emerging Wireless Networks.- Cooperative Mesh Networks.- Cooperation in Delay Toler-ant Networks.- Wireless Multimedia.- Part II: Wireless Communications and Applications.- Ve-hicular Ad-Hoc Networks.- Broadband Wireless Technologies.- RFID.- Energy-Efficient Routing in Wireless Sensor Networks.- Part III: Future In-ternet Systems.- Internet of Things.- Communica-tion Issues in the Internet of Things.- Machine to Machine Communications.- Security in Emerging 4G Networks.- Electronic Health Records.

Field of interestComputer Communication Networks



Due May 2013

2013. X, 270 p. 91 illus. (Computer Communications and Networks) Hardcover7 $109.00ISBN 978-1-4471-5163-0

9<HTMEPH=bfbgda>

D. Clarke, Katholieke Universiteit, Heverlee, Belgium; T. Wrigstad, Uppsala University, Sweden; J. Noble, Victoria University of Wellington, New Zealand (Eds)

Aliasing in Object-Oriented ProgrammingTypes, Analysis and Verification

Contents Beyond the Geneva Convention on the Treatment of Object Aliasing.- The Geneva Convention on the Treatment of Object Aliasing.- Ownership Types: A Survey.- Notions of Aliasing and Owner-ship.- Understanding Ownership Types with Dependent Types.- Object Graphs with Owner-ship Domains: An Empirical Study.- Alias Control for Deterministic Parallelism.- Alias Analysis for Object-Oriented Programs.- Immutabil-ity.- Fractional Permissions.- Object Ownership in Program Verification.- State Based Encapsula-tion for Modular Reasoning about Behavior-Preserving Refactorings.- Separation Logic for Object-Oriented Programming.- VeriFast for Java: A Tutorial.- Confined Roles and Decapsulation in Object Teams — Contradiction or Synergy.- Loca-tion Types for Safe Programming with Near and Far References.- The Future of Aliasing in Parallel Programming.- Aliasing Visions: Ownership and Location.- Alias Analysis: Beyond the Code.- How, Then, Should We Program.- A Retrospective on Aliasing Type Systems: 2012-2022.- Structured Aliasing. The Geneva Convention on the Treat-ment of Object Aliasing.- Ownership Types: A Survey.- Notions of Aliasing and Ownership.- Un-derstanding Ownership Types with Dependent Types.- Object Graphs with Ownership Domains: An Empirical Study.- Alias Control for Deter-ministic Parallelism.- Alias Analysis for Object-Oriented Programs.- Immutability.- Fractional Permissions. [...]

Fields of interestProgramming Techniques; Operating Systems; Software Engineering



Available

2013. VIII, 515 p. 134 illus. (Lecture Notes in Computer Science / Programming and Software Engineering, Volume 7850) Softcover7 $107.00ISBN 978-3-642-36945-2

9<HTOGPC=dgjefc>





106

S. J. Cowley, University of Hertfordshire, Hatfield, UK; F. Vallée-Tourangeau, Kingston University, Kingston-upon-Thames, UK (Eds)

Cognition Beyond the BrainComputation, Interactivity and Human Artifice

Cognition Beyond the Brain challenges neurocen-trism by advocating a systemic view of cognition based on investigating how action shapes the experience of thinking.

Features 7 Introduces a novel systemic perspective on cognition based on multidisciplinary empirical work 7 Explores the role of human agency in cognitive systems 7 Extends the computational basis of distributed cognition into molecular systems

Contents Human Thinking beyond the Brain.- Human Agency and the Resources of Reason.- Judge-ment Aggregation and Distributed Thinking.- Computer-Mediated Trust in Self-Interested Expert Recommendations.- Living as Languaging: Distributed Knowledge in Living Beings.- The Quick and the Dead: On Temporality and Human Agency.- You Want a Piece of Me? Paying Your Dues and Getting Your Due in a Distributed World.- Distributed Cognition at the Crime Scene.- Socially Distributed Cognition in Loosely Coupled Systems.- Thinking with External Rep-resentations.- Human Interactivity: Problem-solving, Solution-probing and Verbal Patterns in the Wild.- Interactivity and Embodied Cues in Problem Solving, Learning and Insight: Further Contributions to a “Theory of Hints”.- Naturalis-ing Problem Solving.- Systemic Cognition: Hu-man Artifice in Life and Language.- Index.

Fields of interestUser Interfaces and Human Computer Interaction; Cognitive Psychology; Linguistics (General)



Due June 2013

2013. VIII, 320 p. 42 illus. Hardcover7 $129.00ISBN 978-1-4471-5124-1

9<HTMEPH=bfbceb>

C. Demant, C. Garnica, B. Streicher-Abel, Remseck, Germany

Industrial Image ProcessingVisual Quality Control in Manufacturing

This practical introduction focuses on how to design integrated solutions for industrial vision tasks from individual algorithms. The book is now available in a revised second edition that takes into account the current technological develop-ments, including camera technology and color imaging processing. It gives a hands-on guide for setting up automated visual inspection systems using real-world examples and the NeuroCheck® standard software that has proven industrial strength integrated in thousands of applications in real-world production lines. Based on many years of experience in industry, the authors explain all the essential details encountered in the creation of vision system installations.

Features 7 Practical introduction to industrial image processing with real-world examples 7 Even the usually secret - because essential - details are de-scribed 7 The original image processing software NeuroCheck and example images can be found on a CD-ROM enclosed

Contents Introduction.- Overview: Image Preprocessing.- Positioning.- Overview: Segmentation.- Mark Identification.- Overview: Classification.- Dimen-sional Checking.- Overview: Image Acquisition and Illumination.- Presence Verification.- Over-view: Object Features.- Outlook: Visual Inspec-tion Projects.- A: Mathematical Notes.- B: The Companion CD.- References.- Index.

Fields of interestImage Processing and Computer Vision; Control, Robotics, Mechatronics; Signal,Image and Speech Processing

Target groupsProfessional/practitioner


Due May 2013

2nd revised ed. 2013. IX, 383 p. 252 illus., 20 in color. With online files/update. Hardcover7 $119.00ISBN 978-3-642-33904-2

9<HTOGPC=ddjaec>

S. Dickinson, University of Toronto, ON, Canada; Z. Pizlo, Purdue University, West Lafayette, IN, USA (Eds)

Shape Perception in Human and Computer VisionAn Interdisciplinary Perspective

Contents The Role of Mid-Level Shape Priors in Perceptual Grouping and Image Abstraction.- Symmetry is the Sine Qua Non of Shape.- Flux Graphs for 2D Shape Analysis.- An Integrated Bayesian Approach to Shape Representation and Percep-tual Organization.- Perceptual Organization of Shape.- Two-Dimensional Shape as a Mid-Level Vision Gestalt.- Shape Priors for Image Segmenta-tion.- Observations on Shape from Shading in Humans.- Deformations and Lighting.- The Shape of Space.- The Visual Hierarchy Mirage.- Natural Selection and Shape Perception.- Shape as an Emergent Property.- Representing 3D Shape and Location.- Joint Registration and Shape Analysis of Curves and Surfaces.- The Statistics of Shape, and Reflectance, and Lighting in Real-World Scenes.- Structure vs. Appearance and 3D vs. 2D.- Visual Shape Perception and Representation.- 3D Face Reconstruction from Single Two-Tone and Color Images.- Perception and Action without Veridical Metric Reconstruction.- A Stochastic Grammar for Natural Shapes.- Hard-Wired and Plastic Mechanisms in 3D Shape Perception.- Holistic Shape Recognition.- Shape Processing as Inherently Three-Dimensional.- The Role of Shape in Visual Recognition.- Human Object Recognition.- Shape-Based Object Discovery in Images.- Schema-Driven Influences in Recovering 3D Shape from Motion in Human and Computer Vision.- Detecting, Representing and Attending to Visual Shape. [...]

Fields of interestImage Processing and Computer Vision; Pattern Recognition



Due June 2013

2013. XVI, 535 p. 227 illus., 36 in color. (Advances in Computer Vision and Pattern Recognition) Hardcover7 $149.00ISBN 978-1-4471-5194-4

9<HTMEPH=bfbjee>





107

Y. Dong, S. Lin, B. Guo, Microsoft Research Asia

Material Appearance Modeling: A Data-Coherent ApproachA principal aim of computer graphics is to generate images that look as real as photographs. Realistic computer graphics imagery has how-ever proven to be quite challenging to produce, since the appearance of materials arises from complicated physical processes that are difficult to analytically model and simulate, and image-based modeling of real material samples is often impractical due to the high-dimensional space of appearance data that needs to be acquired.

Features 7 Presents a unified approach to material ap-pearance modeling that increases the tractibility of this challenging problem 7 Covers the major reflectance mechanisms in realistic rendering, ranging from spatially-variant BRDFs of opaque surfaces to subsurface scattering in translucent volumes 7 Contains detailed algorithm descrip-tions to facilitate implementation by practitio-ners 7 Includes the hot new topic of material fabrication with 3D printers

Contents Introduction.- Surface Reflectance Overview.- Ef-ficient SVBRDF acquisition with manifold boot-strapping.- Interactive SVBRDF Modeling from a Single Image.- Overview of Subsurface Light Transport.- Modeling subsurface light transport with the kernel Nystrom method.- Modeling and rendering subsurface scattering using diffusion equations.- Modeling textured translucent materi-als with lazy solid texture synthesis.- Overview of Material Fabrication.- Fabricating spatially-vary-ing subsurface scattering.- Conclusion

Fields of interestComputer Graphics; Computer Imaging, Vision, Pattern Recognition and Graphics; Image Process-ing and Computer Vision



Due May 2013


9<HTOGPC=dfhhgd>

K. Erciyes, Izmir University, Uckuyular, Turkey

Distributed Graph Algorithms for Computer NetworksThis book presents a comprehensive review of key distributed graph algorithms for computer network applications, with a particular emphasis on practical implementation.

Features 7 Presents a comprehensive review of key dis-tributed graph algorithms for computer network applications 7 Describes in detail the implemen-tation of each algorithm, and discusses their con-crete network applications 7 Includes practical exercises at the end of each chapter, and a simple simulator developed to run distributed algorithms

Contents Introduction.- Part I: Fundamental Algorithms.- Graphs.- The Computational Model.- Spanning Tree Construction.- Graph Traversals.- Minimal Spanning Trees.- Routing.- Self-Stabilization.- Part II: Graph Theoretical Algorithms.- Vertex Coloring.- Maximal Independent Sets.- Dominat-ing Sets.- Matching.- Vertex Cover.- Part III: Ad Hoc Wireless Networks.- Introduction.- Topol-ogy Control.- Ad Hoc Routing.- Sensor Network Applications.- ASSIST: A Simulator to Develop Distributed Algorithms.- Pseudocode Conven-tions.- ASSIST Code.- Applications Using ASSIST.

Fields of interestAlgorithm Analysis and Problem Complexity; Computer Communication Networks; Math Ap-plications in Computer Science



Due May 2013

2013. XVIII, 330 p. 167 illus. (Computer Communications and Networks) Hardcover7 $79.99ISBN 978-1-4471-5172-2

9<HTMEPH=bfbhcc>

A. Fleischmann, Metasonic AG, Pfaffenhofen, Germany; S. Raß, Graz, Austria; R. Singer, FH Joanneum, Graz, Austria

S-BPM IllustratedA Storybook about Business Process Modeling and Execution

S-BPM stands for “subject-oriented business process management” and focuses on subjects that represent the entities (people, programs etc.) that are actively engaged in processes. S-BPM has be-come one of the most widely discussed approaches for process professionals. Its potential particularly lies in the integration of advanced information technology with organizational and managerial methods to foster and leverage business innova-tion, operational excellence and intra- and inter-organizational collaboration. Thus S-BPM can also be understood as a stakeholder-oriented and social business process management methodology.

Features 7 Offers a step-by-step illustrated introduc-tion to the industry-leading S-BPM meth-odology 7 Combines technological and organizational aspects in a concise modeling framework 7 Written for professionals by profes-sionals, with several years experience in business process modeling 7 A supplemental tool suite can be downloaded free of charge at www.i2pm.net

Contents Introduction.- The Problem - Part I.- The Solu-tion.- Transition.- The Problem - Part II.- The Solution - Part II.- Transition - Part II.- The Problem - Part III.- The Solution - Part III.- Tran-sition - Part III.- The Problem, The Solution and The End - Final Part.- Troubleshooting.

Fields of interestInformation Systems Applications (incl.Internet); Business Information Systems; Computer Appl. in Administrative Data Processing



Due May 2013

2013. XII, 128 p. 210 illus. in color. Hardcover7 $59.95ISBN 978-3-642-36903-2

9<HTOGPC=dgjadc>





108

B. Furht, Florida Atlantic University, Boca Raton, FL, USA

Survey of Augmented RealitySpringerBriefs present concise summaries of cutting-edge research and practical applications across a wide spectrum of fields. Featuring com-pact volumes of 50 to 100 pages (approximately 20,000- 40,000 words), the series covers a range of content from professional to academic. Briefs allow authors to present their ideas and readers to absorb them with minimal time investment. As part of Springer’s eBook collection, SpringBriefs are published to millions of users worldwide. Sur-vey of Augmented Reality provides an overview of the topic of augmented reality (AR), which refers to the merging of a live view of the physical, real world with context-sensitive, computer-generated images to create a mixed reality. This book is intended for those looking for a quick and over-arching understanding of this hot topic. Covering key topics like augmented reality systems, wireless augmented reality, and 3D augmentation, this book discusses the most important aspects of the field. Survey of Augmented Reality is intended for a wide variety of readers including academicians, designers, developers, educators, engineers, practi-tioners, researchers, and graduate students.

Feature 7 None

Fields of interestUser Interfaces and Human Computer Interaction; Computer Imaging, Vision, Pattern Recognition and Graphics



Due May 2013

2013. V, 70 p. 20 illus. (SpringerBriefs in Computer Science) Softcover7 approx. $39.95ISBN 978-1-4614-2043-9

9<HTMERB=ecaedj>

I. Galiana, M. Ferre, Universidad Politécnica de Madrid, Spain (Eds)

Multi-Finger Haptic InteractionMulti-Finger Haptic Interaction presents a pan-orama of technologies and methods for multi-fin-ger haptic interaction, together with an analysis of the benefits and implications of adding multiple-fingers to haptic applications. Research topics covered include: design and control of advanced haptic devices;multi-contact point simulation algorithms;interaction techniques and implica-tions in human perception when interacting with multiple fingers.These multi-disciplinary results are integrated into applications such as medical simulators for training manual skills, simulators for virtual prototyping and precise manipulations in remote environments.

Features 7 With contributions by international experts in the field 7 Includes an introduction and literature review to haptic technologies, render-ing methods and perception topics 7 Analyzes the technological and psychological implications of adding multiple fingers to haptic interac-tion 7 Provides an overview of the most relevant haptic developments from a multi-disciplinary approach

Contents Foreword.- Introduction.- Multi-Finger Grasps in a Dynamic Environment.- 3D Interaction Techniques for Bimanual Haptics in Virtual Envi-ronments.- Modular Multi-Finger Haptic Device: Mechanical Design, Controller and Applications.- HIRO: Multi-Fingered Haptic Interface Robot and Its Medical Application Systems.- Two-Handed Multi-Finger String-Based Haptic Interface SPIDAR-8.

Fields of interestUser Interfaces and Human Computer Interac-tion; Simulation and Modeling; Control, Robotics, Mechatronics



Due June 2013

2013. X, 162 p. 103 illus. (Springer Series on Touch and Haptic Systems) Hardcover7 $109.00ISBN 978-1-4471-5203-3

9<HTMEPH=bfcadd>

A. Gil Solla, University of Vigo, Spain; R. G. Sotelo Bovino, University of Montevideo, Uruguay

TV-AnytimePaving the Way for Personalized TV

Television is a mature mass media with close to eight decades of regular broadcasts since its begin-nings in Germany, the UK and the USA. Today, despite the spectacular growth of the Internet and social networks, television is still the leading medium for entertainment and information across the world, exerting an unparalleled influence on public opinion. Until recently television had undergone a rather slow evolution regarding the interaction with its users, yet this is beginning to change.

Features 7 The first descriptive and structured presenta-tion of the TV-Anytime standard, as developed by companies including Motorola, Microsoft, Nokia, Panasonic, Walt Disney Television, France Telecom, and NTT 7 Includes a wide range of simple examples illustrating many different usage scenarios and describing users, equipment and content 7 Ideally combines industrial develop-ment, research, and academic teaching experience

Contents Introduction.- Architecture and Components.- Content Reference IDentifier (CRID).- Metadata.- Targeting and Advertising.- Packaging.- Metadata Transport in Unidirectional Environments.- Meta-data Provision Services in Bidirectional Environ-ments.- Remote Terminal Programming.- Conclu-sions.

Fields of interestUser Interfaces and Human Computer Interac-tion; Information Storage and Retrieval; Special Purpose and Application-Based Systems



Due May 2013

2013. XII, 188 p. 115 illus., 41 in color. (X.media.publishing) Hardcover7 $79.99ISBN 978-3-642-36765-6

9<HTOGPC=dghgfg>





109

M. Grana, University of the Basque Country, San Sebastian, Spain; C. Toro, Vicomtech-IK4, San Sebastian, Spain; R. J. Howlett, KES International, Shoreham-by-Sea, UK; L. C. Jain, University of South Australia, Mawson Lakes, SA, Australia (Eds)

Knowledge Engineering, Machine Learning and Lattice Computing with Applications16th International Conference, KES 2012, San Sebastian, Spain, September 10-12, 2012, Revised Selected Papers

Contents Investigation of Random Subspace and Random Forest Regression Models Using Data with Inject-ed Noise.- A Genetic Algorithm vs. Local Search Methods for Solving the Orienteering Problem in Large Networks.- Dynamic Structure of Volterra-Wiener Filter for Reference Signal Cancellation in Passive Radar.- A Web Browsing Cognitive Model.- Optimization of Approximate Decision Rules Relative to Number of Misclassifications: Comparison of Greedy and Dynamic Program-ming Approaches.- Set-Based Detection and Isola-tion of Intersampled Delays and Pocket Dropouts in Networked Control.- Analysis and Synthesis of the System for Processing of Sign Language Gestures and Translation of Mimic Subcode in Communication with Deaf People.- Prediction of Software Quality Based on Variables from the Development Process.- Mining High Performance Managers Based on the Results of Psychological Tests.- Semantics Preservation in Schema Map-pings within Data Exchange Systems.- Multi-rela-tional Learning for Recommendation of Matches between Semantic Structures. [...]

Fields of interestArtificial Intelligence (incl. Robotics); Information Systems Applications (incl.Internet); Data Mining and Knowledge Discovery



Available

2013. VIII, 207 p. 68 illus. (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence, Volume 7828) Softcover7 $72.00ISBN 978-3-642-37342-8

9<HTOGPC=dhdeci>

A. Hameurlain, Paul Sabatier University, Toulouse, France; J. Küng, R. Wagner, University of Linz, Austria; A. Cuzzocrea, University of Calabria, Rende, Italy; U. Dayal, Hewlett-Packard Laboratories, Palo Alto, CA, USA (Eds)

Transactions on Large-Scale Data- and Knowledge-Centered Systems VIIISpecial Issue on Advances in Data Warehousing and Knowledge Discovery

The LNCS journal Transactions on Large-Scale Data- and Knowledge-Centered Systems focuses on data management, knowledge discovery, and knowledge processing, which are core and hot topics in computer science. Since the 1990s, the Internet has become the main driving force behind application development in all domains. An increase in the demand for resource sharing across different sites connected through networks has led to an evolution of data- and knowledge-management systems from centralized systems to decentralized systems enabling large-scale distributed applications providing high scalability. Current decentralized systems still focus on data and knowledge as their main resource. Feasibility of these systems relies basically on P2P (peer-to-peer) techniques and the support of agent systems with scaling and decentralized control.

Features 7 Contains the best papers selected from DaWaK 2011 7 Offers an innovative, modern research perspective on data warehousing and knowledge discovery 7 Aims to fulfill innovative require-ments posed by the realization of data warehous-ing and knowledge discovery in emerging fields

Fields of interestData Mining and Knowledge Discovery; Database Management; Computer Appl. in Administrative Data Processing



Due July 2013

2013. Approx. 210 p. (Lecture Notes in Computer Science / Transactions on Large-Scale Data- and Knowledge-Centered Systems, Volume 7790) Softcover7 approx. $89.99ISBN 978-3-642-37573-6

9<HTOGPC=dhfhdg>

Q.-M. He, University of Waterloo, ON, Canada

Fundamentals of Matrix-Analytic MethodsFundamentals of Matrix-Analytic Methods targets advanced-level students in mathematics, engineering and computer science. It focuses on the fundamental parts of Matrix-Analytic Methods, Phase-Type Distributions, Markovian arrival processes and Structured Markov chains and matrix geometric solutions. New materials and techniques are presented for the first time in research and engineering design. This book emphasizes stochastic modeling by offering proba-bilistic interpretation and constructive proofs for Matrix-Analytic Methods. Such an approach is es-pecially useful for engineering analysis and design. Exercises and examples are provided throughout the book.

Features 7 Presents basic techniques in Matrix-Analytic Methods important to stochastic modeling, including conditional probabilities on the phase of Markov chains, the use of nonnegative matrices and M-matrices 7 Provides a detailed analysis of some queuing, inventory, and supply chain mod-els 7 Includes examples and exercises

Contents From Exponential Distribution to Phase-Type Distribution.- From Poisson Process to Markovian Arrival Process.- From Birth-and-Death Process to Structured Markov Chain.- Applications in Queueing Theory.- Applications in Inventory and Supply Chain Management.

Fields of interestMathematics of Computing; Appl.Mathematics/Computational Methods of Engineering; Opera-tions Research, Management Science



Due June 2013

2013. VIII, 410 p. 53 illus., 36 in color. Hardcover7 $79.99ISBN 978-1-4614-7329-9

9<HTMERB=ehdcjj>





110

W. Huang, CSIRO ICT Center, Marsfield, NSW, Australia (Ed)

Handbook of Human Centric VisualizationVisualizations are visual representations of non-visual data. They are produced for people to interact with and to make sense of the underly-ing data. Rapid advances in display technology and computer power have enabled researchers to produce visually appealing pictures. However, the effectiveness of those pictures in convey-ing the embedded information to end users has not been fully explored. Handbook of Human Centric Visualization addresses issues related to design, evaluation and application of visualiza-tions. Topics include visualization theories, design principles, evaluation methods and metrics, hu-man factors, interaction methods and case studies. This cutting-edge book includes contributions from well-established researchers worldwide, from diverse disciplines including psychology, visualiza-tion and human-computer interaction.

Features 7 Provides a comprehensive overview of human centric visualization 7 Presents visualization theories and human-centered design prin-ciples 7 Represents latest developments and current trends in the field with contributions from leading experts and active researchers in a range of disciplines 7 Includes surveys, case studies, evaluation methods and measuring metrics

Contents Visual communication.- Theory and science.- Principles, guidelines and recommendations.- Methods.- Perception and cognition.- Dynamic visualization.- Interaction.

Fields of interestUser Interfaces and Human Computer Interaction; Visualization; Computer Graphics



Due June 2013

2013. XXX, 670 p. 207 illus., 168 in color. Hardcover7 $149.00ISBN 978-1-4614-7484-5

9<HTMERB=eheief>

X. Jiang, Y. Zhou, North Carolina State University, Raleigh, NC, USA

Android MalwareMobile devices, such as smart phones, have achieved computing and networking capabilities comparable to traditional personal computers. Their successful consumerization has also become a source of pain for adopting users and organiza-tions. In particular, the widespread presence of information-stealing applications and other types of mobile malware raises substantial security and privacy concerns. Android Malware presents a systematic view on state-of-the-art mobile malware that targets the popular Android mobile platform. Covering key topics like the Android malware history, malware behavior and classifica-tion, as well as, possible defense techniques.

Contents Introduction.- A Survey of Android Malware.- Case Studies.- Discussion.- Additional Reading.- Summary.

Fields of interestSystems and Data Security; Computer Communi-cation Networks; Data Encryption



Due June 2013

2013. V, 45 p. 10 illus. (SpringerBriefs in Computer Science) Softcover7 $39.99ISBN 978-1-4614-7393-0

9<HTMERB=ehdjda>

S. Kiranyaz, Tampere University of Technology, Finland; T. Ince, Izmir University of Economics, Turkey; M. Gabbouj, Tampere University of Technology, Finland

Multidimensional Particle Swarm Optimization for Machine Learning and Pattern RecognitionFor many engineering problems we require optimization processes with dynamic adaptation as we aim to establish the dimension of the search space where the optimum solution resides and de-velop robust techniques to avoid the local optima usually associated with multimodal problems. This book explores multidimensional particle swarm optimization, a technique developed by the authors that addresses these requirements in a well-defined algorithmic approach.

Features 7 Presents a new optimization tech-nique 7 Characterized by an emphasis on solv-ing real-world problems 7 Supported by source code and datasets

Contents Chap. 1 Introduction.- Chap. 2 Optimization Techniques.- Chap. 3 Particle Swarm Optimiza-tion.- Chap. 4 Multidimensional Particle Swarm Optimization.- Chap. 5 Improving Global Conver-gence.- Chap. 6 Dynamic Data Clustering.- Chap. 7 Evolutionary Artificial Neural Networks.- Chap. 8 Personalized ECG Classification.- Chap. 9 Image Classification Through a Collective Network of Binary Classifiers.- Chap. 10 Evolutionary Feature Synthesis for Image Retrieval.

Fields of interestArtificial Intelligence (incl. Robotics); Computa-tional Intelligence; Electrical Engineering



Due July 2013

2014. XV, 270 p. (Adaptation, Learning, and Optimization, Volume 15) Hardcover7 $129.00ISBN 978-3-642-37845-4

9<HTOGPC=dhiefe>





111

N. Martí-Oliet, M. Palomino, Universidad Complutense de Madrid, Spain (Eds)

Recent Trends in Algebraic Development Techniques21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers

Features 7 High quality selected papers 7 Unique vis-ibility 7 State of the art research

Contents Open Multiparty Interaction.- Behaviour Protection in Modular Rule-Based System Specifications.- Quantitative Modal Transition Systems.- Bounded Model Checking of Recursive Programs with Pointers in K.- A Probabilistic Strategy Language for Probabilistic Rewrite Theories and Its Application to Cloud Comput-ing.- Adaptable Transition Systems.- Compiling Logics.- Transformation Systems with Incremental Negative Application Conditions.- Statistical Mod-el Checking for Composite Actor Systems.- Barbed Semantics for Open Reactive Systems.- Designing Domain Specific Languages – A Craftsman’s Ap-proach for the Railway Domain Using Casl.- Sat-isfiability Calculus: The Semantic Counterpart of a Proof Calculus in General Logics.- Semantics of the Distributed Ontology Language: Institutes and Institutions.- Formal Specification of the Kademlia and the Kad Routing Tables in Maude.- A Generic Program Slicing Technique Based on Language Definitions.- Distances between Processes: A Pure Algebraic Approach.

Fields of interestLogics and Meanings of Programs; Mathemati-cal Logic and Formal Languages; Mathematics of Computing



Due July 2013

2013. X, 283 p. 71 illus. (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues, Volume 7841) Softcover7 $94.00ISBN 978-3-642-37634-4

9<HTOGPC=dhgdee>

F. Moller, Swansea University, UK; G. Struth, University of Sheffield, UK

Modelling Computing SystemsMathematics for Computer Science

This engaging text presents the fundamental mathematics and modelling techniques for com-puting systems in a novel and light-hearted way, which can be easily followed by students at the very beginning of their university education. Key concepts are taught through a large collection of challenging yet fun mathematical games and logi-cal puzzles that require no prior knowledge about computers.

Features 7 Provides an elementary introduction to the mathematics and modelling of computing systems 7 Explores concepts of games and strategies to provide a paradigm for understand-ing the nature of computation 7 Develops a foundation for computational thinking and problem solving 7 Presents the topics in a clear and comprehensive style 7 Introduces bisimula-tion, Hennessy-Milner logic, and the relationship between them, at an introductory level

Contents Introduction.- Part I: Mathematics for Computer Science.- Propositional Logic.- Sets.- Boolean Algebras and Circuits.- Predicate Logic.- Proof Strategies.- Functions.- Relations.- Inductive and Recursive Definitions.- Proofs by Induc-tion.- Games and Strategies.- Part II: Modelling Computing Systems.- Modelling Processes.- Dis-tinguishing Between Processes.- Logical Proper-ties of Processes.- Concurrent Processes.- Tempo-ral Properties.

Fields of interestLogics and Meanings of Programs; Mathematical Logic and Formal Languages; Discrete Mathemat-ics in Computer Science

Target groupsLower undergraduate


Due May 2013

2013. XVI, 500 p. 46 illus. (Undergraduate Topics in Computer Science) Softcover7 $69.99ISBN 978-1-84800-321-7

9<HTMIPI=aadcbh>

P. J. Morales, New York University, New York, NY, USA; D. Anderson, St. Francis College, Brooklyn, NY, USA

Process Simulation and Parametric Modeling for Strategic Project ManagementProcess Simulation and Parametric Modeling for Strategic Project Management will offer CIOs, CTOs and Software Development Managers, IT Graduate Students an introduction to a set of technologies that will help them understand how to better plan software development projects, manage risk and have better insight into the complexities of the software development process. A novel methodology will be introduced that allows a software development manager to better plan and access risks in the early planning of a project. By providing a better model for early software development estimation and software development, managers will be better equipped to make more effective project portfolio investment choices. Moreover, the methodology will allow the software development manager to continually simulate scenarios throughout the lifecycle of the project and determine plausible alternatives before the risk becomes a reality.

Contents Chapter 1: Introduction.- Chapter 2: Optimized Strategic Alignment.- Chapter 3: Improving the process.- Chapter 4: An introduction to quantita-tive process simulation.- Chapter 5: Developing a canonical process model.- Chapter 6: Quantitative Process Simulation.- Chapter 7: Conclusions and Recommendations.

Fields of interestSimulation and Modeling; Project Management; Business Information Systems



Due May 2013

2013. XV, 102 p. 27 illus. (SpringerBriefs in Electrical and Computer Engineering) Softcover7 $39.99ISBN 978-1-4614-6988-9

9<HTMERB=egjiij>





112

J. Münch, University of Helsinki, Finland; K. Schmid, University of Hildesheim, Germany (Eds)

Perspectives on the Future of Software EngineeringEssays in Honor of Dieter Rombach

Contents Preface (Jürgen Münch, Klaus Schmid).- Em-pirical Software Engineering Models: Can They Become the Equivalent of Physical Laws in Tradi-tional Engineering? (H. Dieter Rombach).- Part I. Software Development: Notation, Architecture, and Process.- Domain Modeling and Domain En-gineering – Key Tasks in Requirements Engineer-ing (Manfred Broy).- Towards Agile Verification (Carlo Ghezzi, Amir Molzam Sharifloo, Claudio Menghi).- On Model-based Software Develop-ment (Constance L. Heitmeyer, Sandeep Shukla, Myla M. Archer, Elizabeth I. Leonard).- From Software Systems to Complex Software Ecosys-tems: Model- and Constraint-based Engineering of Ecosystems (Andreas Rausch, Christian Bartelt, Sebastian Herold, Holger Klus, Dirk Niebuhr).- A Safety Roadmap to Cyber-Physical Systems (Mario Trapp, Daniel Schneider, Peter Liggesmeyer).- Modeling Complex Information Systems (Jörg Dörr).- Continuous Process Improvement (Jens Heidrich).- Part II. Empirical Research and Stud-ies.- Paths to Software Engineering Evidence (Ross Jeffery).- An Evidence Profile for Software Engi-neering Research and Practice (Claes Wohlin).- Challenges of Evaluating the Quality of Software Engineering Experiments (Oscar Dieste, Natalia Juristo).- Technical Debt: Showing the Way for Better Transfer of Empirical Results (Forrest Shull, Davide Falessi, Carolyn Seaman, Madeline Diep, Lucas Layman). [...]

Fields of interestSoftware Engineering; Management of Computing and Information Systems



Due May 2013

2013. X, 340 p. 60 illus., 35 in color. Hardcover7 $129.00ISBN 978-3-642-37394-7

9<HTOGPC=dhdjeh>

Z. Pan, Hangzhou Normal University, China; A. D. Cheok, Keio University, Kanagawa, Japan; W. Mueller, University of Education, Weingarten, Germany; F. Liarokapis, Coventry University, UK (Eds)

Transactions on Edutainment IXContents The Periodic Table of Elements via an XNA-Powered Serious Game.- Digital Storytelling within Virtual Environments: “The Battle of Thermopylae”.- Games on Prescription! Evalua-tion of the Elinor Console for Home-Based Stroke Rehabilitation.- An Analysis of the Potential to Utilize Virtual Worlds to Enhance Edutain-ment and Improve the Wellbeing of the Ageing Population.- Course Lectures as Problem-Based Learning Interventions in Virtual Worlds.- Virtual Customers in a Multiagent Training Applica-tion.- Game Based Early Programming Education: The More You Play, the More You Learn.- Story Guided Virtual Environments in Educational Ap-plications.- Rendering Technology of 3D Digital Chinese Ink-Wash Landscape Paintings Based on Maya.- Effects of RPG on Middle School Players’ Intrapersonal Intelligence.- Implementation of Lushan Virtual Digital Plant Museum.- Pedestrian Detection Based on Kernel Discriminative Sparse Representation.- The Design and Implementa-tion of Computer-Aided Chinese Medicated Diet System.- Music-Driven Emotion Model Applied in Digitalized Dance Performance of Sacrificial Ceremony for Confucius.- Real-Time Rendering Framework in the Virtual Home Design System.- Multiple-Cue-Based Visual Object Contour Track-ing with Incremental Learning.- Building Virtual Entertainment Environment with Tiled Display Wall and Motion Tracking. [...]

Fields of interestPersonal Computing; Computers and Society; Computers and Education



Available

2013. XII, 297 p. 142 illus. (Lecture Notes in Computer Science / Transactions on Edutainment, Volume 7544) Softcover7 $113.00ISBN 978-3-642-37041-0

9<HTOGPC=dhaeba>

T. Perroud, R. Inversini, Federal Office of Information Technology, Systems and Telecommunication, Berne, Switzerland

Enterprise Architecture PatternsPractical Solutions for Recurring IT-Architecture Problems

Every enterprise architect faces similar problems when designing and governing the enterprise ar-chitecture of a medium to large enterprise. Design patterns are a well-established concept in software engineering, used to define universally applicable solution schemes. By applying this approach to enterprise architectures, recurring problems in the design and implementation of enterprise architectures can be solved over all layers, from the business layer to the application and data layer down to the technology layer.

Features 7 Transfers the well-known concept of software patterns to enterprise architectures and enterprise modelling 7 Offers 13 ready-to-use patterns and illustrates their use within a sample organiza-tion 7 Provides a framework and guidelines for the creation of new patterns 7 Authors have several years of industrial and governmental ex-perience in managing and supervising enterprise architecture projects

Contents Introduction.- Theory.- The Catalogue and the Map.- More About EAP.- Using Patterns.- Symbols and Their Meanings.- Business Patterns.- Support Patterns.- Infrastructure Patterns.- Appendices.

Fields of interestComputer Appl. in Administrative Data Process-ing; Business Information Systems; Software Engineering



Due June 2013

2013. IX, 338 p. 153 illus. Hardcover7 approx. $69.99ISBN 978-3-642-37560-6

9<HTOGPC=dhfgag>





113

K. Pimple, Indiana University Bloomington, IN, USA (Ed)

Emerging Pervasive Information and Communication Technologies (PICT)Ethical Challenges, Opportunities and Safeguards

Features 7 Mixed format focusing on technologies/appli-cations, ethical issues and case studies 7 Cross-disciplinary appeal for ethicists, technicians and generalists 7 Appeal to a broad readership in-cluding technicians, ethicists, geographers, social scientists, etc. 7 Contributors drawn from broad disciplinary perspectives

Contents Contributors.- List of Abbreviations.- Acknowl-edgments; Kenneth D. Pimple.- 1. Introduction; Kenneth D. Pimple.- 2. Three Case Studies; Donald R. Searing and Elizabeth A.M. Sear-ing.- 3. Health information in the background; Lisa M. Lee.- 4. Surveillance in the Big Data Era; Mark Andrejevic.- 5. We know where you are. And we’re more and more sure what that means; Francis Harvey.- 6. Preserving live, destroying privacy; Cynthia M. Jones.- 7. When cutting edge technology meets clinical practice; Katherine D. Seelman, Linda M. Hartman, and Daihua Yu.- 8 Ethics and pervasive augmented reality; Bo Brink-man.- 9. This is an intervention; Katie Shilton.- 10. Applying “Moral Responsibility for Computing Artifacts” to PICT; Keith W. Miller.- 11. Principles for the ethical guidance of PICT; Kenneth D. Pimple.- Glossary.- Index.

Fields of interestComputers and Society; Ethics; Public Interna-tional Law



Due June 2013

2013. X, 219 p. 10 illus., 2 in color. (Law, Governance and Technology Series, Volume 11) Hardcover7 $109.00ISBN 978-94-007-6832-1

9<HTUELA=hgidcb>

R. E. Pino, ICF International, Fairfax, VA, USA (Ed)

Network Science and CybersecurityNetwork Science and Cybersecurity introduces new research and development efforts for cyber-security solutions and applications taking place within various U.S. Government Departments of Defense, industry and academic laboratories.

Features 7 Introduces new research and development efforts for cybersecurity solutions and applica-tions 7 Presents Memristor-based technologies for cybersecurity 7 Covers anomaly detection and algorithms for network security

Contents Towards Fundamental Science of Cyber Secu-rity.- Bridging the Semantic Gap: Human Factors in Anomaly-based Intrusion Detection Systems.- Recognizing Unexplained Behavior in Network Traffic.- Applying Cognitive Memory to CyberSe-curity.- Understanding Cyber Warfare.- Design of Neuromorphic Architectures with Memristors.- Nanoelectronics and Hardware Security.- User Classification and Authentication for MOBILE Device Based on Gesture Recognition.- Hardware-based Computational Intelligence for Size, Weight, and Power Con-strained Environments.- Machine Learning Applied to Cyber Operations.- Detecting Kernel Control-flow Modifying Rootkits.- For-mation of Artificial and Natural Intelligence in Big Data Environment.- Alert Data Aggregation and Transmission Prioritization over Mobile Networks.- Semantic Features from Web-traffic Streams.- Concurrent Learning Algorithm (CLA) and the Importance Map (IMAP).- Hardware Ac-celerated Mining of Domain Knowledge.- Mem-ristors and the Future of Cyber Security Hardware.

Fields of interestSystems and Data Security; Computer Communi-cation Networks; Data Encryption



Due June 2013

2013. X, 270 p. 110 illus. (Advances in Information Security, Volume 55) Hardcover7 $109.00ISBN 978-1-4614-7596-5

9<HTMERB=ehfjgf>

I. Reinhartz-Berger, University of Haifa, Israel; A. Sturm, Ben Gurion University of the Negev, Beer Sheva, Israel; T. Clark, Middlesex University, London, UK; S. Cohen, Software Engineering Institute, Pittsburgh, PA, USA; J. Bettin, Sofismo AG, Lenzburg, Switzerland (Eds)

Domain EngineeringProduct Lines, Languages, and Conceptual Models

Contents Separating Concerns in Feature Models: Retro-spective and Support for Multi-Views.- A Survey of Feature Location Techniques.- Modeling real-time design patterns with the UML-RTDP profile.- When Aspect-Orientation meets Software Product Line Engineering.- Utilizing Application Frameworks: a Domain Engineering Approach.- Domain-Specific Modeling Languages – Require-ments Analysis and Design Guidelines.- Domain specific languages and standardization: Friends or foes?.- Domain Engineering for Software Tools.- Modeling a Model Transformation Language.- A Reconciliation Framework to Support Coopera-tive Work with DSM.- Model Oriented Domain Analysis & Engineering.- Multi-Level Meta-modeling to Underpin the Abstract and Concrete Syntax for Domain Specific Modelling Languages.- Ontology-Based Evaluation and Design of Visual Conceptual Modeling Languages.- Automating the Interoperability of Conceptual Models in Specific Development Domains.- Domain & Model Driven Geographic Database Design.

Fields of interestSoftware Engineering; Information Systems Appli-cations (incl.Internet); Simulation and Modeling



Due May 2013


9<HTOGPC=dggfdg>





114

L. Richter, University of Lübeck, Germany

Robotized Transcranial Magnetic StimulationRobotized Transcranial Magnetic Stimulation describes the methods needed to develop a robotic system that is clinically applicable for the applica-tion of transcranial magnetic stimulation (TMS). Chapter 1 introduces the basic principles of TMS and discusses current developments towards ro-botized TMS. Part I (Chapters 2 and 3) systemati-cally analyzes and clinically evaluates robotized TMS. More specifically, it presents the impact of head motion on the induced electric field.

Features 7 Presents new, cutting-edge algorithms for robot/camera calibration, sensor fusion and sen-sor calibration 7 Explores the main challenges for accurate coil positioning, such as head motion, and outlines how active robotic motion compensa-tion can outperform hand-held solutions 7 Ana-lyzes how a robotized system in medicine can alleviate concerns with a patient’s safety, and presents a novel fault-tolerant algorithm (FTA) sensor for system safety

Contents Introduction.- Part I: Systematic analysis and evaluation of robotized TMS in practice.- The importance of robotized TMS: Stability of induced electric.- Evaluation of robotized TMS: the current system in practice.- Part II: Safe and clinically ap-plicable robotized TMS.- Robust real-time robot/camera calibration.- FT-control.- FTA-Sensor: Combination of force/torque and acceleration.- Optimized FT-control with FTA sensor.- Direct head tracking.- Part III: Discussion and closing remarks.- Discussion.- Closing remarks.

Fields of interestArtificial Intelligence (incl. Robotics); Robotics and Automation; Neurosciences



Due May 2013

2013. XII, 183 p. 78 illus. Hardcover7 $109.00ISBN 978-1-4614-7359-6

9<HTMERB=ehdfjg>

A. Romanovsky, School of Computing Science, Newcastle, UK; M. Thomas, Martyn Thomas Assoc. Ltd., Bath, UK (Eds)

Industrial Deployment of System Engineering MethodsA formal method is not the main engine of a de-velopment process, its contribution is to improve system dependability by motivating formalisation where useful.

Features 7 Summarizes results of DEPLOY research project on engineering methods for dependable systems 7 Frank assessment of related manage-rial and organisational challenges 7 Of value to researchers, systems and software engineers, industrial managers, policymakers, and regulators

Contents Introduction.- DEPLOY Integrated Project.- Ex-perience of Deployment in the Automotive In-dustry.- Improving Railway Data Validation with ProB.- Deployment in the Space Sector.- Business Information Sector.- Formal Methods as an Im-provement Tool.- Critical Software Technologies Experience with Formal Methods.- Experiences Developing Event-B in an Industrial Micropro-cessor Development.- Industrial Deployment of Formal Methods: Trends and Challenges.- Intro-ducing Formal Methods into Existing Industrial Practices Tooling.- Technology Transfer.- After and Outside DEPLOY: the DEPLOY Ecosystems.- Industrial Software Engineering and Formal Methods.- App. A An Introduction to the Event-B Modelling Method.- App. B Evidence-Based As-sistance for the Adoption of Formal Methods in Industry.

Fields of interestSoftware Engineering/Programming and Operat-ing Systems; Mathematical Logic and Formal Languages; Industrial and Production Engineering



Due July 2013

2013. XII, 266 p. Hardcover7 approx. $109.00ISBN 978-3-642-33169-5

9<HTOGPC=ddbgjf>

M. Rostami, Singapore University of Technology, Singapore

Compressed Sensing with Side Information on the Feasible RegionThis book discusses compressive sensing in the presence of side information. Compressive sensing is an emerging technique for efficiently acquiring and reconstructing a signal. Interesting instances of Compressive Sensing (CS) can occur when, apart from sparsity, side information is available about the source signals. The side information can be about the source structure, distribution, etc. Such cases can be viewed as extensions of the classical CS. In these cases we are interested in incorporating the side information to either improve the quality of the source reconstruction or decrease the number of samples required for accurate reconstruction. In this book we assume availability of side information about the feasible region. The main applications investigated are image deblurring for optical imaging, 3D surface reconstruction, and reconstructing spatiotempo-rally correlated sources. The author shows that the side information can be used to improve the qual-ity of the reconstruction compared to the classic compressive sensing. The book will be of interest to all researchers working on compressive sensing, inverse problems, and image processing.

Contents Introduction.- Compressed Sensing.- Compressed Sensing with Side Information on Feasible Re-gion.- Application: Image Deblurring for Optical Imaging.- Application: Surface Reconstruction in Gradient Field.- Conclusions and Future Work.

Fields of interestComputer Imaging, Vision, Pattern Recognition and Graphics; Signal,Image and Speech Process-ing; Statistical Physics, Dynamical Systems and Complexity



Due May 2013

2013. XII, 82 p. 20 illus. (SpringerBriefs in Electrical and Computer Engineering) Softcover7 $39.99ISBN 978-3-319-00365-8

9<HTODMJ=aadgfi>





115

C. Schlee

A Use Case Driven Analysis of Targeted Advertising Technologies in the ICT Space This thesis deals with targeted advertising technologies in the ICT space as well as their strategic business implications, and provides a broad overview of market trends. The concept of targeted advertising includes the compilation of detailed information about consumers and their preferences in using the Internet or consuming other media for the purpose of providing them with individualized advertisements. The goal of the thesis is to perform a comprehensive but also practice-oriented analysis, therefore following a use-case driven approach. Based on information derived from expert interviews and literature research, the most interesting use cases in the Web, IPTV, in the mobile environment, and in converged scenarios are identified and described from a user perspective. Crucial points emerg-ing from these descriptions are further deepened in a technological analysis resulting in elaborate models depicting underlying technology units and their interworking. This allows identifying technological opportunities and challenges of the respective scenarios. Resulting from these analyses important technological key building blocks are identified and examined more closely.

Contents Foundations of Targeted Advertising.- Use Case Identification and Description.- Technological Use Case Analysis.- Analysis of Key Building Blocks in Targeted Advertising Technologies.- Business and Legal Aspects of Targeted Advertising.

Field of intereste-Commerce/e-business



Due May 2013

2013. Approx. 250 p. 80 illus. Softcover7 approx. $99.00ISBN 978-3-8348-2395-3

9<HTOIOE=icdjfd>

S. Sharoff, University of Leeds, United Kingdom; R. Rapp, University of Mainz, Germany; P. Zweigenbaum, LIMSI-CNRS, Paris, France; P. Fung, The Hong Kong University of Science (Eds)

BUCC: Building and Using Comparable CorporaThe 1990s saw a paradigm change in the use of corpus-driven methods in NLP. In the field of multilingual NLP (such as machine translation and terminology mining) this implied the use of parallel corpora. However, parallel resources are relatively scarce: many more texts are produced daily by native speakers of any given language than translated. This situation resulted in a natural drive towards the use of comparable corpora, i.e. non-parallel texts in the same domain or genre. Nevertheless, this research direction has not produced a single authoritative source suitable for researchers and students coming to the field. The proposed volume provides a reference source, identifying the state of the art in the field as well as future trends. The book is intended for special-ists and students in natural language process-ing, machine translation and computer-assisted translation.

Features 7 A reference source for researchers and stu-dents coming to the field of comparable cor-pora 7 Identifies the state of the art in the field as well as future trends 7 Written by experts in the fiels

Fields of interestLanguage Translation and Linguistics; Computa-tional Linguistics; Information Systems Applica-tions (incl.Internet)



Due May 2013

2013. Approx. 350 p. 40 illus. Hardcover7 approx. $149.00ISBN 978-3-642-20127-1

9<HTOGPC=cabchb>

H. Tiirmaa-Klaar, Estonian Ministry of Defence, Tallinn, Estonia; J. Gassen, E. Gerhards-Padilla, P. Martini, Fraunhofer FKIE, Bonn, Germany

BotnetsMalware poses one of the major threats to all currently operated computer systems. The scale of the problem becomes obvious by looking at the global economic loss caused by different kinds of malware, which is estimated to be more than US$ 10 billion every year. Botnets, a special kind of malware, are used to reap economic gains by criminals as well as for politically motivated activi-ties. In contrast to other kinds of malware, botnets utilize a hidden communication channel to receive commands from their operator and communicate their current status. The ability to execute almost arbitrary commands on the infected machines makes botnets a general-purpose tool to perform malicious cyber-activities. Botnets provides a comprehensive analysis of the topic, and com-prises both technical and non-technical sections written by leading cybersecurity experts. The non-technical section addresses how botnet infrastruc-ture could be exploited for national security and cybercrime purposes. It approaches the subject as a public policy issue and analyzes the phe-nomenon of botnets from national security, law enforcement and regulatory policy perspectives, and makes recommendations for policy-makers on different public policies, highlighting the need for international response mechanisms.

Contents Foreword.- Botnets, Cybercrime and National Security.- Botnets: How to Fight the Ever-growing Threat on a Technical Level.

Fields of interestSystems and Data Security; Computer Systems Organization and Communication Networks; Computer Communication Networks



Due July 2013

2014. VIII, 92 p. 10 illus. (SpringerBriefs in Cybersecurity) Softcover7 $39.99ISBN 978-1-4471-5215-6

9<HTMEPH=bfcbfg>





116

R. Trappl, Austrian Research Institute for AI, Vienna, Austria (Ed)

Your Virtual ButlerThe Making-of

In most scenarios of the future a personalized virtual butler appears.

Features 7 Explores the making of your virtual, person-alized artificial butler 7 Outlines necessary improvements of the state-of-the-art to develop the virtual butler into a welcome aid to a human being 7 Takes into account psychological and social considerations, experiences with/prereq-uisites for virtual or robotic companions, and further developments

Contents From Jeeves to Jeannie to Siri, and Then?.- Part I: Psychological and Social Considerations.- Would a Virtual Butler Do a Good Job for Old People? Psychological Considerations about Benefits and Risks of Technological Assistance.- Framing the Invisible – The Social Background of Trust.- Part II: Experiences with/Prerequisites for Virtual or Robotic Companions.- Virtual Butler: What Can We Learn from Adaptive User Interfaces?.- To-wards Affect Sensitive and Socially Perceptive Companions.- Before We Get There, Where Are We Going?.- Virtual Helper or Virtual Card Player? Contrasting Responses of Older Users.- Scenarios for Companions.- Care-O-bot R3 – Vi-sion of a Robot Butler.- Part III: Further Devel-opments.- Spoken Language Processing: Where Do We Go from Here?.- Virtual Butlers and Real People: Styles and Practices in Long-Term Use of a Companion.- What Issue Should Your Virtual Butler Solve Next?.

Fields of interestArtificial Intelligence (incl. Robotics); User Inter-faces and Human Computer Interaction; Comput-ers and Society



Available

2013. XVI, 187 p. 42 illus. (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence, Volume 7407) Softcover7 $72.00ISBN 978-3-642-37345-9

9<HTOGPC=dhdefj>

S. Tsutsui, Hannan University, Osaka, Japan; P. Collet, Université de Strasbourg, Illkirch, France (Eds)

Massively Parallel Evolutionary Computation on GPGPUsContents Chap. 1 Why GPGPUs for Evolutionary Computa-tion?.- Chap. 2 Understanding NVIDIA GPGPU Hardware.- Chap. 3 Automatic Parallelization of EC on GPGPUs and Clusters of GPGPU Machines with EASEA and EASEA-CLOUD.- Chap. 4 Generic Local Search (Memetic) Algorithm on a Single GPGPU Chip.- Chap. 5 arGA: Adaptive Resolution Micro-genetic Algorithm with Tabu Search to Solve MINLP Problems Using GPU.- Chap. 6 An Analytical Study of GPU Computation by Parallel GA with Independent Runs.- Chap. 7 Many-Threaded Differential Evolution on the GPU.- Chap. 8 Scheduling Using Multiple Swarm Particle Optimization with Memetic Features on Graphics Processing Units.- Chap. 9 ACO with Tabu Search on GPUs for Fast Solution of the QAP.- Chap. 10 New Ideas in Parallel Metaheuris-tics on GPU: Systolic Genetic Search.- Chap. 11 Genetic Programming on GPGPU Cards Using EASEA.- Chap. 12 Cartesian Genetic Program-ming on the GPU.- Chap. 13 Implementation Techniques for Massively Parallel Multi-objective Optimization.- Chap. 14 Data Mining Using Parallel Multi-objective Evolutionary Algorithms on Graphics Processing Units.- Chap. 15 Large-Scale Bioinformatics Data Mining with Parallel Genetic Programming on Graphics Processing Units.- Chap. 16 GPU-Accelerated High-Accuracy Molecular Docking Using Guided Differential Evolution.- Chap. 17 Using Large-Scale Parallel Systems for Complex Crystallographic Problems in Materials Science.- Chap. 18 Artificial Chemis-tries on GPU.- Chap. [...]

Fields of interestArtificial Intelligence (incl. Robotics); Computa-tional Intelligence; Theory of Computation



Due July 2013

2013. X, 420 p. (Natural Computing Series) Hardcover7 $129.00ISBN 978-3-642-37958-1

9<HTOGPC=dhjfib>

Á. Vathy-Fogarassy, J. Abonyi, University of Pannonia, Veszprém, Hungary

Graph-Based Clustering and Data Visualization AlgorithmsThis work presents a data visualization technique that combines graph-based topology representa-tion and dimensionality reduction methods to visualize the intrinsic data structure in a low-dimensional vector space. The application of graphs in clustering and visualization has several advantages. A graph of important edges (where edges characterize relations and weights repre-sent similarities or distances) provides a compact representation of the entire complex data set. This text describes clustering and visualization meth-ods that are able to utilize information hidden in these graphs, based on the synergistic combina-tion of clustering, graph-theory, neural networks, data visualization, dimensionality reduction, fuzzy methods, and topology learning.

Features 7 Examines vector quantization methods, and discusses the advantages and disadvantages of minimal spanning tree-based clustering 7 Pres-ents a novel similarity measure to improve the classical Jarvis-Patrick clustering algo-rithm 7 Reviews distance-, neighborhood- and topology-based dimensionality reduction meth-ods, and introduces new graph-based visualization algorithms

Contents Vector Quantisation and Topology-Based Graph Representation.- Graph-Based Clustering Algo-rithms.- Graph-Based Visualisation of High-Dimensional Data.

Fields of interestData Mining and Knowledge Discovery; Visual-ization



Due May 2013

2013. X, 113 p. 62 illus. (SpringerBriefs in Computer Science) Softcover7 $39.99ISBN 978-1-4471-5157-9

9<HTMEPH=bfbfhj>





117

A. Voronkov, University of Manchester, UK; C. Weidenbach, Max-Planck-Institut für Informatik, Saarbrucken, Germany (Eds)

Programming LogicsEssays in Memory of Harald Ganzinger

Features 7 Published in memory of Harald Ganzing-er 7 Up-to-date results in programming log-ics 7 Contains papers covering all fields Harald Ganzinger worked on during his career

Contents Harald Ganzinger’s Legacy: Contributions to Logics and Programming.- Bio-Logics: Logical Analysis of Bioregulatory Networks.- Canonical Ground Horn Theories.- Generic Functional Rep-resentation of Sorted Trees Supporting Attribu-tion (Haskell Can Do It).- The Blossom of Finite Semantic Trees.- Functional Logic Programming: From Theory to Curry.- From Search to Compu-tation: Redundancy Criteria and Simplification at Work.- Elimination Techniques for Program Analysis.- Narrowing Based Inductive Proof Search.- Inst-Gen – A Modular Approach to Instantiation-Based Automated Reasoning.- Com-mon Knowledge Logic in a Higher Order Proof Assistant.- Constructing Bachmair-Ganzinger Models.- Planning with Effectively Propositional Logic.- The Relative Power of Semantics and Unification.- First-Order Resolution Methods for Modal Logics.- On Combinations of Local Theory Extensions.- Interprocedural Shape Analysis for Effectively Cutpoint-Free Programs.

Fields of interestMathematical Logic and Formal Languages; Arti-ficial Intelligence (incl. Robotics); Programming Techniques



Available

2013. VIII, 447 p. 69 illus. (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues, Volume 7797) Softcover7 $95.00ISBN 978-3-642-37650-4

9<HTOGPC=dhgfae>

W. Wahlster, DFKI, Saarbrücken, Germany (Ed)

SemProMFoundations of Semantic Product Memories for the Internet of Things

Contents Part I Introduction.- The Semantic Product Memory: An Interactive Black Box for Smart Objects.- SemProM - Dissemination and Impact.- Towards an Integrated Framework for Semantic Product Memories.- Part II Platforms for Building a Digital Product Memory.- Hardware Require-ments for Digital Product Memories.- The Smart SemProM.- A Robotic Platform for Building and Exploiting Digital Product Memories.- Captur-ing Sensor Data in the SemProM Automotive Scenario.- Part III Modeling and Processing Digital Product Memories.- The SemProM Data Format.- DPM Mapper – A Concept to Bridge the Gap Between XML-Based Digital Product Memories and Their Binary Representation.- A Digital Product Memory Architecture for Cars.- The Object Memory Server for Semantic Product Memories.- The Block Interface: Accessing Digital Product Memories.- Distributed Digital Product Memories.- Part IV Multimodal Interaction with the Digital Product Memory.- Supporting Interac-tion with Digital Product Memories.- Control-ling Interaction with Digital Product Memo-ries.- Interaction Modalities for Digital Product Memories.- Part V Applications of Digital Product Memories.- Applying Digital Product Memories in Industrial Production.- Using Basic RFID-Based Digital Product Memories for Protection Against Counterfeit Goods in Manufacturing Plants.- A SemProM Use Case: Tracking & Tracing for Green Logistics and Integrity Control. [...]

Fields of interestArtificial Intelligence (incl. Robotics); Industrial and Production Engineering; Production/Logis-tics/Supply Chain Management



Available

2013. XV, 400 p. 166 illus., 146 in color. (Cognitive Technologies) Hardcover7 $129.00ISBN 978-3-642-37376-3

9<HTOGPC=dhdhgd>

D. Wang, M. Yu, C. B. Low, Nanyang Technological University, Singapore; S. Arogeti, Ben-Gurion University of the Negev, Beer Sheva, Israel

Model-based Health Monitoring of Hybrid SystemsThis book systematically presents a comprehensive framework and effective techniques for in-depth analysis, clear design procedure, and efficient implementation of diagnosis and prognosis algo-rithms for hybrid systems. It offers an overview of the fundamentals of diagnosis\prognosis and hybrid bond graph modeling. This book also de-scribes hybrid bond graph-based quantitative fault detection, isolation and estimation. Moreover, it also presents strategies to track the system mode and predict the remaining useful life under mul-tiple fault condition.

Features 7 Offers in-depth comprehensive study on health monitoring for hybrid systems 7 Includes new concepts, such as GARR, mode tracking and multiple failure prognosis 7 Contains many examples, making the developed techniques easily understandable and accessible 7 Introduces state-of-the-art algorithms and methodologies from experienced researchers

Contents Health Monitoring of Engineering Systems.- Hy-brid Systems and Hybrid Bond Graph Models.- Quantitative Hybrid Bond Graph-based Fault Detection and Isolation.- Fault Identification Techniques.- Mode Tracking Techniques.- Ap-plication of Real Time FDI and Fault Estimation to a Vehicle Steering System.- Multiple Failure Prognosis for Hybrid Systems.

Fields of interestSystem Performance and Evaluation; Control; Complexity



Due May 2013


9<HTMERB=ehdgii>





118

P. Yue, Wuhan University, P.R. China

Semantic Web-based Intelligent Geospatial Web ServicesBy introducing Semantic Web technologies into geospatial Web services, this book addresses the semantic description of geospatial data and standards-based Web services, discovery of geospatial data and services, and generation of composite services. Semantic descriptions for geo-spatial data, services, and geoprocessing service chains are structured, organized, and registered in geospatial catalogue services. The ontology-based approach helps to improve the recall and precision of data and services discovery. Semantics-enabled metadata tracking and satisfaction allows analysts to focus on the generation of a geospatial process model rather than spending large amounts of time in data preparation. “DataType”-driven service composition and path planning can help to auto-mate a range of knowledge discovery processes in a limited geospatial domain. Process planning facilitates the construction of complex services and models for geocomputation. A three-phase procedure to cover the lifecycle of service chaining and to identify the roles of the methods involved is proposed. It includes process modeling, process model instantiation, and workflow execution. The approach is implemented in a prototype system with use cases to demonstrate applicability.

Contents Introduction.- Geospatial Web Service.- Geospa-tial Semantic Web.- Automatic Service Com-position.- Semantics for Geospatial Data and Services.- Semantics-enabled Geospatial Data and Services Discovery.- Automatic Composition of Geospatial Web Service.- Prototype Implementa-tion and Result Analysis.- Conclusions.

Fields of interestInformation Systems and Communication Service; Geographical Information Systems/Cartography; Artificial Intelligence (incl. Robotics)



Due May 2013

2013. XIII, 111 p. 42 illus. (SpringerBriefs in Computer Science) Softcover7 $39.99ISBN 978-1-4614-6808-0

9<HTMERB=egiaia>

D. Zhang, The Hong Kong Polytechnic University, Hung Hom, Hong Kong; G. Lu, Harbin Institute of Technology, Shenzhen, China

3D BiometricsSystems and Applications

Automatic personal authentication using bio-metric information is becoming more essential in applications of public security, access control, forensics, banking, etc. Many kinds of biometric authentication techniques have been developed based on different biometric characteristics.

Features 7 Includes discussions on popular 3D imag-ing technologies, combines them with biometric applications, and then presents real 3D biomet-ric systems 7 Introduces many efficient 3D feature extraction, matching, and fusion algo-rithms 7 Techniques presented have been sup-ported by experimental results using various 3D biometric classifications

Contents Overview.- 3D Biometrics Technologies and Systems.- 3D Ear Acquisition System.- Two Sig-nificant Characteristics in 3D Ear.- 3D Ear Feature Extraction and Recognition.- 3D Palmprint Cap-turing System.- 3D Information in Palmprint.- 3D Palmprint Classification by Global Features.- Joint Line and Orientation Features in 3D Palmprint.- 3D Fingerprint Acquisition Device.- 3D Finger-print Reconstruction.- 3D Fingerprint Identi-fication System.- The Principle of 3D Camera Imaging.- 3D Face Verification System.- Book Review and Future Work.

Fields of interestBiometrics; Signal,Image and Speech Processing; Computer Imaging, Vision, Pattern Recognition and Graphics



Due May 2013


9<HTMERB=ehdjjc>



Documents

Unsupervised Process Monitoring and Fault Diagnosis Visual ......An Engineering View of Harmony Database of Piano Chords: An Engineering View of Harmony includes a unique database