cyber-physical systems mathematical logic for ... › sgw › documents › 1328847 › ... · into...

News 5/2012 Computer Science

43

acatech, acatech - Deutsche Akademie der Technikwissenschaften, München, Germany (Ed)

Cyber-Physical SystemsDriving force for innovations in mobility, health, energy and production

Today, about 98 percent of microprocessors are al-ready embedded in everyday objects and devices, connected with the outside world through sensors and actuators. They are increasingly networked with one another and on the internet. The physical world and the virtual world - or cyberspace - are merging; cyber-physical systems are developing.Future cyber-physical systems will contribute to security, efficiency, comfort and the health systems as never before, and as a result, they will contribu-te to solving key challenges of our society, such as the aging population, limited resources, mobility, or energy transition. Germany is in the position to become a leader in international competition thanks to innovative cyber-physical systems.

Features 7 Basis for advisory activity for federal govern-ment 7 Current state of research 7 Computer science future

Contents Summary.- Project.- Caber-Physical Systems - Changing Economy and Society.- Cyper-Physical Systems - Merging the Physical and Virtual Worlds.- Future Potential of Caber-Physical Systems - 2025.- Challenges for Germany arising from Cyber-Physical Systems.- Theses on the Development of Cyber-Physical Systems in Ger-many.- Recommendations for Action.- Appendix.- Literature.

Fields of interestsComputer Science, general; Engineering, general; Economics/Management Science, general

Target groupsPopular/general

Product categoryMonograph

Available

2012. Approx. 50 p. 6 illus. in color. (acatech POSITION) Softcover7 * € (D) 21,35 | € (A) 21,95 | sFr 27,007 € 19,95 | £17.99ISBN 978-3-642-29089-3

9<HTOGPC=cjaijd>

U. Bäumer, Osborne Clarke, Cologne, Germany; P. Kreutter, WHU - Otto Beisheim School of Management, Vallendar, Germany; W. Messner, GloBus Research Ltd., London, UK (Eds)

Globalization of Professional ServicesInnovative Strategies, Successful Processes, Inspired Talent Management, and First-Hand Experiences

Contents Responding Strategically to Fundamental Changes in Professional Services: Aim and Scope of the Book.- Part I: Winning Strategies and Innovative Ideas.- Consolidation Patterns in the IT Outsour-cing Market – Past, Present, and Future.- Market Entry and Expansion Strategies of Indian IT Firms into the European IT Oursourcing Industry.- Global Sourcing – Shifting the Focus from Cost Saving to a Strategic Setup.- Strategically Organi-zing for Innovation in Global Sourcing.- Making Business Smart: How to Position for Business as a Service.- Taking an Active M&A Role in the Consolidation of the Engineering Sector.- Part II: Successful Processes for Realisation.- Balancing Industrialisation and Business Complexities.- In-dustrialization Lessons for the European Banking IT.- Lean Management and Operations in the Glo-bal Professional Services Industry.- Transforming into a Networked Organization to Empower a Distributed Workforce.- Legal Frameworks for IT Outsourcing and Global Sourcing: A Comparative Approach from the Indian, Anglo/American and German Legal Perspective.- Service Analytics – Leveraging Data across Enterprise Boundaries for Competitive Advantage.- Customer’s Power and its Implications for Business and IT Integration.- Part III: Inspired Talent Management. [...]

Fields of interestsThe Computer Industry; Project Management; Emerging Markets/Globalization

Target groupsProfessional/practitioner

Product categoryHandbook

Due June 2012

2012. XX, 230 p. 46 illus., 12 in color. Hardcover7 * € (D) 48,10 | € (A) 49,45 | sFr 60,007 € 44,95 | £40.99ISBN 978-3-642-29180-7

9<HTOGPC=cjbiah>

M. Ben-Ari, Weizmann Institute of Science, Rehovot, Israel

Mathematical Logic for Computer ScienceMathematical Logic for Computer Science is a ma-thematics textbook with theorems and proofs, but the choice of topics has been guided by the needs of students of computer science. The method of semantic tableaux provides an elegant way to teach logic that is both theoretically sound and easy to understand.

Features 7 Semantic tableaux are used because they are theoretically sound and 7 easy to under-stand 7 The Third Edition has new chapters on SAT solvers and model checking 7 Supplemen-tary materials: Prolog source code for the algo-rithms 7 and answers to the exercises (available to qualified instructors)

Contents Preface.- Introduction.- Propositional Logic: Formulas, Models, Tableaux.- Propositional Logic: Deductive Systems.- Propositional Logic: Resolution.- Propositional Logic: Binary Decision Diagrams.- Propositional Logic: SAT Solvers.- First-Order Logic: Formulas, Models, Tableaux.- First-Order Logic: Deductive Systems.- First-Or-der Logic: Terms and Normal Forms.- First-Order Logic: Resolution.- First-Order Logic: Logic Programming.- First-Order Logic: Undecidability and Model Theory.- Temporal Logic: Formulas, Models, Tableaux.- Temporal Logic: A Deductive System.- Verification of Sequential Programs.- Ve-rification of Concurrent Programs.- Set Theo-ry.- Index of Symbols.- Index of Names.- Subject Index.

Fields of interestsMathematical Logic and Formal Languages; Ma-thematical Logic and Foundations

Target groupsLower undergraduate

Product categoryUndergraduate textbook

Due August 2012

Originally published by Prentice Hall International Ltd., UK, 1993

3rd ed. 2012. XII, 342 p. 30 illus. Softcover7 approx. * € (D) 48,10 | € (A) 49,45 | sFr 60,007 approx. € 44,95 | £40.95ISBN 978-1-4471-4128-0

9<HTMEPH=bebcia>

News 5/2012

www.springer.com/978-3-642-29089-3



Computer Science springer.com/NEWSonline

44

Y. Ben-Asher, University of Haifa, Mount Carmel, Israel

Multicore Programming Using the ParC LanguageMulticore Programming Using the ParC Language discusses the principles of practical parallel programming using shared memory on multicore machines. It uses a simple yet powerful parallel dialect of C called ParC as the basic programming language. Designed to be used in an introductory course in parallel programming and covering basic and advanced concepts of parallel program-ming via ParC examples, the book combines a mixture of research directions, covering issues in parallel operating systems, and compilation tech-niques relevant for shared memory and multicore machines. Multicore Programming Using the ParC Language provides a firm basis for the ‘deli-cate art’ of creating efficient parallel programs.

Features 7 Provides a unique approach to writing parallel programs for shared memory machines 7 Au-thored by the co-developer of ParC 7 Numerous challenging and exciting exercises accompany each chapter 7 Defines execution times for parallel programs

Contents Preface.- Basic Concepts in Parallel Algorithms and Parallel Programming.- Principles of Shared Memory Parallel Programming using ParC.- Lo-cality and Synchronization.- Multicore Machines.- Improving the Performance of Parallel Programs: The Analytical Approach.- Compilation Tech-niques.- Working with Sequential Versions.- Per-formance and Overhead Measures.

Fields of interestsProgramming Techniques; Processor Architectu-res

Target groupsLower undergraduate


Due July 2012

2012. XII, 352 p. 112 illus. (Undergraduate Topics in Computer Science) Softcover7 approx. * € (D) 48,10 | € (A) 49,45 | sFr 60,007 approx. € 44,95 | £26.99ISBN 978-1-4471-2163-3

9<HTMEPH=bcbgdd>

J. M. Carroll, The Pennsylvania State University, PA, USA (Ed)

Creativity and RationaleEnhancing Human Experience by Design

Contents Creativity and Rationale: The Essential Tension.- Critical Conversations: Feedback as Creativity in Software Design.- A Micro View of Design Reasoning: Two-Way Shifts between Embodiment and Rationale.- Evaluating Creativity.- Integrating Design Representations for Creativity.- Achieving both Creativity and Rationale: Reuse in Design with Images and Claims.- Predecessor Artefacts: Evolutionary Perspectives on a Reflective Conver-sation with Design Materials.- The PRInCiPleS Design Framework.- Using Rationale to Assist Student Cognitive and Intellectual Development.- Does Design Rationale Enhance Creativity?.- Pro-moting Group Creativity in Upstream Requi-rements Engineering.- Supporting Awareness in Creative Group Work by Exposing Design Rationale.- Studying Humans to Inform Interac-tive Narrative Technology.- Improvisation in the Cloud: Devised Theatre in Support of Problem-Finding.- The Practice Level in Participatory Design Rationale: Studying Practitioner Moves and Choices.- Managing Conflict in Information System Design Stakeholder Conferences: The role of Transparency Work.- Mining Creativity Re-search to Inform Design Rationale in Open Source Communities.- Creativity Meets Rationale: Colla-boration Patterns for Social Innovation.- Patterns for Emergent Global Intelligence.- Collaborative Design Rationale and Social Creativity in Cultures of Participation.- Index.

Fields of interestsUser Interfaces and Human Computer Interaction; Media Design; Computer Applications

Target groupsResearch

Product categoryContributed volume

Due July 2012

2012. VI, 442 p. 66 illus., 39 in color. (Human–Computer Interaction Series) Hardcover7 approx. * € (D) 101,60 | € (A) 104,45 | sFr 126,507 approx. € 94,95 | £85.95ISBN 978-1-4471-4110-5

9<HTMEPH=bebbaf>

T. Ishida, Kyoto University, Japan (Ed)

Field InformaticsKyoto University Field Informatics Research Group

Here we use the term „field“ to refer to a sphere of practical operation, and correspondingly the term „field informatics“ describes informatics tools and methodologies that arise in the field. The components of field informatics are description, prediction, design and transfer, and the methods for those components vary widely.

Features 7 First book describing Field Informatics, a novel area of research 7 Will be valuable for resear-chers in artificial intelligence 7 Contributing authors are leading experts in this area

Contents Chap. 1 Remote Sensing and Geographic Informa-tion Systems (Tetsuro Sakai).- Chap. 2 Biolog-ging (Nobuaki Arai, Junichi Okuyama).- Chap. 3 Human Sensing (Yuichi Nakamura).- Chap. 4 Ethnography (Takaaki Tsuji) Chap. 5 - Sys-tem Dynamics (Kazuyuki Moriya).- Chap. 6 Multi-agent Simulation (Toru Ishida, Hiromitsu Hattori, Yuu Nakajima).- Chap. 7 Inclusive Design (Takayuki Shiose).- Chap. 8 Participatory Design (Yutaka Yamauchi).- Chap. 9 Case Writing (Shigeo Matsubara).- Chap. 10 Outreach Communication (Reiko Hishiyama).

Fields of interestsArtificial Intelligence (incl. Robotics); Computer Appl. in Social and Behavioral Sciences; Geogra-phical Information Systems/Cartography



Due July 2012

2012. Approx. 170 p. Hardcover7 approx. * € (D) 53,45 | € (A) 54,95 | sFr 66,507 approx. € 49,95 | £44.99ISBN 978-3-642-29005-3

9<HTOGPC=cjaafd>





45

M. Joye, Technicolor, Cesson-Sévigné Cedex, France; M. Tunstall, University of Bristol, UK (Eds)

Fault Analysis in CryptographyContents Part I - Introductory Material.- Chap. 1 Side-Channel Analysis and Its Relevance to Fault Attacks.- Part II Fault Analysis in Secret Key Cryptography.- Chap. 2 Attacking Block Ciphers.- Chap. 3 Differential Fault Analysis of DES.- Chap. 4 Differential Fault Analysis of the Advanced Encryption Standard.- Chap. 5 Countermeasures for Symmetric-Key Ciphers.- Chap. 6 On Coun-termeasures Against Fault Attacks on Advanced Encryption Standard.- Part III Fault Analysis in Public Key Cryptography.- Chap. 7 A Survey of Differential Fault Analysis Against Classical RSA Implementations.- Chap. 8 Fault Attacks Against RSA-CRT Implementation.- Chap. 9 Fault Attacks on Elliptic Curve Cryptosystems .- Chap. 10 On Countermeasures Against Fault Attacks on Elliptic Curve Cryptography Using Fault Detection.- Chap. 11 Design of Cryptographic Devices Resilient to Fault Injection Attacks Using Nonlinear Robust Codes.- Chap. 12 Lattice-Based Fault Attacks on Signatures.- Chap. 13 Fault Attacks on Pairing Based Cryptography.- Part IV Miscellaneous.- Chap. 14 Fault Attacks on Stream Ciphers.- Chap. 15 Interaction Between Fault At-tack Countermeasures and the Resistance Against Power Analysis Attacks.- Part V Implementing Fault Attacks.- Chap. 16 Injection Technologies for Fault Attacks on Microprocessors.- Chap. 17 Global Faults on Cryptographic Circuits.- Chap. 18 Fault Injection and Key Retrieval Experiments on an Evaluation Board.- References.

Fields of interestsData Structures, Cryptology and Information The-ory; Computer Hardware; Electrical Engineering



Due May 2012

2012. XVIII, 357 p. 98 illus., 35 in color. (Information Security and Cryptography) Hardcover7 approx. * € (D) 101,60 | € (A) 104,45 | sFr 126,507 approx. € 94,95 | £85.50ISBN 978-3-642-29655-0

9<HTOGPC=cjgffa>

A. Kirke, E. R. Miranda, University of Plymouth, UK (Eds)

Guide to Computing for Expressive Music PerformanceThis book discusses all aspects of computing for expressive performance, from the history of CSEMPs to the very latest research, in addition to discussing the fundamental ideas, and key issues and directions for future research.

Features 7 The first coherent book on automated and semi-automated computer systems for expressive music performance (CSEMPs) 7 Describes in detail a number of CSEMP systems, methods and key concepts, with review questions at the end of each chapter 7 Presents chapters authored by the key contributors to the field

Contents An Overview of Computer Systems for Expres-sive Music Performance.- Systems for Interactive Control of Computer Generated Music Perfor-mance.- Expressive Performance Rendering with Probabilistic Models.- Artificial Evolution of Expressive Performance of Music.- Modelling, Analysing, Identifying and Synthesizing Expres-sive Popular Music Performances.- Statistical Approach to Automatic Expressive Rendition of Polyphonic Piano Music.- Evaluation of Computer Systems for Expressive Music Performance.- Com-putational Music Theory and its Applications to Expressive Performance and Composition.- Anthropomorphic Musical Robots Designed to Produce Physically-Embodied Expressive Music Performances.

Fields of interestsComputer Appl. in Arts and Humanities; Multi-media Information Systems; User Interfaces and Human Computer Interaction

Target groupsGraduate

Product categoryGraduate/Advanced undergraduate textbook

Due July 2012

2012. VI, 255 p. 75 illus., 33 in color. Hardcover7 approx. * € (D) 53,45 | € (A) 54,95 | sFr 66,507 approx. € 49,95 | £44.99ISBN 978-1-4471-4122-8

9<HTMEPH=bebcci>

H. König, BTU Cottbus, Germany

Protocol EngineeringCommunication protocols form the opera-tional basis of computer networks and tele-communication systems. They are behavior conventions that describe how com munication systems inter act with each other, defining the temporal order of the interactions and the formats of the data units exchanged – essentially they de-termine the efficiency and reliability of computer networks.

Features 7 Presentation is characterized by a focus on formal description techniques for the design, validation, and implementation of communica-tion protocols 7 Considers both the theoretical and the practical aspects of protocol enginee-ring 7 Encourages the readers to apply the me-thods described in their practical work and sup-ports this using the simple data transfer example protocol XDT

Contents Part I - Principles of Communication Protocols.- Chap. 1 - Services.- Chap. 2 - Protocols.- Chap. 3 - Layers.- Chap. 4 - Layered Architectures.- Chap. 5 - Protocol Functions.- Chap. 6 - Case Study: The Internet Protocol Stack.- Part II - Description of Communication Protocols.- Chap. 7 - Formal De-scription Methods.- Chap. 8 - Formal Description Techniques.- Part III - Development of Communi-cation Protocols.- Chap. 9 - Protocol Development Process.- Chap. 10 - Design.- Chap. 11 - Verifica-tion.- Chap. 12 - Performance Evaluation.- Chap. 13 - Implementation.- Chap. 14 - Testing.- Chap. 15 - Outlook.- Glossary.- References.- Abbrevia-tions.- Index.

Fields of interestsComputer Communication Networks; Software Engineering/Programming and Operating Sys-tems

Target groupsUpper undergraduate


Due June 2012

2012. X, 540 p. 280 illus., 1 in color. Hardcover7 approx. * € (D) 53,45 | € (A) 54,95 | sFr 66,507 approx. € 49,95 | £44.99ISBN 978-3-642-29144-9

9<HTOGPC=cjbeej>





46

J. O. Long, Raleigh, NC, USA

ITIL® 2011 At a Glance„ITIL® 2011 At a Glance“ is an important update to the internationally-recognized ITIL® best practices for IT Service Management. „ITIL® 2011 At a Glance“ provides graphical and textual memory joggers for the primary concepts of those best practices. IT organizations worldwide are implementing ITIL® as a vehicle for improving IT service quality and improve return on investment for IT services. This book is an update based on the ITIL 2011 Update. The desk reference’s unique graphical approach will take otherwise complex textual descriptions and make the information accessible in a series of consistent, simple dia-grams. „ITIL® 2011 At a Glance“ will be of interest to organizations looking to train their staffs in a consistent and cost-effective way. Further, this book is ideal for anyone involved in planning consulting, implementing, or testing an ITIL® implementation.

Contents Introduction.- List of ITIL Processes.- Service Strategy.- Service Design.- Service Transition.- Service Operation.- Continual Service Improve-ment.

Fields of interestsModels and Principles; Management of Compu-ting and Information Systems; Innovation/Tech-nology Management


Product categoryBrief

Due July 2012

2012. VIII, 80 p. 73 illus. in color. (SpringerBriefs in Computer Science) Softcover7 approx. * € (D) 42,75 | € (A) 43,95 | sFr 39,507 approx. € 39,95 | £26.99ISBN 978-1-4614-3896-0

9<HTMERB=edijga>

T. Matsuyama, S. Nobuhara, Kyoto University, Sakyo, Japan; T. Takai, University of Surrey, Guildford, UK; T. Tung, Kyoto University, Sakyo, Japan

3D Video and Its ApplicationsThis book presents a broad review of state-of-the-art 3D video production technologies and applica-tions. The text opens with a concise introduction to the field, before examining the design and cali-bration methods for multi-view camera systems, including practical implementation technologies. A range of algorithms are then described for pro-ducing 3D video from video data. A selection of 3D video applications are also demonstrated.

Features 7 Presents a broad review of state-of-the-art 3D video production technologies and applica-tions 7 Discusses the geometric, photometric, and dynamical design and calibration methods for multi-view camera systems, including practical implementation technologies 7 Describes a range of algorithms for producing 3D video from video data, and demonstrates a selection of 3D video applications

Contents Introduction.- Part I: Multi-View Video Capture.- Multi-Camera Systems for 3D Video Production.- Active Camera System for Object Tracking and Multi-View.- Part II: 3D Video Production.- 3D Shape Reconstruction from Multi-View Video Data.- 3D Surface Texture Generation.- Estima-tion of 3D Dynamic Lighting Environment with Reference.- Part III: 3D Video Applications.- Vi-sualization of 3D Video.- Behavior Unit Model for Content-Based Representation and Edition of 3D Video.- Model-Based Complex Kinematic Motion Estimation.- 3D Video Encoding.

Fields of interestImage Processing and Computer Vision



Due June 2012

2012. XVI, 364 p. 212 illus., 164 in color. Hardcover7 approx. * € (D) 101,60 | € (A) 104,45 | sFr 126,507 approx. € 94,95 | £85.50ISBN 978-1-4471-4119-8

9<HTMEPH=bebbji>

M. Negrotti, Urbino University, Italy

The Reality of the ArtificialNature, Technology and Naturoids

Contents Part I.- Chap. 1 Daedalus and Icarus.- Chap. 2 Artificiality and Naturoids.- Chap. 3 Duplicating Reality.- Part II.- Chap. 4 The First Step: Observa-tion.- Chap. 5 Observation and Representations.- Chap. 6 The Exemplar and Its Definition.- Chap. 7 Essentiality of Things.- Part III.- Chap. 8 The Mind Reduces Complexity, Reality Does Not Make Discounts.- Chap. 9 The Problem of Syn-thesis.- Chap. 10 Transfiguration.- Part IV.- Chap. 11 Classification of the Artificial.- Chap. 12 Au-tomatisms and Naturoids.- Chap. 13 Naturoids in Real Contexts: Bionic Man and Robots.- Chap. 14 The Challenge of Complexity.- Chap. 15 Illusion and Compatibility.- Part V.- Chap. 16 Naturoids: Interface and Camouflage.- Chap. 17 Structure or Process?.- Chap. 18 Artificial Limbs: History and Current Trends.- Chap. 19 The Artificial Brain.- Chap. 20 Prostheses, Replacements and Surrogates.- Chap. 21 Artificial Environments and Landscapes.- Chap. 22 Virtual Reality.- Chap. 23 Conclusions.- Appendix A Naturoids and Music.- Sect. A.1 Reproduction and Transfiguration.- Sect. A.2 The Rarefaction of Meaning.- Sect. A.3 State-ments by Writers or Scholars in the Humanities.- Sect. A.4 Statements by Composers.- Appendix B Naturoids and Conventional Technology Devices.- References.

Fields of interestsArtificial Intelligence (incl. Robotics); History of Science; Control, Robotics, Mechatronics



Due June 2012

2012. V, 255 p. 1 illus. (Studies in Applied Philosophy, Epistemology and Rational Ethics, Volume 4) Hardcover7 approx. * € (D) 90,90 | € (A) 93,45 | sFr 113,507 approx. € 84,95 | £76.50ISBN 978-3-642-29678-9

9<HTOGPC=cjghij>





47

L. Nielsen, IT University Copenhagen, Denmark

Personas - User Focused DesignPeople relate to other people, not to simplified types or segments. This is the concept that under-pins this book. Personas, a user centered design methodology covers topics from interaction design within IT, through to issues surrounding product design, communication, and marketing. Project developers need to understand how users approach their products from the product’s infan-cy, and regardless of what the product might be. Developers should be able to describe the user of the product via vivid depictions, as if they – with their different attitudes, desires and habits – were already using the product. In doing so they can more clearly formulate how to turn the product‘s potential into reality. With contributions from professionals from Australia, Brazil, Finland, Japan, Russia, and the UK presenting real-world examples of persona method, this book will provi-de readers with valuable insights into this exciting research area.

Features 7 The first book on personas to be founded from research 7 Provides guidelines and templates to write personas and scenarios 7 Contains nu-merous cases and material from industrial projects

Contents Stories About Users.- Step 1 - A Slice of the World.- Step 2 - The First Connections.- Step 3 - Food for Thought.- Step 4 - The Final Number.- Step 5 - Do You Know Karina?.- Step 6 - Expositi-on to Action.- Step 7 - The Reality of Everyone?.- Step 8 - Get the Message Across!.- Step 9 - Stories About the Future.- Step 10 - It Does Not End Here.- Personas in a More User Focused World.

Fields of interestsUser Interfaces and Human Computer Interaction; Arts



Due July 2012

2012. V, 185 p. 31 illus., 27 in color. (Human–Computer Interaction Series) Hardcover7 * € (D) 90,90 | € (A) 93,45 | sFr 113,507 € 84,95 | £59.95ISBN 978-1-4471-4083-2

9<HTMEPH=beaidc>

N. Pears, University of York, UK; Y. Liu, P. Bunting, Aberystwyth University, Ceredigion, UK (Eds)

3D Imaging, Analysis and Applications3D Imaging, Analysis and Applications brings together core topics, both in terms of well-established fundamental techniques and the most promising recent techniques in the exciting field of 3D imaging and analysis. Many similar techniques are being used in a variety of subject areas and applications and the authors attempt to unify a range of related ideas.

Features 7 Provides a broad coverage of core topics in 3D imaging, analysis and applications 7 Illustrates the power of 3D imaging with detailed discussions and easily implementable algorithms for many real-world applications 7 Authored by a diverse, yet complementary group of more than 20 world-leading academics

Contents Introduction.- Part I – 3D Imaging and Shape Representation.- Passive 3D Imaging.- Active 3D Imaging Systems.- Representing, Storing and Visualizing 3D Data.- Part II – 3D Shape Analysis and Processing.- Feature-based Methods in 3D Shape Analysis.- 3D Shape Registration.- 3D Shape Matching for Retrieval and Recognition.- Part III – 3D Imaging Applications.- 3D Face Recognition.- 3D Digital Elevation Model Genera-tion.- High-resolution Three-dimensional Remote Sensing for Forest Measurement.- 3D Medical Imaging.- Index.

Fields of interestsImage Processing and Computer Vision; Com-puter Imaging, Vision, Pattern Recognition and Graphics

Target groupsGraduate

Product categoryGraduate/Advanced undergraduate textbook

Due July 2012

2012. XXII, 522 p. 176 illus., 118 in color. Hardcover7 * € (D) 74,85 | € (A) 76,95 | sFr 93,507 € 69,95 | £62.95ISBN 978-1-4471-4062-7

9<HTMEPH=beagch>

C.-V. Phan, NTT University, Ho Chi Minh City, Vietnam (Ed)

Transactions on Computational Science XVSpecial Issue on Advances in Autonomic Computing: Formal Engineering Methods for Nature-Inspired Computing SystemsEditor-in-chief: M. L. Gavrilova, University of Calgary, AB, Canada; C. K. Tan, Exascala Ltd., Birmingham, UK

Features 7 Focuses on recent advances in autonomic computing 7 Addresses various problems related to formal engineering methods for nature-inspired computing systems 7 Of interest to computer scientists and computer engineers, including developers and practitioners in computing and networking systems design

Contents Formal Methods for Modeling, Refining and Verifying Autonomic Components of Computer Networks.- Self Organization for Area Coverage Maximization and Energy Conservation in Mobile Ad Hoc Networks.- Data Intensive Distribut-ed Computing in Data Aware Self-organizing Networks.- Accelerated Evolution: A Biologically-Inspired Approach for Augmenting Self-star Pro-perties in Wireless Sensor Networks.- Developing Autonomic Properties for Distributed Pattern-Recognition Systems with ASSL: A Distributed MARF Case Study.- Autonomic Nature-Inspired Eco-systems.- A Logical Approach to Data-Aware Automated Sequence Generation.

Fields of interestsSoftware Engineering; Logics and Meanings of Programs; Algorithm Analysis and Problem Complexity



Available

2012. XIII, 217 p. 81 illus. (Lecture Notes in Computer Science / Transactions on Computational Science, Volume 7050) Softcover7 * € (D) 67,41 | € (A) 69,30 | sFr 84,007 € 63,00 | £56.99ISBN 978-3-642-28524-0

9<HTOGPC=cifcea>





48

A. R. Ram, Government College of Engineering, Kannur, India; S. Chaudhuri, Indian Institute of Technology, Bombay, Powai, India

Video Analysis and Repackaging for Distance EducationThis book presents various video processing me-thodologies that are useful for distance education. The motivation is to devise new multimedia tech-nologies that are suitable for better representation of instructional videos by exploiting the temporal redundancies present in the original video. This solves many of the issues related to the memory and bandwidth limitation of lecture videos.

Features 7 Offers a systematic approach to a higher level video analysis, starting from the basic step of shot detection to media recreation making it very useful for generic video processing 7 Presents a novel approach for a legibility retentive retarge-ting of lecture media on mobile devices which promises to enhance the ‘study-on-the-move’ experience 7 Serves as a reference for the vari-ous methods that can be adopted for the compact representation of educational videos at the content provider end

Contents Media for Distance Education.- Instructional Media Repackaging.- Current State of the Art.- Preprocessing of Lecture Videos.- Video Content Re-creation.- Display of Media on Miniature Devices.- Copyright Protection.- Lecture Video Capsule for Course Preview.- Conclusions and Future Directions of Research.- Appendices.- Re-ferences.- Index.

Fields of interestsImage Processing and Computer Vision; Signal,Image and Speech Processing; Education (general)



Due May 2012

2012. V, 185 p. 60 illus. Hardcover7 approx. * € (D) 85,55 | € (A) 87,95 | sFr 107,507 approx. € 79,95 | £73.00ISBN 978-1-4614-3836-6

9<HTMERB=edidgg>

V. Štuikys, R. Damaševičius, Kaunas University of Technology, Lithuania

Meta-Programming and Model-Driven Meta-Program DevelopmentPrinciples, Processes and Techniques

Contents Preface.- Part One.- Introduction.- Taxonomy of Fundamental Concepts of Meta-Programming.- A Background of Meta-Programming Techniques.- Homogeneous Meta-Programming Techniques with Case Study.- Structural Heterogeneous Meta-Programming.- Open PROMOL: A Meta-Langua-ge for Heterogeneous Meta-Programming.- Part Two.- A Framework to Deal with Heterogeneous Meta-Programming in Large: Meta-Programming Lifecycle.- A Model-Driven View to Meta-Pro-gram Development Process.- Cognitive Insights into Feature Diagram Notation and Beyond.- Meta-Programming Task Specification using Feature-Based Patters and Domain Program Scenarios.- Meta-Program Development as a Model Transformation.- Complexity Evaluation of Feature Models and Meta-Programs.- Part Three.- A Framework: How Heterogeneous Meta-Pro-grams can be Further Generalized?.- Meta-Meta-Programming and Equivalent Transformations of Heterogeneous Meta-Programs.- Multi-Linguistic Aspects of Heterogeneous Meta-Programming in Web Applications.- Applications of Meta-Programming Methodology.- What is on the Horizon?.- Index.

Fields of interestsSoftware Engineering; Programming Techniques



Due July 2012

2012. XVIII, 346 p. 83 illus., 12 in color. (Advanced Information and Knowledge Processing) Hardcover7 approx. * € (D) 101,60 | € (A) 104,45 | sFr 126,507 approx. € 94,95 | £85.95ISBN 978-1-4471-4125-9

9<HTMEPH=bebcfj>

Transactions on Petri Nets and Other Models of Concurrency V

Editor-in-chief: K. Jensen, Aarhus University, Denmark; Guest editors: S. Donatelli, University of Turin, Italy; J. Kleijn, Leiden Institute of Advanced Computer Science, The Netherlands

These Transactions publish archival papers in the broad area of Petri nets and other models of con-currency, ranging from theoretical work to tool support and industrial applications.

Features 7 Contains selected contributions from: APNOC 2010; ART 2010; BioPPN 2010; PNSE 2010; and SUMo 2010 7 Includes an in-depth coverage of decision diagrams and Petri nets 7 Features innovative applications of Petri nets, such as the application of Petri nets to grid computing

Contents Cycle Structure in SR and DSR Graphs: Implica-tions for Multiple Equilibria and Stable Oscillation in Chemical Reaction Networks.- Modeling and Mining of Learnflows.- Ten Years of Saturati-on: A Petri Net Perspective.- Refinement and Asynchronous Composition of Modal Petri Nets.- Computing a Hierarchical Static Order for Decision Diagram-Based Representation from P/T Nets.- Bounded Model Checking for Parametric Timed Automata.- Synthesis Problem for Petri Nets with Localities.- A Petri Net Perspective on the Resource Allocation Problem in Software Engineering.- Nets-Within-Nets Paradigm and Grid Computing.- Incremental Process Discove-ry.- Providing an Agent Flavored Integration for Workflow Management.- A Graphical Approach to Component-Based and Extensible Model Che-cking Platforms.

Fields of interestsModels and Principles; Theory of Computation; Simulation and Modeling



Available

2012. XVII, 293 p. 122 illus. (Lecture Notes in Computer Science / Transactions on Petri Nets and Other Models of Concurrency, Volume 6900) Softcover7 * € (D) 78,11 | € (A) 80,30 | sFr 97,507 € 73,00 | £65.99ISBN 978-3-642-29071-8

9<HTOGPC=cjahbi>





49

J. Viterbo, Universidade Federal Fluminense, Niterói, RJ, Brazil; M. Endler, Pontifícia Universidade Católica do Rio de Janeiro, RJ, Brazil

Decentralized Reasoning in Ambient IntelligenceIn Ambient Intelligence (AmI) systems, reasoning is fundamental for triggering actions or adapta-tions according to specific situations that may be meaningful and relevant to some applications. However, such reasoning operations may need to evaluate context data collected from distri-buted sources and stored in different devices, as usually not all context data is readily available to the reasoners within the system. Decentralized Reasoning in Ambient Intelligence proposes a decentralized reasoning approach for performing rule-based reasoning about context data targeting AmI systems. For this purpose, the authors define a context model assuming context data distributed over two sides: the user side, represented by the users and their mobile devices, and the ambient side, represented by the fixed computational infra-structure and ambient services. They formalize the cooperative reasoning operation — in which two entities cooperate to perform decentralized rule-based reasoning — and define a complete process to perform this operation.

Feature 7 Presents a detailed description of how to im-plement a decentralized reasoning mechanism for intelligent ambients

Contents Introduction.- Fundamental Concepts.- Related Work.- Cooperative Reasoning.- Our Approach for Cooperative Reasoning.- Case Study.- Imple-mentation.- Evaluation.- Conclusion.

Fields of interestsComputer Communication Networks; Artificial Intelligence (incl. Robotics)



Due July 2012

2012. VI, 100 p. 25 illus. (SpringerBriefs in Computer Science) Softcover7 approx. * € (D) 42,75 | € (A) 43,95 | sFr 53,507 approx. € 39,95 | £35.99ISBN 978-1-4471-4167-9

9<HTMEPH=bebghj>

R. H. Weber, U. I. Heinrich, University of Zurich, Switzerland

AnonymizationWithin the last decade, the Internet has developed as a phenomenon encompassing social, cultural, economic and legal facets. It has become common practice to use the Internet for both the retrieval and provision of information, with the result that the Internet has become a valuable tool in every-day life. Many Internet participants are unaware that they leave data tracks on every website they pass; surfing on the World Wide Web is far from being an anonymous activity of no consequence. In recent years a number of networking tech-niques have been initiated in order to accommo-date the netizen’s wish for anonymous communi-cation and the protection of their privacy in the online world. Anonymization explores the legal framework developed to help protect netizens’ privacy and their wish for anonymous commu-nication over the Internet. It debates the value in helping to protect anonymity over a network which sees an increasing number of cybercrimes, and explores governmental interventions into anonymity requests, and whether requests should only be legal if a sufficiently legitimized public interest is given.

Contents Notion of Anonymity.- Anonymity Challenges in the Internet.- Legal Foundations of Anonymity.- Limitations of Anonymity.- Outlook.

Fields of interestsLegal Aspects of Computing; European Law; Public International Law



Due May 2012

2012. VII, 73 p. (SpringerBriefs in Cybersecurity) Softcover7 * € (D) 42,75 | € (A) 43,95 | sFr 53,507 € 39,95 | £35.99ISBN 978-1-4471-4065-8

9<HTMEPH=beagfi>

C. Wöhler, Technical University of Dortmund, Germany

3D Computer VisionEfficient Methods and Applications

This indispensable text introduces the foundations of three-dimensional computer vision and descri-bes recent contributions to the field.

Features 7 Examines 3D surface reconstruction of stron-gly non-Lambertian surfaces by the combination of photometric stereo and active range scanning, with applications to industrial metrology 7 Dis-cusses pose estimation and tracking of human body parts, and recognition of actions performed in a complex production environment 7 Reviews the construction of high-resolution lunar digital elevation models based on orbital imagery in combination with laser altimetry data

Contents Part I: Methods of 3D Computer Vision.- Trian-gulation-based Approaches to Three-dimensional Scene Reconstruction.- Three-dimensional Pose Estimation and SegmentationMethods.- Intensity-based and Polarisation-based Approaches.- Point Spread Function Based Approaches to Three-dimensional Scene Reconstruction.- Integra-ted Frameworks for Three-dimensional Scene Reconstruction.- Part II: Application Scenarios.- Applications to Industrial Quality Inspection.- Ap-plications to Safe Human–Robot Interaction.- Ap-plications to Lunar Remote Sensing.- Conclusion.

Fields of interestsComputer Imaging, Vision, Pattern Recognition and Graphics; Computer Graphics; Image Proces-sing and Computer Vision


Product categoryProfessional book

Due August 2012

2nd ed. 2012. XVIII, 403 p. 183 illus. (X.media.publishing) Hardcover7 approx. * € (D) 74,85 | € (A) 76,95 | sFr 93,507 approx. € 69,95 | £62.99ISBN 978-1-4471-4149-5

9<HTMEPH=bebejf>





50

J. Wu, Beihang University, Beijing, China

Advances in K-means ClusteringA Data Mining Thinking

Nearly everyone knows K-means algorithm in the fields of data mining and business intelli-gence. But the ever-emerging data with extremely complicated characteristics bring new challenges to this „old“ algorithm. This book addresses these challenges and makes novel contributions in establishing theoretical frameworks for K-means distances and K-means based consensus cluste-ring, identifying the „dangerous“ uniform effect and zero-value dilemma of K-means, adapting right measures for cluster validity, and integrating K-means with SVMs for rare class analysis.

Features 7 Gives an overall picture on how to adapt K-means to the clustering of newly emerging big data 7 Establishes a theoretical framework for K-means clustering and cluster validity 7 Studies the dangerous uniform effect and zero-value dilemma of K-means 7 Demonstrates the novel use of K-means for rare class analysis and con-sensus clustering 7 Based on the thesis that won the 2010 National Excellent Doctoral Dissertation Award of China

Contents Cluster Analysis and K-means Clustering: An Introduction.- The Uniform Effect of K-means Clustering.- Generalizing Distance Functions for Fuzzy c-Means Clustering.- Information-Theoretic K-means for Text Clustering.- Selecting External Validation Measures for K-means Clustering.- K-means Based Local Decomposition for Rare Class Analysis.- K-means Based Consensus Clustering.

Fields of interestsData Mining and Knowledge Discovery; Statistics for Business/Economics/Mathematical Finance/Insurance; Business Information Systems



Due June 2012

2012. XIII, 175 p. 50 illus., 44 in color. (Springer Theses) Hardcover7 approx. * € (D) 106,95 | € (A) 109,95 | sFr 133,507 approx. € 99,95 | £90.00ISBN 978-3-642-29806-6

9<HTOGPC=cjiagg>


cyber-physical systems mathematical logic for ... › sgw › documents › 1328847 › ... · into...

Documents