Computer science Books

Book SynopsisGain a clear understanding of even the most complex, highly theoretical computational theory topics in the approachable presentation found only in the market-leading INTRODUCTION TO THE THEORY OF COMPUTATION, 3E. The number one choice for today's computational theory course, this revision continues the book's well-know, approachable style with timely revisions, additional practice, and more memorable examples in key areas. A new first-of-its-kind theoretical treatment of deterministic context-free languages is ideal for a better understanding of parsing and LR(k) grammars. You gain a solid understanding of the fundamental mathematical properties of computer hardware, software, and applications with a blend of practical and philosophical coverage and mathematical treatments, including advanced theorems and proofs. INTRODUCTION TO THE THEORY OF COMPUTATION, 3E's comprehensive coverage makes this a valuable reference for your continued studies in theoretical computing.Table of ContentsIntroduction. PART 1: AUTOMATA AND LANGUAGES. 1. Regular Languages. 2. Context-Free Languages. PART 2: COMPUTABILITY THEORY. 3. The Church-Turing Thesis. 4. Decidability. 5. Reducibility. 6. Advanced Topics in Computability Theory. PART 3: COMPLEXITY THEORY. 7. Time Complexity. 8. Space Complexity. 9. Intractability. 10. Advanced Topics in Complexity Theory. Selected Bibliography.

Read more less

Book SynopsisTable of ContentsPart I: DATABASE CONCEPTS 1. Database Systems 2. Data Models Part II: DESIGN CONCEPTS 3. The Relational Database Model 4. Entity Relationship (ER) Modeling 5. Advanced Data Modeling 6. Normalization of Database Tables Part III: ADVANCED DESIGN AND IMPLEMENTATION 7. Introduction to Structured Query Language (SQL) 8. Advanced SQL 9. Database Design Part IV: ADVANCED DATABASE CONCEPTS 10. Transaction Management and Concurrency Control 11. Database Performance Tuning and Query Optimization 12. Distributed Database Management Systems 13. Business Intelligence and Data Warehouses 14. Big Data Analytics and NoSQL Part V: DATABASES AND THE INTERNET 15. Database Connectivity and Web Technologies Part VI: DATABASE ADMINISTRATION 16. Database Administration and Security ONLINE APPENDICES Appendix Aa: Designing Databases with Lucicharts: A Tutorial Appendix Ab: Designing Databases with Visio: A Tutorial Appendix B: The University Lab: Conceptual Design Appendix C: The University Lab: Conceptual Design Verification, Logical Design, and Implementation Appendix D: Converting the ER Model into a Database Structure Appendix E: Comparison of ER Model Notations Appendix F: Client/Server Systems Appendix G: Object-Oriented Databases Appendix H: Unified Modeling Language (UML) Appendix I: Databases in Electronic Commerce Appendix J: Web Database Development with ColdFusion Appendix K: The Hierarchical Database Model Appendix L: The Network Database Model Appendix M: Microsoft Access Tutorial Appendix N: Creating a New Database Using Oracle 12c Appendix O: Data Warehouse Implementation Factors Appendix P: Working with MongoDB Appendix Q: Working with Neo4j

Read more less

Book SynopsisDiscover the power of Java for developing applications today with the engaging, hands-on approach in Farrell's JAVA PROGRAMMING, 10th edition. Even if you're a first-time programmer, JAVA PROGRAMMING can show you step-by-step how to quickly start developing useful programs, all while mastering the basic principles of structured and object-oriented programming. Up-to-date, reader-friendly explanations and meaningful programming and collaboration exercises emphasize business applications, while useful debugging exercises and contemporary case problems further expand your understanding. Offering anywhere, anytime learning, MindTap equips you with an additional online learning platform, interactive learning tools and auto-graded coding labs for practicing and expanding your skills.Table of Contents1. Creating Java Programs. 2. Using Data. 3. Using Methods. 4. Using Classes and Objects. 5. Making Decisions. 6. Looping. 7. Characters, Strings, and the StringBuilder. 8. Arrays. 9. Inheritance and Interfaces. 10. Exception Handling. 11. File Input and Output. 12. Recursion. 13. Collections and Generics. 14. Introduction to Swing Components. Appendix A. Working with the Java Platform. Appendix B. Data Representation. Appendix C. Formatting Output. Appendix D. Generating Random Numbers. Appendix E. Javadoc. Appendix F. Java FX. Glossary. Index.

Read more less

Book SynopsisHelping you understand the technological foundations for a wide range of digital devices, New Perspectives Computer Concepts Comprehensive, 21st edition, presents what every learner should know about using technology to complete your education, launch a successful career and engage in issues that shape today's world. The book's proven learning path is structured with today's busy reader in mind. Leading tech author June Parsons combines the latest on emerging technology with detailed illustrations and interactive activities that help you quickly understand technical topics. This edition provides updated information on current operating systems, digital rights management, the deep web and dark web, videoconferencing, the pandemic's impact on tech jobs, work-at-home and more. A unique module provides a hands-on introduction to programming, while MindTap offers anywhere, anytime learning solutions.Table of ContentsModule 1: Digital Content Module 2: Digital Devices Module 3: Networks Module 4: The Web Module 5: Social Media Module 6: Software Module 7: Digital Security Module 8: The ICT Industry Module 9: Information Systems Module 10: Databases Module 11: Programming Module PY: Coding With Python

Read more less

Book SynopsisTable of Contents1. Being a Digital Citizen: At Home, School, and Work. 2. The Internet: Connecting and Communicating Online. 3. Hardware: Evaluating Options. 4. Programs and Apps: Productivity, Graphics, Security. 5. Digital Security: Ethics, Privacy, and Protection. 6. Input and Output: Extending Capabilities. 7. Digital Storage: Preserving Content. 8. Operating System: Managing and Coordinating Resources. 9. Networks: Communicating Across Devices. 10. Databases: Organizing and Accessing Data. 11. System and Application Development: Tools and Strategies. 12. Web Development: Publishing Online Content. 13. Technology Careers: Entering the Workforce. Appendix A: Technology Acronyms. Appendix B: Troubleshooting Computer and Mobile Device Problems.

Read more less

Book SynopsisTable of ContentsCOVER BRIEF CONTENTS CONTENTS GETTING TO KNOW MICROSOFT OFFICE VERSIONS USING SAM PROJECTS AND TEXTBOOK PROJECTS MICROSOFT WORD Module 4: Creating a Multipage Document Module 5: Creating a Resume and Sharing Documents Module 6: Using Mail Merge Module 7: Creating a Newsletter MICROSOFT POWERPOINT Module 4: Customizing Slide Masters and Presentations Module 5: Collaborating and Adding Animation Module 6: Formatting Tables and Charts Module 7: Adding Media and Enhancing SmartArt MICROSOFT EXCEL Module 4: Financial Functions, Data Tables, and Amortization Schedules Module 5: Working with Multiple Worksheets and Workbooks Module 6: Creating, Sorting, and Querying a Table Module 7: Creating Templates, Importing Data, and Working with SmartArt, Images, and Screenshots MICROSOFT ACCESS Module 4: Creating Reports and Forms Module 5: Multiple-Table Forms Module 6: Advanced Report Techniques Module 7: Advanced Form Techniques INDEX

Read more less

Book SynopsisHelping you quickly get up to speed, Hoisington's THE SHELLY CASHMAN SERIES MICROSOFT OFFICE 365 & OUTLOOK 2021 COMPREHENSIVE, 1st edition, includes the latest on Microsoft 365 and Office 2021 features along with enhanced support for Mac users. Its trademark step-by-step, screen-by-screen, project-based approach enables you to expand your understanding of Office applications through hands-on experimentation and critical thinking. Module Learning Objectives are mapped to Microsoft Office Specialist (MOS) certification objectives, reinforcing the critical skills needed for college and career success. Other Ways boxes reveal alternate click paths to achieve a step, while BTW call-outs offer helpful hints as you work through your projects so you can make the most of Microsoft Office tools. In addition, MindTap and SAM (Skills Assessment Manager) online resources help maximize your study time -- and results.Table of Contents1. Managing Email Messages with Outlook. 2. Managing Calendars with Outlook. 3. Managing Contacts and Personal Contact Information with Outlook 4. Creating and Managing Tasks with Outlook. 5. Customizing Outlook. Index.

Read more less

Book SynopsisTable of Contents1. An Overview of Computers and Programming. 2. Elements of High-Quality Programs. 3. Understanding Structure. 4. Making Decisions. 5. Looping. 6. Arrays. 7. File Handling and Applications. 8. Advanced Data Handling Concepts. 9. Advanced Modularization Techniques. 10. Object-Oriented Programming. 11. More Object-Oriented Programming Concepts. 12. Event-Driven GUI Programming, Multithreading, and Animation. Appendix A: Understanding Numbering Systems and Computer Codes. Appendix B: Solving Difficult Structuring Problems .

Read more less

Book SynopsisTable of Contents1. Information Systems in Business. 2. Computers and Their Business Applications. 3. Data and Business Intelligence. 4. Personal, Legal, Ethical, and Organizational Issues. 5. Protecting Information Resources. 6. Data Communication: Delivering Information Anywhere and Anytime. 7. A Connected World. 8. E-Commerce. 9. Global Information Systems. 10. Building Successful Information Systems. 11. Enterprise Systems. 12. Supporting Decisions and Processes. 13. Artificial Intelligence and Automation. 14. Emerging Trends, Technologies, and Applications.

Read more less

Book SynopsisToday, there are few in senior management positions who can afford to ignore modern information technology, and few individuals who would prefer to be without it. Modern IT is key to organizational performance; yet we often assume the benefits will occur without forethought or effort. As managerial tasks become more complex, so the nature of the required information systems changes â from structured, routine support to ad hoc, unstructured, complex enquiries at the highest levels of management. If taken for granted, serious implications can arise for organizations.This fifth edition of Strategic Information Management has been brought fully up to date with recent developments in the management of information systems, including digital transformation strategy, the issues surrounding big data and algorithmic decision-making. The book provides a rich source of material reflecting recent thinking on the key issues facing executives, drawing from a wide range of contemporarTrade Review"This fifth edition of Strategic Information Management updates and extends a unique selection of theories and valuable practice insights, established in the previous editions, and offers a roadmap for executives navigating in the digital landscape and coping with the digitization challenges associated with organizational transformation. The book has the right balance of theoretical frameworks and practical insights. Taken together, the book reflects recent thinking regarding many of the key issues facing executives in getting the most out of their investments in information technology and digitalization initiatives, highlighting the complex strategy, organizational and governance issues involved." — IOANNA CONSTANTIOU, Copenhagen Business School, Denmark"I'm pleased the editors of Strategic Information Management have produced this 5th edition, which represents a major overhaul, including online supporting materials not available with prior editions. Particularly valuable is the amplification of theory in this edition – not theory for theory's sake, but rather practice-guiding theory; the implication being that we are all researchers and that complex matters demand research and unique approaches and solutions. I strongly encourage students and practitioners to assume an evidence-based practice perspective when reading and reflecting on these writings which, combined, provide a much-needed stimulus for critical thinking on these complex matters in what are challenging times." — GUY GABLE, Queensland University of Technology, Australia"The fifth edition of Strategic Information Management has great value in providing directions for practitioners and scholars towards an understanding of the strategic importance and managerial challenges of digital transformation in today’s organizations. With inputs from international scholars, the book offers really useful management frameworks and principles to help in understanding how organizations and industries are transformed by disruptive digital technologies." — CAROL HSU, Tongji University, China"This fifth edition of Strategic Information Management updates and strengthens what has long served as a vehicle through which current and future executives obtain a foundational understanding as well as pragmatic insights regarding a host of strategic and managerial issues associated with the digital transformation of organizations. As with the earlier editions, the authors refuse to fall into the too-often-taken route of providing readers with a handbook offering ‘one-size-fits-all’ practices and procedures – solutions which ultimately fail to align with the situations faced by readers. Instead, the editors successfully provide readers with exposures to critical themes and frameworks and to illustrations of how some of our brightest executives are applying these in addressing digitalization initiatives and challenges – providing readers with the capability to formulate workable solutions to many, if not most, of the situations they face in their digital transformation efforts." — ROBERT W. ZMUD, University of Oklahoma, USA"This fifth edition of Strategic Information Management updates and extends a unique selection of theories and valuable practice insights, established in the previous editions, and offers a roadmap for executives navigating in the digital landscape and coping with the digitization challenges associated with organizational transformation. The book has the right balance of theoretical frameworks and practical insights. Taken together, the book reflects recent thinking regarding many of the key issues facing executives in getting the most out of their investments in information technology and digitalization initiatives, highlighting the complex strategy, organizational and governance issues involved." – IOANNA CONSTANTIOU, Copenhagen Business School, Denmark"I'm pleased the editors of Strategic Information Management have produced this 5th edition, which represents a major overhaul, including online supporting materials not available with prior editions. Particularly valuable is the amplification of theory in this edition – not theory for theory's sake, but rather practice-guiding theory; the implication being that we are all researchers and that complex matters demand research and unique approaches and solutions. I strongly encourage students and practitioners to assume an evidence-based practice perspective when reading and reflecting on these writings which, combined, provide a much-needed stimulus for critical thinking on these complex matters in what are challenging times." – GUY GABLE, Queensland University of Technology, Australia"The fifth edition of Strategic Information Management has great value in providing directions for practitioners and scholars towards an understanding of the strategic importance and managerial challenges of digital transformation in today’s organizations. With inputs from international scholars, the book offers really useful management frameworks and principles to help in understanding how organizations and industries are transformed by disruptive digital technologies." – CAROL HSU, Tongji University, China"This fifth edition of Strategic Information Management updates and strengthens what has long served as a vehicle through which current and future executives obtain a foundational understanding as well as pragmatic insights regarding a host of strategic and managerial issues associated with the digital transformation of organizations. As with the earlier editions, the authors refuse to fall into the too-often-taken route of providing readers with a handbook offering ‘one-size-fits-all’ practices and procedures – solutions which ultimately fail to align with the situations faced by readers. Instead, the editors successfully provide readers with exposures to critical themes and frameworks and to illustrations of how some of our brightest executives are applying these in addressing digitalization initiatives and challenges – providing readers with the capability to formulate workable solutions to many, if not most, of the situations they face in their digital transformation efforts." – ROBERT W. ZMUD, University of Oklahoma, USATable of ContentsPart 1: Foundations to IS Strategy and Strategizing 1. Historical Approaches: Experiences in Information Systems Planning 2. Further Reflections: Reflections on Information Systems Strategizing 3. A Critique: On Confronting Some of the Common Myths of IS Strategy 4. Conceptual Developments: Further Developments in Information Systems Strategizing: Unpacking the Concept 5. Aligning Practices: Aligning in Practice: From Current Cases to a New Agenda Part 2: Digital Transformation and Organizational Transformation 6. Navigating digital transformation: How Big Old Companies Navigate Digital Transformation 7. Formulating a digital strategy: Options for Formulating a Digital Transformation Strategy 8. Building Digital Capabilities: How Lego Built the Foundations and Entreprise Capabilities for Digital Leadership 9. Chief Digital Officers: How Chief Digital Officers Promote the Digital Transformation of their Companies 10. Power Dynamics: Strategic Information Systems and Organizational Power Dynamics Part 3: Organizing and Governing the IS Function 11. Principles and models: Principles and Models for Organizing the IT Function 12. Managing in economic decline: How CIOs Manage IT during Economic Decline: Surviving and Thriving Amid Uncertainty 13. CIO profiles: CIO Leadership Profiles: Implications of Matching CIO Authority and Leadership Capability on IT Impact 14. Alternative roles for Chief Digital Officers: Three Types of Chief Digital Officers and the Reasons Organizations Adopt the Role 15. The IS organization: Rethinking the concept: Rethinking the Concept of the IS Organization Part 4: Some Current and Emerging Challenges 16. Opening strategy through social media: Social Media and the Emergence of Reflexiveness as a New Capability for Open Strategy 17. Organizational socialization and social media: An Affordance Perspective of Social Media and Organizational Socialization 18. Decision support systems failures: When Decision Support Systems Fail: Insights for Strategic Information Systems from Formula 1 19. Opportunities and challenges of datification: Strategic Opportunities (and Challenges) of Algorithmic Decision-Making: A Call for Action on the Long-Term Societal Effects of 'Datification' 20. Ethical issues: Ethical Issues in the Big Data Industry

Read more less

Book SynopsisThe book familiarizes readers with fundamental concepts and issues related to computer vision and major approaches that address them. The focus of the book is on image acquisition and image formation models, radiometric models of image formation, image formation in the camera, image processing concepts, concept of feature extraction and feature selection for pattern classification/recognition, and advanced concepts like object classification, object tracking, image-based rendering, and image registration. Intended to be a companion to a typical teaching course on computer vision, the book takes a problem-solving approach.Table of ContentsPart I Image Formation and Image Processing. 1 Introduction to Computer Vision and Basic Concepts of Image Formation. 2 Image Processing Concepts. Part II Image Features. 3 Image Descriptors and Features. Part III Recognition. 4 Fundamental Pattern Recognition Concepts. Part IV Applications. 5 Applications of Computer Vision.

Read more less

Book SynopsisThis is a book about the development of dependable, embedded software. It is for systems designers, implementers, and verifiers who are experienced in general embedded software development, but who are now facing the prospect of delivering a software-based system for a safety-critical application. It is aimed at those creating a product that must satisfy one or more of the international standards relating to safety-critical applications, including IEC 61508, ISO 26262, EN 50128, EN 50657, IEC 62304, or related standards.Of the first edition, Stephen Thomas, PE, Founder and Editor of FunctionalSafetyEngineer.com said, I highly recommend Mr. Hobbs' book. Table of ContentsPart 1: Background. 1. Introduction. 2. Terminology of Safety. 3. Safety Standards and Certification. 4. Representative Companies. Part 2: The Project. 5. Foundational Analyses. 6. Certified and Uncertified Components. Part 3: Design Patterns. 7. Architectural Balancing. 8. Error Detection and Handling. 9. Expecting the Unexpected. 10 Replication and Diversification. Part 4: Design Validation. 11. Markov Models. 12. The Fault Tree. 13. Software Failure Rates. 14. Semi-Formal Design Verification. 15. Formal Design Verification. Part 5: Coding. 16. Coding Guidelines. 17. Code Coverage Metrics. 18. Static Analysis. Part 6: Verification. 19. Integration Testing. 20. The Tool Chain. 21. Conclusion. Part 7: Appendices. A. Goal Structuring Notation. B. Bayesian Belief Networks. C .Calculating (2+3)+4. D. Notations.

Read more less

Book SynopsisIt takes 17 years on average to bring new medical treatments ideas into evidence-based clinical practice. The growing replicability crisis in science further delays these new miracles. Blockchain can improve science and accelerate medical research while bringing a new layer of trust to healthcare.This book is about science, its value to medicine, and how we can use blockchain to improve the quality and impact of both. The book looks at science and medicine from an insiderâs perspective and describes the processes, successes, shortcomings and opportunities in an accessible way for a broad audience. It weaves this a non-technical look at the emerging world of blockchain technology; what it is, where it is useful, and how it can improve science and medicine. It lays out a roadmap for this application to transform how we develop knowledge about health and medicine to improve our lives.In the first part, Blockchain isnât Tech, the authors look at blockchain/distributed ledgTable of ContentsList of Tables and Figures. Preface. Acknowledgements. About the Authors. Introduction. Part I - Blockchain isn’t Tech. Chapter 1 - Distributed Ledgers. Chapter 2 - Blockchain Basics. Chapter 3 - From Finance to Health: Way Beyond Bitcoin. Chapter 4 - Data Complexity. Chapter 5 - Blockchain is People. Part II - Science is Easy. Chapter 6 - Good Science. Chapter 7 - Evidence Based Medicine. Chapter 8 - Science Crisis. Chapter 9 - Open Science. Part III - DAO of Science. Chapter 10 - Distributing Science. Chapter 11 - Better Quality Science. Chapter 12 - Value-Based Research. Chapter 13 - Faster Medical Miracles. Chapter 14 - DAO of Science. Chapter 15 - The Roadmap. Notes. Index.

Read more less

Book SynopsisThe first edition of Exercises in Programming Style was honored as an ACM Notable Book and praised as The best programming book of the decade. This new edition retains the same presentation but has been upgraded to Python 3, and there is a new section on neural network styles.Using a simple computational task (term frequency) to illustrate different programming styles, Exercises in Programming Style helps readers understand the various ways of writing programs and designing systems. It is designed to be used in conjunction with code provided on an online repository. The book complements and explains the raw code in a way that is accessible to anyone who regularly practices the art of programming. The book can also be used in advanced programming courses in computer science and software engineering programs.The book contains 40 different styles for writing the term frequency task. The styles are grouped into ten categories: historical, basic, function composition, objects and object interactions, reflection and metaprogramming, adversity, data-centric, concurrency, interactivity, and neural networks. The author states the constraints in each style and explains the example programs. Each chapter first presents the constraints of the style, next shows an example program, and then gives a detailed explanation of the code. Most chapters also have sections focusing on the use of the style in systems design as well as sections describing the historical context in which the programming style emerged.Table of ContentsPart 1 HistoricalPart 2 Basic StylesPart 3 Function CompositionPart 4 Objects and Object InteractionPart 5 Reflection and MetaprogrammingPart 6 AdversityPart 7 Data-CentricPart 8 ConcurrencyPart 9 InteractivityPart 10 Neural Networks

Read more less

Book SynopsisChris Barneyâs Pattern Language for Game Design builds on the revolutionary work of architect Christopher Alexander to show students, teachers, and game development professionals how to derive best practices in all aspects of game design. Using a series of practical, rigorous exercises, designers can observe and analyze the failures and successes of the games they know and love to find the deep patterns that underlie good design. From an in-depth look at Alexanderâs work, to a critique of pattern theory in various fields, to a new approach that will challenge your knowledge and put it to work, this book seeks to transform how we look at building the interactive experiences that shape us.Key Features: Background on the architectural concepts of patterns and a Pattern Language as defined in the work of Christopher Alexander, including his later work on the Fifteen Properties of Wholeness and Generative Codes. Analysis of other uses of Alexanderâs work in computer science and game design, and the limitations of those efforts. A comprehensive set of example exercises to help the reader develop their own patterns that can be used in practical day-to-day game design tasks. Exercises that are useful to designers at all levels of experience and can be completed in any order, allowing students to select exercises that match their coursework and allowing professionals to select exercises that address their real-world challenges. Discussion of common pitfalls and difficulties with the pattern derivation process. A guide for game design teachers, studio leaders, and university departments for curating and maintaining institutional Pattern Languages. An Interactive Pattern Language website where you can share patterns with developers throughout the world (patternlanguageforgamedesign.com). Comprehensive games reference for all games discussed in this book. AuthorChris Barney is an industry veteran with more than a decade of experience designing and engineering games such as Poptropica and teaching at Northeastern University. He has spoken at conferences, including GDC, DevCom, and PAX, on topics from core game design to social justice. Seeking degrees in game design before formal game design programs existed, Barney built his own undergraduate and graduate curricula out of offerings in sociology, computer science, and independent study. In pursuit of a broad understanding of games, he has worked on projects spanning interactive theater, live-action role-playing game (LARP) design, board games, and tabletop role-playing games (RPGs). An extensive collection of his essays of game design topics can be found on his development blog at perspectivesingamedesign.com.Table of ContentsSection I IntroductionChapter 1 ◾ Introduction 3Section II BackgroundChapter 2 ◾ Background on A Pattern Language by Christopher Alexander 21Chapter 3 ◾ Background on the Use of Pattern Languages in Other Fields 29Chapter 4 ◾ Background on the Use of Patterns in Game Design 35Section III An Introduction to Patterns in Game DesignChapter 5 ◾ An Introduction to Patterns in Game Design 53Chapter 6 ◾ Common Problems in Proposed Patterns 69Section IV Pattern ExercisesChapter 7 ◾ Pattern Exercises 77Chapter 8 ◾ Basic Pattern Exercise 79Chapter 9 ◾ Structural Pattern Exercises 89Chapter 10 ◾ Focused Patterns 147Chapter 11 ◾ Patterns That Break the Mold 185Section V The Fifteen PropertiesChapter 12 ◾ Taking a Step Back: What We Have Learned So Far 217Chapter 13 ◾ The “Fifteen Fundamental Properties of Wholeness” in Game Design 219Section VI Advanced Pattern-Generation ExercisesChapter 14 ◾ Advanced Pattern-Generation Exercises 241Section VII Building a LanguageChapter 15 ◾ Connecting Patterns into a Language 313Chapter 16 ◾ Organizing and Maintaining a Pattern Language 333Chapter 17 ◾ Creating New Pattern Exercises 375Chapter 18 ◾ Designing with a Pattern Language 379Chapter 19 ◾ Teaching Yourself or Students with Pattern Languages 385

Read more less

Book SynopsisThe design, construction, and upkeep of infrastructure is comprised of a multitude of dimensions spanning a highly complex paradigm of interconnected opportunities and challenges. While traditional methods fall short of adequately accounting for such complexity, artificial intelligence (AI) presents novel and out-of-the-box solutions that effectively tackle the growing demands of our infrastructure. The convergence between AI and civil engineering is an emerging frontier with tremendous potential.The book is likely to provide a boost to the state of infrastructure engineering by fostering a new look at civil engineering that capitalizes on AI as its main driver. It highlights the ongoing push to adopt and leverage AI to realize contemporary, intelligent, safe, and resilient infrastructure. The book comprises interdisciplinary and novel works from across the globe. It presents findings from innovative efforts supplemented with physical tests, numerical simulations, and case stTable of Contents1. Convolutional Neural Networks and Applications on Civil Infrastructure 2. Identifying Non-linearity in Construction Workers' Personality: Safety Behaviour Predictive Relationship Using Neural Network and Linear Regression Modelling 3. Machine Learning Framework for Predicting Failure Mode and Flexural Capacity of FRP-Reinforced Beams 4. A Novel Formulation for Estimating Compressive Strength of High Performance Concrete Using Gene Expression Programming 5. Implementation of Data-Driven Approaches for Condition Assessment of Structures and Analyzing Complex Data 6. Automatic Detection of Surface Thermal Cracks in Structural Concrete with Numerical Correlation Analysis 7. State-of-the-Art Research in the Area of Artificial Intelligence with Specific Consideration to Civil Infrastructure, Construction Engineering and Management, and Safety 8. Artificial Intelligence in Concrete Materials: A Scientometric View 9. Active Learning Kriging-Based Reliability for Assessing the Safety of Structures: Theory and Application 10. A Bayesian Estimation Technique for Multilevel Damage Classification in DBHM 11. Machine learning and IoT Data for Concrete Performance Testing and Analysis 12. Knowledge-enhanced Deep Learning for Efficient Response Estimation of Nonlinear Structures 13. Damage Detection in Reinforced Concrete Girders by Finite Element and Artificial Intelligence Synergy 14. Deep Learning in Transportation Cyber-Physical Systems 15. Artificial Intelligence in the Construction Industry: Theory and Emerging Applications for the Future of Work 16. The Use of Machine Learning in Heat Transfer Analysis for Structural Fire Engineering Applications 17. Using Artificial Intelligence to Derive Temperature Dependent Mechanical Properties of Ultra-High Performance Concrete 18. Smart Tunnel Fire Safety Management by Sensor Network and Artificial Intelligence

Read more less

Book SynopsisConservation of Time-based Media Art is the first book to take stock of the current practices and conceptual frameworks that define the emerging field of time-based media conservation, which focuses on contemporary artworks that contain video, audio, film, slides or software components.Written and compiled by a diverse group of time-based media practitioners around the world, including conservators, curators, registrars and technicians among others, this volume offers a comprehensive survey of specialized practices that have developed around the collection, preservation and display of time-based media art. Divided into 23 chapters with contributions from 36 authors and 85 additional voices, the narrative of this book provides both an overview and detailed guidance on critical topics, including the acquisition, examination, documentation and installation of time-based media art; cross-medium and medium-specific treatment approaches and methods; the registration, storaTable of ContentsPart 1: Caring for Time-based Media Art; 1. Implementing Time-based Media Art Conservation in Museum Practice - Joanna Phillips; 2. Theories of Time-based Media Art Conservation: From Ontologies to Ecologies - Renée van de Vall; 3. A Roundtable: Curatorial Perspectives on Collecting Time-based Media Art - Annet Dekker in conversation with Karen Archey, Ulanda Blair, Sarah Cook, Ana Gonçalves Magalhães, Sabine Himmelsbach, Kelani Nichole, Christiane Paul and Henna Paunu; 4. Institutional Assessments and Collection Surveys for Time-based Media Conservation - Lia Kramer, Alexandra Nichols, Mollie Anderson, Nora Kennedy, Lorena Ramírez López, and Glenn Wharton; 5. Outside the Institution: Crossing the Boundaries of Communities and Disciplines to Preserve Time-based Media - Mona Jimenez, Kristin MacDonough and Martha Singer; 6. The Role of Advocacy in Media Conservation - Jim Coddington; Part 2: Building a Workplace; 7. Building a Time-based Media Conservation Lab: A Survey and Practical Guide, from Minimum Requirements to Dream Lab - Kate Lewis; 8. Digital Storage for Artworks: Theory and Practice - Amy Brost; 9. Staffing and Training in Time-based Media Conservation - Louise Lawson; 10. A Roundtable: Implementing Cross-Departmental Workflows at SFMOMA - Martina Haidvogl in conversation with Michelle Barger, Joshua Churchill, Steve Dye, Rudolf Frieling, Mark Hellar, Jill Sterrett, Grace T. Weiss, Layna White, and Tanya Zimbardo; Part 3: Cross-medium Practices in Time-based Media Conservation; 11. Documentation as an Acquisition and Collection Tool for Time-based Media Artworks - Patricia Falcão, Ana Ribeiro, and Francesca Colussi; 12. Inventory and Database Registration of Time-based Media Art - Martina Haidvogl and Linda Leckart; 13. Digital Preservation and the Information Package - Nicole Martin; 14. Disk imaging as a back-up tool for digital objects - Eddy Colloton, Jonathan Farbowitz, and Caroline Gil Rodríquez; 15. Managing and Storing Artwork Equipment in Time-based Media Art - Duncan Harvey; 16. The Installation of Time-based Media Artworks - Tom Cullen; 17. A Roundtable: Collaborating with Media Artists to Preserve their Art - Joanna Phillips and Deena Engel in conversation with Lauren Cornell, Mark Hellar, Diego Mellado, Steven Sacks, Lena Stringari, Siebren Versteeg and Gaby Wijers; Part 4: Medium-specific Practices in Time-based Media Conservation; 18. Caring for Analog and Digital Video Art - Agathe Jarczyk and Peter Oleksik; 19. Sound in Time-based Media Art - Chris McDonald; 20. Caring for Analog and Digital Film-based Art - John Klacsmann with a contribution by Julian Antos; 21. Caring for Slide-based Artworks - Jeffrey Warda; 22. Caring for Software- and Computer-based Art - Deena Engel, Tom Ensom, Patricia Falcão , and Joanna Phillips; 23. A Word about Performance Art - Hélia Marçal.

Read more less

Book SynopsisThe book is based on the best papers of IEEE IRI 2018 and IEEE FMI 2018, Salt Lake City, July, 2018. They have been enhanced and modified suitably for publication. The book comprises recent works covering several aspects of reuse in intelligent systems including Scientific Theory and Technology-Based Applications. New data analytic algorithms, technologies, and tools are sought to be able to manage, integrate, and utilize large amounts of data despite hardware, software, and/or bandwidth constraints; to construct models yielding important data insights, and to create visualizations to aid in presenting and understanding the data. Furthermore, it addresses the representation, cleansing, generalization, validation, and reasoning strategies for the scientifically-sound and cost-effective advancement of all kinds of intelligent systems including all software and hardware aspects. The book addresses problems such as, how to optimally select the information/data sets for reuse and Table of ContentsExperimental Studies on the Impact of Data Sampling with Severely Imbalanced big data. How to Optimally Combine Univariate and Multivariate Feature Selection with Data Sampling for Classifying Noisy, High Dimensional and Class Imbalanced DNA Microarray Data. Big Data and Class Imbalance in Medicare Fraud Detection. Movie Recommendations Based on a Recurrent Neural Network Model. A Recommendation System Enhanced by Topic Modeling for Knowledge Reuse in MOOCs Ecosystems. Toward a Computer Vision Based Approach for Developing Algorithms for Soccer Playing Robots. Context-dependent Reachability Analysis for Hybrid Systems. Netflow Feature Evaluation for the Detection of Slow Read HTTP Attacks. Predictive Analysis of Server Log Data for Forecasting Events.

Read more less

Book SynopsisProgramming Media Art Using Processing: A Beginner''s Guide provides an entry-level exploration into visual design through computer programming using the open source and artist-friendly language, Processing. Used by hundreds of students, this learning system breaks lessons down into strategic steps towards fun and creative media art projects.This book provides a linear series of lessons with step-by-step examples that lead to beginning media art projects, including abstract designs, pixel landscapes, rollover animations, and simple video games. Computer programming can be overwhelming for the first-time learner, but this book makes the learning of code more digestible and fun through a full color, well-diagrammed, and deeply explained text presentation. Lessons are rhythmically broken down into digestible parts with code annotations and illustrations that help learners focus on the details one step at a time. The content is legible, flexible, and fun to work witTable of ContentsAcknowledgements and Contributor ListAuthor BioIntroduction and Best PracticesChapter 1: Designing Graphically with the Language of CodeGetting Started & Basic OverviewLesson 1.1: Pixel Grid SystemLesson 1.2: Code and Canvas WindowsLesson 1.3: More ShapesLesson 1.4: GrayscaleLesson 1.5: Syntax, Comments, and Order of CodeLesson 1.6: Line Commands (Stroke and No Stroke)Lesson 1.7: Coloring PixelsLesson 1.8: Adding Transparency ValuesLesson 1.9: The Processing Reference – Important Resource!Project: Geometric DesignChapter 2: Creating Responsive EnvironmentsLesson 2.1: Dynamic Computer ProgramsLesson 2.2: First AnimationsLesson 2.3: Animation Trails Lesson 2.4: Finding Exact CoordinatesLesson 2.5: Complex ShapesLesson 2.6: Linking Shapes for Synched MovementLesson 2.7: Adding TextLesson 2.8: Rotating ShapesProject: Interactive EnvironmentChapter 3: Automated AnimationsLesson 3.1: Counting VariablesLesson 3.2: Moving Objects in Multiple DirectionsLesson 3.3: Growing Shapes with the MouseLesson 3.4: Println() for DebuggingLesson 3.5: Constrain() for Stopping AnimationsLesson 3.6: Random() OpportunitiesLesson 3.7: Automated RotationsProject: Automated EnvironmentChapter 4: Animated CollagesLesson 4.1: Preparing and Importing ImageryLesson 4.2: Moving ImagesLesson 4.3: Fading and Coloring Images using Tint()Lesson 4.4: Resizing Images & MultiplesLesson 4.5: Constraining Mouse MovementsLesson 4.6: Void Key Pressed() and Image RotationsLesson 4.7: Create FontsLesson 4.8: Project Optimization and noSmooth()Project: Animated and Interactive CollageChapter 5: Conditional Interactions and Rollovers Lesson 5.1: Conditional Statements and Relational Operators Lesson 5.2: Conditional Statements with Custom Variables Lesson 5.3: And vs. Or Lesson 5.4: Logical Operators Defining Spaces Lesson 5.5: Variations with Mouse and Keyboard ActionsLesson 5.6: Two Variables: Alternating MovementsLesson 5.7: Color Detection Using the Get() FunctionProject: Rollover AnimationChapter 6: Events and Interactions for Simple Games: Part 1 Lesson 6.1: Turning Things on with Boolean Variables Lesson 6.2: Toggling Between Two States Using Boolean Variables Lesson 6.3: Multiple Buttons Alternating Lesson 6.4: Booleans Working with Counting Variables Lesson 6.5: Specific Keyboard Interactions Lesson 6.6: Creating a Walking CharacterLesson 6.7: BoundariesChapter 7: Events and Interactions for Simple Games: Part 2 Lesson 7.1: TimersLesson 7.2: Continuous Motion Key ControlsLesson 7.3: For Loops are EfficientLesson 7.4: Color Detection with For LoopsLesson 7.5: Game Creation from Keys, Loops, and Color DetectionLesson 7.6: Image Collisions with the Distance() FunctionLesson 7.7: Two Players, Directional Movement, and Jumping!Chapter 8: Multilevel Architectures and Arrays Lesson 8.1: Basic Levels ArchitectureLesson 8.2: States within LevelsLesson 8.3: ArraysLesson 8.4: Image ArraysLesson 8.5: Player OptionsLesson 8.6: Choice Based ProjectsConclusionFinal Project: Multilevel Interactive Experience

Read more less

Book SynopsisArtificial Intelligence in Accounting: Practical Applications was written with a simple goal: to provide accountants with a foundational understanding of AI and its many business and accounting applications. It is meant to serve as a guide for identifying opportunities to implement AI initiatives to increase productivity and profitability. This book will help you answer questions about what AI is and how it is used in the accounting profession today. Offering practical guidance that you can leverage for your organization, this book provides an overview of essential AI concepts and technologies that accountants should know, such as machine learning, deep learning, and natural language processing. It also describes accounting-specific applications of robotic process automation and text mining. Illustrated with case studies and interviews with representatives from global professional services firms, this concise volume makes a significant contribution to examining the iTable of Contents1. What accountants need to know. 2. Applications of AI in accounting. 3. Robotic process automation. 4. Text mining. 5. Contemporary case studies. 6. Challenges and ethical considerations of AI. 7. Future outlook.

Read more less

Book SynopsisHow did we end up here, masters of scientific insight, purveyors of ever more powerful technologies, astride the burning planet that created us, and now responsible for cleaning up the mess and determining the future direction of all of life? And what do we do about it?Technology is Dead is a book that attempts to answer both of those questions. It is a book of both challenge and hope, written for those who are able or willing to lead us out of our global predicament. It is a book for everybody: the politicians, CEOs, community leaders, everyday parents, and young people who understand that we must change our ways to ensure a sustainable future for all living things and the planet we rely on.

Read more less

Book SynopsisAn Introduction to Cyberpsychology provides a comprehensive introduction to this rapidly growing discipline. Fully updated in its second edition, the book encourages students to critically evaluate the psychology of online interactions and to develop appropriate research methodologies to complete their own work in this field.The book examines cyberpsychology and online research methodologies, social psychology in an online context, practical applications of cyberpsychology, and the psychological aspects of other technologies. This new edition has been carefully updated to include additional coverage of: Expanded content relating to major developments in the field and new content on gaming and screentime A new chapter examining the relationship between older adults and technology Cyberpsychology in focus feature boxes in each chapter that examine topics in depth Interviews with professionals working in fields relating to cyberpsychology Each chapter includes key terms and a glossary, content summaries, discussion questions, and recommended reading to guide further study.Supported by extensive online resources for students and instructors, this authoritative book is an essential core text for undergraduate modules in cyberpsychology, and an ideal primer for students of postgraduate programs in cyberpsychology.To view the additional student and instructor resources for this book, please visit https://routledgelearning.com/bpscoretextbooksTrade Review‘The editorial team and contributors’ knowledge and understanding of the broad intersections of cyberpsychology research is second-to-none, given their years of experience teaching and writing about the impact of technology on human behaviour. This is a must have book for those starting to learn about, or wanting to keep pace with, the multi-disciplinary field of cyberpsychology.’ Dr. Andrew J. Campbell, Associate Professor of Cyberpsychology, The University of Sydney, Australia‘The 2nd Edition of An Introduction to Cyberpsychology offers a comprehensive and thought-provoking critical analysis of a range of contemporary topics in this ever-evolving field. With supporting online resources, this is an essential read for interested scholars and students across a range of disciplinary areas, not least in psychology. Highly recommend.’ Neil Coulson, Professor of Health Psychology, University of Nottingham, UK‘The second edition of An Introduction to Cyberpsychology shares the most-up-to-date research on contemporary issues in cyberpsychology in accessible, easy-to-understand language. It is thorough and considers the multiple ways in which human behaviour shapes and is shaped by digital technology across all facets of life from developmental ages (youth and older age), work, education, sport, and interpersonal and romantic relationships. Chapters are written by leaders in the field and the online learning activities would enhance any cyberpsychology curriculum. I'm looking forward to using this in my own classrooms!’Dr Melanie Keep, Director of Academic Education, Sydney School of Health Sciences, Faculty of Medicine and Health, The University of Sydney‘This book provides a comprehensive overview of cyberpsychology. It applies evidence-based literature from psychology and related disciplines to explore the impact of online technologies to a diverse range of topics including but not limited to health, education, social identity, consumer behaviour, and the workplace. In doing so it provides an invaluable resource for students, instructors, policymakers, and any other stakeholders with an interest in the increasingly important discipline of cyberpsychology. The supplementary online resources provided that can be accessed by students are engaging and will provide a deeper understanding of the issues that the book discusses.’Prof. John McAlaney, University of Bournemouth, UK‘As technology progresses, the importance of cyberpsychology as an essential part of the wider psychology curriculum becomes more apparent. This book acts as an excellent introduction to the field, providing an in-depth overview of all the subject has to offer. Through interactive discussion questions and additional reading lists, the book provides a valuable and accessible resource for students and anyone intrigued to find out more about our digital behaviours. An essential addition to the existing literature, with contributions from leading experts in the field. A great read!’ Dr Lisa Orchard, Senior Lecturer in Psychology, University of Wolverhampton, UK‘The new edition of An Introduction to Cyberpsychology by Irene Connolly, Marion Palmer, Hannah Barton, and Gráinne Kirwan demystifies the relatively new field of cyberpsychology. Moreover, it communicates the nuts and bolts of strategies from several up-to-date approaches for studying digital technologies. The companion website provides informative supplementary materials that are easy to follow. This is an important addition to the cyberpsychology literature.’ Thomas D. Parsons, PhD, Grace Center Professor for Innovation in Clinical Education, Simulation Science, & Immersive Technology, Director: Computational Neuropsychology & Simulation (CNS) Lab, Arizona State University, USA‘The second edition of An Introduction to Cyberpsychology is a valuable and much needed addition to the field. A must-read for those who are new to cyberpsychology as well as those who are looking to update their understandings. An Introduction to Cyberpsychology covers diverse topics at the forefront of cyberpsychology, which are highly applicable to life in the digital age. Importantly, An Introduction to Cyberpsychology provides readers with the building blocks to develop a nuanced and critical understanding of key issues in cyberpsychology.’Dr Catherine Talbot, Senior Lecturer in Psychology, Bournemouth University, UK‘An Introduction to Cyberpsychology does an amazing job of covering the current state of cyberpsychology and how its basic premises extend interdisciplinarily in both positive and potentially destructive ways. In addition to including many opportunities for the reader to think critically about this growing applied discipline within psychology, the editors and chapter authors have included many resources and relevant references that allow for extending the utility of the textbook outside of the very pages they appear on. As a cyberpsychological researcher and an academic teaching cyberpsychology at the graduate level, I found the focus on conducting online research particularly well-suited to my student’s needs, with several of the other chapters uniquely capturing the essence of what I want all of my first-year students to be aware of.’ Dr. Scott Debb, Associate Professor, CyberPsychology Research & Program Coordinator, Norfolk State University, USATable of ContentsPart 1: IntroductionInterview 1: Cyberpsychology in Professional PracticeItayi Viriri1. Introduction to CyberpsychologyGráinne Kirwan2. Conducting Online ResearchBrendan RooneyPart 2: Human interaction onlineInterview 2: Cyberpsychology in Professional PracticeLee Kelly3. Computer-Mediated Communication and Online MediaGráinne Kirwan4. Self and Identity in CyberspaceIrene Connolly5. The dark Side of the InternetHannah Barton and Derek Laffan6. Love and Relationships OnlineNicola Fox Hamilton7. Attention and Distraction OnlineJohn Greaney and Emma Mathias8. The Dynamics of Groups OnlineOlivia Hurley 9. Persuasion and Compliance in CyberspaceHannah Barton10. Privacy and Trust OnlineGrainne KirwanPart 3: Applied CyberpsychologyInterview 3: Cyberpsychology in Professional PracticeFardus Sultan11. Forensic CyberpsychologyGrainne Kirwan12. Cyberpsychology and PsychopathologyCliona Flood and Audrey Stenson13. Sport & Health CyberpsychologyOlivia Hurley 14. The Online WorkplaceCliona Flood and Audrey Stenson15. The Internet as an Educational SpaceMarion Palmer16. Consumer Cyberpsychology and Online marketingNicola Fox Hamilton 17. Young People and the InternetIrene Connolly 18. Older adults in the Digital AgeLiam ChallenorPart 4: Psychology and TechnologyInterview 4: Cyberpsychology in Professional PracticePhelim May19. Human-Computer InteractionAndrew Errity20. GamingDavid Hayes, Andrew Errity, Brendan Rooney, and Conall Tunney21. Psychological Applications of Virtual and Augmented/Mixed RealityGrainne Kirwan22. The Psychology of Artificial IntelligenceGrainne Kirwan

Read more less

Book SynopsisWhat is artificial intelligence (AI)? How does AI affect death matters and the digital beyond? How are death and dying handled in our digital age?AI for Dying and Death covers a broad range of literature, research and challenges around this topic. It explores ethical memorisation, digital legacies and bereavement, post death avatars and AI and the digital beyond. It also analyzes religious perspectives on AI for death and dying, and planning for death in a digital age. Table of ContentsChapter 1 What is Artificial Intelligence?Chapter 2 Death and Dying in the Digital AgeChapter 3 Ethical MemorialisationChapter 4 Digital Legacy ManagementChapter 5 Religious PerspectivesChapter 6 Digital BereavementChapter 7 Digital Afterlife, Digital Immortal Creation and Artificial IntelligenceChapter 8 Artificial Intelligence and the Digital BeyondReferences

Read more less

Book SynopsisAssisting organizations in improving their project management processes, the Project Management Maturity Model defines the industry standard for measuring project management maturity and agile and adaptive capabilities.Project Management Maturity Model, Fourth Edition provides a roadmap showing organizations how to move to higher levels of organizational behavior, improving project success and organizational performance. It''s a comprehensive tool for enhancing project management practices, covering areas critical to organizational improvement, such as the project management office, management oversight, and professional development. It also provides methods for optimizing project management processes and suggestions for deploying the model as a strategic tool in improving business outcomes. New material in each chapter also outlines good practices for implementing adaptive an agile processes. The book also includes the Project Portfolio Management Maturity ModeTable of Contents1. Describing Project Management Maturity. 2. Definitions of Maturity Levels. 3. Project Integration Management. 4. Project Scope Management. 5. Schedule Management. 6. Cost Management. 7. Quality Management. 8. Resource Management. 9. Communications Management. 10. Risk Management. 11. Procurement and Vendor Management. 12. Project Stakeholder Management. 13. Now What? Using Your Maturity Assessment to Achieve Business Goals. Epilogue. Appendix A: Self-Assessment Survey. Appendix B: PPM Maturity Model. Appendix C: A Glossary of Terms for Adaptive/Agile Project Management. References. Index.

Read more less

Book SynopsisVirtual Humans provides a much-needed definition of what constitutes a âvirtual humanâ and places virtual humans within the wider context of Artificial Intelligence development. It explores the technical approaches to creating a virtual human, as well as emergent issues such as embodiment, identity, agency and digital immortality, and the resulting ethical challenges. The book presents an overview of current research and practice in this area, and outlines the major challenges faced by todayâs developers and researchers. The book examines the possibility for using virtual humans in a variety of roles, from personal assistants to teaching, coaching and knowledge management, and the book situates these discussions around familiar applications (e.g. Siri, Cortana, Alexa) and the portrayal of virtual humans within Science Fiction.Features Presents a comprehensive overview of this rapidly developing field Trade Review"This book presents an overview of the present state of play with virtual humans. Appearance, attributes, communication and intelligence are all investigated, and the architectures involved are covered in detail. If you have little knowledge of what a virtual human is, but want to find out, then this is the book for you. For researchers in the virtual human field this is a definite must." -Professor Kevin Warwick, Coventry University "David Burden and Maggi Savin-Baden’s Virtual Humans offers a thorough, research-based treatment of how digital entities with human-like features and capabilities have left the domain of science fiction and are rapidly becoming a major aspect of human culture. In their clearly-written and well-organized work, they describe the current forms and abilities of virtual humans (including smart speakers and virtual assistant systems like Siri, Alexa, and Cortana and various types of Internet-based chatbots); examine how the creation of virtual bodies, senses, and minds can be combined to create virtual humans; and consider potential developments in the nature and functionality of virtual agents across a range of timeframes from the end of the next decade to the end of the century. Significantly, the authors recognize and discuss the great ethical, moral and social implications of these technological developments which makes their work relevant and important for the social sciences and humanities as well as the domains of computing and information sciences. I certainly intend to use Virtual Humans as an assigned reading in the interdisciplinary courses I teach on the personal and social impact of leading-edge digital technologies." -Richard Gilbert, Professor of Psychology and Director of the Psychology and New Technology Research Lab, Loyola Marymount University, Los Angeles, California "Intelligent, pragmatic and insightful, Virtual Humans is an essential guide for those who want to understand the complex landscape of today’s technology when thinking about designing and building a virtual human. Helpfully, it clearly deploys a wealth of supporting analysis, case studies, research, ethical questions, and moral dilemmas and adds a refreshing dose of healthy common sense along the way." -Nicola Strong, Strong Enterprises Table of ContentsIntroduction Part I The Landscape Chapter 1 What are Virtual Humans? Chapter 2 Virtual Humans and Artificial Intelligence Part II Technology Chapter 3 Body and Senses Chapter 4 Mind Chapter 5 Communication Chapter 6 Architecture Chapter 7 Embodiment Chapter 8 Assembling and Assemblages Part III Identity Chapter 9 Digital Ethics Chapter 10 Identity and Agency Chapter 11 Virtual Humans for Education Chapter 12 Digital Immortality Chapter 13 Futures and Possibilities Glossary

Read more less

Book SynopsisReflecting the immense progress in the development and use of software metrics in the past decades, this third edition provides an up-to-date, accessible, and comprehensive introduction to software metrics. This edition contains new material relevant to object-oriented design, design patterns, model-driven development, and agile development procTrade Review"The wait for a new edition of this book is over. Long considered the go-to text for its thorough coverage of software measurement and experimentation, the new edition succeeds splendidly in bringing the field up to date while including new and important topics. … updated with the latest results from recent advances in software measurement research and practice. … The authors do an outstanding job of balancing formal analysis topics with examples that ground the reader in practical application. … Both researchers and practitioners alike will gain a valuable understanding of why measurement is critical for quality improvements in software development processes and software products. … With this updated edition, this book solidifies its standing as the most complete reference text for software measurement."—Computing Review, April 2015"I have been using this book as my primary reference on software metrics for over 20 years now. It still remains the best book by far on the science and practice of software metrics. This latest edition has some important updates, especially with the inclusion of material on Bayesian networks for prediction and risk assessment."—Paul Krause, University of Surrey, Guildford, UK"Great introduction to software metrics, measurement, and experimentation. This will be a must-read for my software engineering students."—Lukasz Radlinski, PhD, West Pomeranian University of Technology, Szczecin, Poland"I have loved this book from the first edition and with each new edition it just keeps getting better and better. I use this book constantly in my software engineering research and always recommend it to students. It is so much more than a software metrics book; to me it is an essential companion to rigorous empirical software engineering."—Dr. Tracy Hall, Department of Computer Science, Brunel University, Uxbridge, UK"This new edition of Software Metrics succeeds admirably in bringing the field of software measurement up to date and in delivering a wider range of topics to its readers as compared to its previous edition. I have both reviewed and used the book in my software measurement courses and find it to be one of the most advanced and well structured on the market today, tailored for training software engineers in both theoretical and practical aspects of software measurement. I look forward to continuing the use of the book for teaching purposes and am very comfortable offering my recommendation for this book as a primary textbook for graduate or undergraduate courses on software measurement. Thank you again for providing such a quality book to our software engineering education programs."—Olga Ormandjieva, Associate Professor, Department of Computer Science and Software Engineering, Concordia University, Canada"This book lucidly and diligently covers the nuts and bolts of software measurement. It is an excellent reference on software metric fundamentals, suitable as a comprehensive textbook for software engineering students and as a definitive manual for industry practitioners."—Mohammad Alshayeb, Associate Professor of Software Engineering, King Fahd University of Petroleum and MineralsTable of ContentsFundamentals of Measurement and Experimentation: Measurement: What Is It and Why Do It? The Basics of Measurement. A Goal-Based Framework for Software Measurement. Empirical Investigation. Software Metrics Data Collection. Analyzing Software Measurement Data. Metrics for Decision Support: The Need for Causal Models. Software Engineering Measurement: Measuring Internal Product Attributes: Size. Measuring Internal Product Attributes: Structure. Measuring External Product Attributes. Software Reliability: Measurement and Prediction. Appendix. Bibliography. Index.

Read more less

Book SynopsisThe ability to use computers to solve mathematical relationships is a fundamental skill for anyone planning for a career in science or engineering. For this reason, numerical analysis is part of the core curriculum for just about every undergraduate physics and engineering department. But for most physics and engineering students, practical programming is a self-taught process.This book introduces the reader not only to the mathematical foundation but also to the programming paradigms encountered in modern hybrid software-hardware scientific computing. After completing the text, the reader will be well-versed in the use of different numerical techniques, programming languages, and hardware architectures, and will be able to select the appropriate software and hardware tool for their analysis.It can serve as a textbook for undergraduate courses on numerical analysis and scientific computing courses within engineering and physical sciences departments. It will also be a valuable guidebook for researchers with experimental backgrounds interested in working with numerical simulations, or to any new personnel working in scientific computing or data analysis.Key Features: Includes examples of solving numerical problems in multiple programming languages, including MATLAB, Python, Fortran, C++, Arduino, Javascript, and Verilog Provides an introduction to modern high-performance computing technologies including multithreading, distributed computing, GPUs, microcontrollers, FPGAs, and web cloud computing Contains an overview of numerical techniques not found in other introductory texts including particle methods, finite volume and finite element methods, Vlasov solvers, and molecular dynamics A video of the author discussing the book can be accessed here: https://www.youtube.com/watch?v=KYn8aDKXlcs

Read more less

Book SynopsisThis handbook provides a hands-on experience based on the underlying topics, and assists students and faculty members in developing their algorithmic thought process and programs for given computational problems. It can also be used by professionals who possess the necessary theoretical and computational thinking background but are presently making their transition to Python.Key Features: Discusses concepts such as basic programming principles, OOP principles, database programming, GUI programming, application development, data analytics and visualization, statistical analysis, virtual reality, data structures and algorithms, machine learning, and deep learning Provides the code and the output for all the concepts discussed Includes a case study at the end of each chapter This handbook will benefit students of computer science, information systems, and information technology, or anyone who is involved in computer programming (entry-to-intermediate level), data analytics, HCI-GUI, and related disciplines.

Read more less

Book SynopsisExplanatory Model Analysis Explore, Explain and Examine Predictive Models is a set of methods and tools designed to build better predictive models and to monitor their behaviour in a changing environment. Today, the true bottleneck in predictive modelling is neither the lack of data, nor the lack of computational power, nor inadequate algorithms, nor the lack of flexible models. It is the lack of tools for model exploration (extraction of relationships learned by the model), model explanation (understanding the key factors influencing model decisions) and model examination (identification of model weaknesses and evaluation of model''s performance). This book presents a collection of model agnostic methods that may be used for any black-box model together with real-world applications to classification and regression problems.Trade Review"The structure is well-conceived, with chapters consisting in five sections: intuition, method, example, pros and cons, and code snippets. I sense a teacher’s long experience behind these choices.The chapters contain good mathematical detail on the techniques discussed, but the theory is well balanced with examples and code.The visualizations are great. Often, the gist of a particular technique, and it’s practical, interpretive value, can be gleaned from the visualizations threading through the chapter, along with captions. The authors did a really nice job with this.The rationale for the book is well-described.The discussion of techniques seems both comprehensive (given my sense of the field) and helpfully specific, both at the instance and the dataset levels."-Jeff Webb, University of Utah"The authors are doing a very good job in addressing the potential readers, by providing a clean presentation and practical guidance on diagnostic graphical tools…Having an ‘intuition section’ at the beginning of each chapter is very useful."-Riccardo De Bin, University of Oslo"The book provides a unified presentation of model exploration, visualization, comparison and diagnostics of different machine learning algorithms…This book would be found useful by both students as well as practitioners who analyze their own data. Books including real data examples in R and in Python are needed in this area. (It) will serve as a reference, especially for analyses done with dalex or archivist R package (and )can serve as a textbook of data science courses in many fields including computer science, social sciences, economics and other."-Patricia Martinkova, Institute of Computer Science of the Czech Academy of Sciences"There are books that focus on prediction models, for example the element of statistical learning and an introduction to statistical learning but these are not focused on the evaluation of predictive models which is the main focus on the proposed book and its main advantage. As predictive models become very popular in the last years, such a book that focus on the evaluation of the models and model diagnostics can be very popular."-Ziv Shkedy, Data Science Institute, Hasselt University, Belgium'The book is clearly and consistently structured and well–written. The graphics are explained conceptually and mathematically. There are chapter sections on the pros and cons of what is proposed, where the authors are generally properly cautious and recommend a mixture of approaches.'- Antony Unwin, International Statistical Review, 2021 Volume 89, Issue 3"The structure is well-conceived, with chapters consisting in five sections: intuition, method, example, pros and cons, and code snippets. I sense a teacher’s long experience behind these choices. The chapters contain good mathematical detail on the techniques discussed, but the theory is well balanced with examples and code. The visualizations are great. Often, the gist of a particular technique, and it’s practical, interpretive value, can be gleaned from the visualizations threading through the chapter, along with captions. The authors did a really nice job with this. The rationale for the book is well-described. The discussion of techniques seems both comprehensive (given my sense of the field) and helpfully specific, both at the instance and the dataset levels." -Jeff Webb, University of Utah"The authors are doing a very good job in addressing the potential readers, by providing a clean presentation and practical guidance on diagnostic graphical tools…Having an ‘intuition section’ at the beginning of each chapter is very useful." -Riccardo De Bin, University of Oslo"The book provides a unified presentation of model exploration, visualization, comparison and diagnostics of different machine learning algorithms…This book would be found useful by both students as well as practitioners who analyze their own data. Books including real data examples in R and in Python are needed in this area. (It) will serve as a reference, especially for analyses done with dalex or archivist R package (and )can serve as a textbook of data science courses in many fields including computer science, social sciences, economics and other." -Patricia Martinkova, Institute of Computer Science of the Czech Academy of Sciences"There are books that focus on prediction models, for example the element of statistical learning and an introduction to statistical learning but these are not focused on the evaluation of predictive models which is the main focus on the proposed book and its main advantage. As predictive models become very popular in the last years, such a book that focus on the evaluation of the models and model diagnostics can be very popular." -Ziv Shkedy, Data Science Institute, Hasselt University, Belgium"We need to explore the models and learn about their behaviour. This book presents, explains, and summarises the techniques for doing so. Moreover, it provides code in R and Python for doing so. The methods have many similarities with those of sensitivity analysis developed within the Sensitivity Analysis of Model Output (SAMO) community. ... [M]any doctoral students, professional statisticians and researchers should ensure that they have access to it and know how to use its methods when dealing with highly complex functions in their data and model analysis." -Simon French, in the Journal of the Royal Statistics Society, Series A, June 2022"The book presents a valuable collection of methods for models’ exploration and diagnostics for various machine learning algorithms. It can be useful in the data and computer science courses for students and instructors, as well as for researchers and practitioners who need to analyze and interpret their statistical and machine learning models both of glass-box and blackbox kind. The book also serves as a great primary for applications of the R and Python software and their packages/libraries, so it is valuable in solving various problems of statistical prediction in various fields."-Stan Lipovetsky, in Technometrics, July 2022Table of ContentsI. Introduction 1. Introduction. 2. Model Development. 3. Do-it-yourself. 4. Datasets and models. II. Instance Level. 5. Introduction to Instance-level Exploration. 6. Break-down Plots for Additive Attributions. 7. Break-down Plots for Interactions. 8. Shapley Additive Explanations (SHAP) for Average Attributions. 9. Local Interpretable Model-agnostic Explanations (LIME). 10. Ceteris-paribus Profiles. 11. Ceteris-paribus Oscillations. 12. Local-diagnostics Plots. 13. Summary of Instance-level Exploration. III. Dataset Level. 14. Introduction to Dataset-level Exploration. 15. Model-performance Measures. 16. Variable-importance Measures. 17. Partial-dependence Profiles. 18. Local-dependence and Accumulated-dependence Profiles. 19. Residual Diagnostics Plots. 20. Summary of Model-level Exploration. IV. Use-cases. 21. FIFA 19.

Read more less

Book SynopsisThe Internetâs importance for freedom of expression and other rights comes in part from the ability it bestows on users to create and share information, rather than just receive it. Within the context of existing freedom of expression guarantees, this book critically evaluates the goal of bridging the 'digital divide' â the gap between those who have access to the Internet and those who do not. Central to this analysis is the examination of two questions: first, is there a right to access the Internet, and if so, what does that right look like and how far does it extend? Second, if there is a right to access the Internet, is there a legal obligation on States to overcome the digital divide?Through examination of this debateâs history, analysis of case law in the European Court of Human Rights and Inter-American Court of Human Rights, and a case study of one digital inclusion programme in Jalisco, Mexico, this book concludes that there is indeed currently a legal right to IntTable of Contents1. General Introduction 2. Historical Context of International Debates on a Right to Access to Information Technology and Digital Divide Guarantees3. Negative Obligations 4. Positive Obligations to Facilitate Access to the Internet5. Looking Outside Freedom of Expression to Strengthen Digital Inclusion Guarantees6. Case Study in Digital Inclusion7. Conclusions

Read more less

Book SynopsisThe emerging field of Data Science has had a large impact on science and society. This book explores how one distinguishing feature of Data Science its focus on data collected from social and environmental contexts within which learners often find themselves deeply embedded suggests serious implications for learning and education.Drawing from theories of learning and identity development in the learning sciences, this volume investigates the impacts of these complex relationships on how learners think about, use, and share data, including their understandings of data in light of history, race, geography, and politics. More than just using real world examples' to motivate students to work with data, this book demonstrates how learners' relationships to data shape how they approach those data with agency, as part of their social and cultural lives. Together, the contributions offer a vision of how the learning sciences can contribute to a more expansive, socially awareTable of Contents1. Introduction: Situating Data Science—Exploring How Relationships to Data Shape Learning 2. At Home with Data: Family Engagements with Data Involved in Type 1 Diabetes Management 3. Examining Spontaneous Perspective Taking and Fluid Self-to-Data Relationships in Informal Open-Ended Data Exploration 4. Learning at the Intersection of Self and Society: The Family Geobiography as a Context for Data Science Education 5. Authoring Data Stories in a Media Makerspace: Adolescents Developing Critical Data Literacies 6. From Data Collectors to Data Producers: Shifting Students’ Relationship to Data, Lisa Hardy 7. Scripts and Counterscripts in Community-Based Data Science: Participatory Digital Mapping and the Pursuit of a Third Space 8. Learning to Reason with Data: How Did We Get Here and What Do We Know? 9. Educating Data Scientists and Data Literate Citizens for a New Generation of Data

Read more less

Book SynopsisTransformers are becoming a core part of many neural network architectures, employed in a wide range of applications such as NLP, Speech Recognition, Time Series, and Computer Vision. Transformers have gone through many adaptations and alterations, resulting in newer techniques and methods. Transformers for Machine Learning: A Deep Dive is the first comprehensive book on transformers.Key Features: A comprehensive reference book for detailed explanations for every algorithm and techniques related to the transformers. 60+ transformer architectures covered in a comprehensive manner. A book for understanding how to apply the transformer techniques in speech, text, time series, and computer vision. Practical tips and tricks for each architecture and how to use it in the real world. Hands-on case studies and code snippets for theory and practical real-world analysis using the tools and libraries, all ready to run in GoogTable of ContentsList of Figures List of Tables Author Bios Foreword Preface Contributors Deep Learning and Transformers: An Introduction 1.1 DEEP LEARNING: A HISTORIC PERSPECTIVE1.2 TRANSFORMERS AND TAXONOMY 1.2.1 Modified Transformer Architecture 1.2.1.1 Transformer block changes 1.2.1.2 Transformer sublayer changes 1.2.2 Pretraining Methods and Applications 1.3 RESOURCES 1.3.1 Libraries and Implementations 1.3.2 Books 1.3.3 Courses, Tutorials, and Lectures 1.3.4 Case Studies and Details Transformers: Basics and Introduction 2.1 ENCODER-DECODER ARCHITECTURE 2.2 SEQUENCE TO SEQUENCE 2.2.1 Encoder 2.2.2 Decoder 2.2.3 Training 2.2.4 Issues with RNN-based Encoder Decoder 2.3 ATTENTION MECHANISM 2.3.1 Background 2.3.2 Types of Score-Based Attention 2.3.2.1 Dot Product (multiplicative) 2.3.2.2 Scaled Dot Product or multiplicative 2.3.2.3 Linear, MLP, or additive 2.3.3 Attention-based Sequence to Sequence 2.4 TRANSFORMER 2.4.1 Source and Target Representation 2.4.1.1 Word Embedding 2.4.1.2 Positional Encoding 2.4.2 Attention Layers 2.4.2.1 Self-Attention 2.4.2.2 Multi-Head Attention 2.4.2.3 Masked Multi-Head Attention 2.4.2.4 Encoder-Decoder Multi-Head Attention 2.4.3 Residuals and Layer Normalization 2.4.4 Position-wise Feed-Forward Networks 2.4.5 Encoder 2.4.6 Decoder 2.5 CASE STUDY: MACHINE TRANSLATION 2.5.1 Goal 2.5.2 Data, Tools and Libraries 2.5.3 Experiments, Results and Analysis 2.5.3.1 Exploratory Data Analysis 2.5.3.2 Attention 2.5.3.3 Transformer2.5.3.4 Results and Analysis 2.5.3.5 Explainability Bidirectional Encoder Representations from Transformers (BERT) 3.1 BERT 3.1.1 Architecture 3.1.2 Pre-training 3.1.3 Fine-tuning 3.2 BERT VARIANTS 3.2.1 RoBERTa 3.3 APPLICATIONS 3.3.1 TaBERT 3.3.2 BERTopic 3.4 BERT INSIGHTS 3.4.1 BERT Sentence Representation 3.4.2 BERTology 3.5 CASE STUDY: TOPIC MODELING WITH TRANSFORMERS 3.5.1 Goal 3.5.2 Data, Tools, and Libraries 3.5.2.1 Data 3.5.2.2 Compute embeddings 3.5.3 Experiments, Results, and Analysis 3.5.3.1 Building Topics 3.5.3.2 Topic size distribution 3.5.3.3 Visualization of topics 3.5.3.4 Content of topics 3.6 CASE STUDY: FINE-TUNING BERT 3.6.1 Goal 3.6.2 Data, Tools and Libraries 3.6.3 Experiments, Results and Analysis Multilingual Transformer Architectures 4.1 MULTILINGUAL TRANSFORMER ARCHITECTURES 4.1.1 Basic Multilingual Transformer 4.1.2 Single-Encoder Multilingual NLU 4.1.2.1 mBERT 4.1.2.2 XLM 4.1.2.3 XLM-RoBERTa 4.1.2.4 ALM 4.1.2.5 Unicoder 4.1.2.6 INFOXL4.1.2.7 AMBER 4.1.2.8 ERNIE-M 4.1.2.9 HITCL 4.1.3 Dual-Encoder Multilingual NLU 4.1.3.1 LaBSE 4.1.3.2 mUSE 4.1.4 Multilingual NLG 4.2 MULTILINGUAL DATA 4.2.1 Pre-training Data 4.2.2 Multilingual Benchmarks 4.2.2.1 Classification 4.2.2.2 Structure Prediction 4.2.2.3 Question Answering 4.2.2.4 Semantic Retrieval 4.3 MULTILINGUAL TRANSFER LEARNING INSIGHTS 4.3.1 Zero-shot Cross-lingual Learning 4.3.1.1 Data Factors 4.3.1.2 Model Architecture Factors 4.3.1.3 Model Tasks Factors 4.3.2 Language-agnostic Cross-lingual Representations4.4 CASE STUDY 4.4.1 Goal 4.4.2 Data, Tools, and Libraries 4.4.3 Experiments, Results, and Analysis 4.4.3.1 Data Preprocessing 4.4.3.2 Experiments Transformer Modifications5.1 TRANSFORMER BLOCK MODIFICATIONS 5.1.1 Lightweight Transformers 5.1.1.1 Funnel-Transformer 5.1.1.2 DeLighT 5.1.2 Connections between Transformer Blocks 5.1.2.1 RealFormer 5.1.3 Adaptive Computation Time 5.1.3.1 Universal Transformers (UT) 5.1.4 Recurrence Relations between Transformer Blocks 5.1.4.1 Transformer-XL 5.1.5 Hierarchical Transformers 5.2 TRANSFORMERS WITH MODIFIED MULTI-HEAD SELF-ATTENTION5.2.1 Structure of Multi-head Self-Attention 5.2.1.1 Multi-head self-attention 5.2.1.2 Space and time complexity 5.2.2 Reducing Complexity of Self-attention 5.2.2.1 Longformer 5.2.2.2 Reformer 5.2.2.3 Performer 5.2.2.4 Big Bird 5.2.3 Improving Multi-head-attention 5.2.3.1 Talking-Heads Attention 5.2.4 Biasing Attention with Priors 5.2.5 Prototype Queries5.2.5.1 Clustered Attention 5.2.6 Compressed Key-Value Memory 5.2.6.1 Luna: Linear Unified Nested Attention 5.2.7 Low-rank Approximations5.2.7.1 Linformer 5.3 MODIFICATIONS FOR TRAINING TASK EFFICIENCY 5.3.1 ELECTRA5.3.1.1 Replaced token detection 5.3.2 T5 5.4 TRANSFORMER SUBMODULE CHANGES 5.4.1 Switch Transformer 5.5 CASE STUDY: SENTIMENT ANALYSIS5.5.1 Goal 5.5.2 Data, Tools, and Libraries 5.5.3 Experiments, Results, and Analysis 5.5.3.1 Visualizing attention head weights 5.5.3.2 Analysis Pretrained and Application-Specific Transformers 6.1 TEXT PROCESSING 6.1.1 Domain-Specific Transformers 6.1.1.1 BioBERT 6.1.1.2 SciBERT 6.1.1.3 FinBERT 6.1.2 Text-to-text Transformers 6.1.2.1 ByT5 6.1.3 Text generation 6.1.3.1 GPT: Generative Pre-training 6.1.3.2 GPT-2 6.1.3.3 GPT-3 6.2 COMPUTER VISION 6.2.1 Vision Transformer 6.3 AUTOMATIC SPEECH RECOGNITION 6.3.1 Wav2vec 2.0 6.3.2 Speech2Text2 6.3.3 HuBERT: Hidden Units BERT 6.4 MULTIMODAL AND MULTITASKING TRANSFORMER 6.4.1 Vision-and-Language BERT (VilBERT) 6.4.2 Unified Transformer (UniT) 6.5 VIDEO PROCESSING WITH TIMESFORMER 6.5.1 Patch embeddings 6.5.2 Self-attention 6.5.2.1 Spatiotemporal self-attention 6.5.2.2 Spatiotemporal attention blocks 6.6 GRAPH TRANSFORMERS 6.6.1 Positional encodings in a graph 6.6.1.1 Laplacian positional encodings 6.6.2 Graph transformer input 6.6.2.1 Graphs without edge attributes 6.6.2.2 Graphs with edge attributes 6.7 REINFORCEMENT LEARNING 6.7.1 Decision Transformer 6.8 CASE STUDY: AUTOMATIC SPEECH RECOGNITION 6.8.1 Goal 6.8.2 Data, Tools, and Libraries 6.8.3 Experiments, Results, and Analysis 6.8.3.1 Preprocessing speech data 6.8.3.2 Evaluation Interpretability and Explainability Techniques for Transformers7.1 TRAITS OF EXPLAINABLE SYSTEMS 7.2 RELATED AREAS THAT IMPACT EXPLAINABILITY 7.3 EXPLAINABLE METHODS TAXONOMY 7.3.1 Visualization Methods 7.3.1.1 Backpropagation-based 7.3.1.2 Perturbation-based 7.3.2 Model Distillation 7.3.2.1 Local Approximation 7.3.2.2 Model Translation 7.3.3 Intrinsic Methods 7.3.3.1 Probing Mechanism 7.3.3.2 Joint Training 7.4 ATTENTION AND EXPLANATION 7.4.1 Attention is not Explanation 7.4.1.1 Attention Weights and Feature Importance 7.4.1.2 Counterfactual Experiments 7.4.2 Attention is not not Explanation 7.4.2.1 Is attention necessary for all tasks? 7.4.2.2 Searching for Adversarial Models 7.4.2.3 Attention Probing 7.5 QUANTIFYING ATTENTION FLOW 7.5.1 Information flow as DAG 7.5.2 Attention Rollout 7.5.3 Attention Flow 7.6 CASE STUDY: TEXT CLASSIFICATION WITH EXPLAINABILITY 7.6.1 Goal 7.6.2 Data, Tools, and Libraries 7.6.3 Experiments, Results and Analysis 7.6.3.1 Exploratory Data Analysis 7.6.3.2 Experiments 7.6.3.3 Error Analysis and Explainability Bibliography Alphabetical Index

Read more less

Book SynopsisThis third edition of Paul Murrellâs classic book on using R for graphics represents a major update, with a complete overhaul in focus and scope. It focuses primarily on the two core graphics packages in R - graphics and grid - and has a new section on integrating graphics. This section includes three new chapters: importing external images in to R; integrating the graphics and grid systems; and advanced SVG graphics.The emphasis in this third edition is on having the ability to produce detailed and customised graphics in a wide variety of formats, on being able to share and reuse those graphics, and on being able to integrate graphics from multiple systems.This book is aimed at all levels of R users. For people who are new to R, this book provides an overview of the graphics facilities, which is useful for understanding what to expect from R's graphics functions and how to modify or add to the output they produce. For intermediate-level R users, this booTrade Review"...In transit from the first to the third edition, in addition to including new material, Dr. Murrell has introduced key changes and some rearrangements that have made the whole book more understandable, especially the concepts related to viewports and coordinate systems...With an emphasis on producing graphics from code (which promotes automation, sharing and reuse), R Graphics focuses on (i) offering tools and tricks for drawing detailed and customized graphics in a variety of formats and (ii) explaining how to integrate graphics from multiple systems. This distinguishes this book from other books centered on producing plots in R...After reading the book, the R practitioner will understand how to integrate the two distinct graphics systems of R (the base graphics system and the grid graphics system) and how to customize plots, including lattice and ggplot2 graphics. This book also explains how to import images from external files into R and how to integrate them as part of R graphics output. And, furthermore, it shows how to enrich plots created by R with graphical effects and features not supported by the core R graphics system...For R beginners, this book presents an outline of the base graphics facilities and shows how to modify or add to the output they produce. For slightly more skilled R users, the book provides a comprehensive introduction to the grid high-level plotting functions available in the lattice package and in the (probably now more popular) ggplot2 package. For intermediate level R users, the book teaches how to perform sophisticated customizations of R graphical outputs. And, for advanced users and R developers, R Graphics shows how to develop coherent, reusable, and extensible graphics functions...In short, this is a valuable book that the full range of R users will find of interest."- Jose M. Pavía, Journal of Statistical Software, February 2020Table of Contents1. An Introduction to R Graphics 2. Simple Usage of Base Graphics 3. Customizing Base Graphics 4. Trellis Graphics: The lattice Package 5. The Grammar of Graphics: The ggplot2 Package 6. The grid Graphics Model 7. The grid Graphics Object Model 8. Developing New Graphical Functions and Objects 9. Graphics Formats 10. Graphical Parameters 11. Importing Graphics 12. Combining Graphics Systems 13.Advanced Graphics

Read more less

Book SynopsisThis book is based on a successful curriculum designed to elevate technical artists with no programming experience up to essential programming competency as quickly as possible. Instead of abstract, theoretical problems, the curriculum employs familiar applications encountered in real production environments to demonstrate each lesson.Written with artists in mind, this book introduces novice programmers to the advantageous world of Python programming with relevant and familiar examples. Any digital artists (not just technical artists) will find this book helpful in assisting with day-to-day production activities.Concentrating upon subjects relevant to the creation of computer graphic assets, this book introduces Python basics, functions, data types, object-oriented programming, exception handling, file processing, graphical user interface creation, PEP 8 standards, and regular expressions. Programming within the SideFX Houdini 3D animation software provides a familiar environment for artists to create and experiment with the covered Python topics.

Read more less

Book SynopsisIt provides an enhanced knowledge of software inspections, metrics, process involvement, assessment of organization, problem solving, customer satisfaction surveys, the CMM, SPICE, and formal methods. In addition, readers will gain a detailed understanding of the principles of software quality management and software process improvement.Trade Review"Since software quality assurance is still an issue in software organizations, a deep understanding of the subject itself, as well as of methods for effectively implementing software quality, is crucial for both software managers and practitioners. Comprehensive books like this one can help readers to get into the field. However, O¿Regan¿s book is more than just an introduction. It also serves as a good reference for people who want to step into the subject practically, and for those who want to find out about the quality measures that could best fit their organizations...I recommend this book to those interested in learning how software quality helps increase software companies¿ productivity." --Computing ReviewsTable of Contents* Introduction to Software Quality * * Software Inspections and Testing * The ISO 9000 Standard * The Ccapability Maturity Model * The SPICE (15504) Standard * Metrics and Problem Solving * Formal Methods and Design * References * Glossary * Index

Read more less

Book SynopsisA classic book about life in a two-dimensional universe, written by a well-known author. Now brought back into print in this revised and updated edition, the book is written within the great tradition of Abbott's Flatland, and Hinton's famous Sphereland.Table of Contents1 Arde.- 2 A House by the Sea.- 3 On Fiddib Har.- 4 Walking to Is Felblt.- 5 City Below Ground.- 6 The Trek.- 7 The Punizlan Institute.- 8 Traveling on the Wind.- 9 High on Dahl Radam.- 10 Drabk the Sharak of Okbra.- 11 Higher Dimensions.- Ardean Science and Technology.- Acknowledgments.

Read more less

Book SynopsisâœBecome the most competitive and dynamic knowledge based economy in the world by 2010â is the major objective of the Lisbon strategy for the European Community. The European Commission re-launched the Lisbon strategy in a new initiative called i2010 â a European Information Society for growth and employment, to promote a Single European Information Space (SEIS). The aim of this initiative is to promote a borderless European information space and establishing an internal market for electronic communications and digital services, to stimulate innovation through investment in research, to encourage the industrial application of ICT, and to make the European information society as inclusive and accessible as possible.SEEM (Single European Electronic Market) is a SEIS contributor, and its goal is to integrate electronic value chains, so that companies, organizations and individuals from different Member States can be linked without experiencing any access or interoperability probTable of ContentsSelected Contents: Editorial; Preface; Information space and the i2010 strategy; The SEEMseed reference architecture; Legal and trust issues in the SEEM; The stakeholders' vision; Reference framework for SEEM; Roadmap to SEEM implementation; Conclusions; Acknowledgments; References; Annex A: Detailed interface descriptions

Read more less

Book SynopsisWith a growing focus on digital destinations, the publishing landscape is evolving at a dizzying speed and InDesign CC is at the forefront of the digital frontier. Known as the premiere layout application for magazine and print collateral, InDesign is also a powerful creation tool for both static and interactive PDF, Flash SWF, EPUB, and apps that can be published for sale in various app stores.This tutorial-based guide to InDesign CC provides you with a hands-on experience of the EPUB creation process, InDesign animation, Digital Publishing Suite app creation, creation of interactive PDFs, and a host of techniques that serve equally well in both print and digital production. This extensively detailed book is filled with over 700 screenshots, explicit diagrams, and step-by-step real-world exercises to get you up and running with:*InDesign Animation*Buttons, forms, and other interactive elements*Interactive PDFs*EPUB*App building with Table of ContentsAcknowledgements, Introduction, Part 1: Interactive InDesign, Chapter 1: The Lay of the Land, Chapter 2: Designing for Interactivity, Chapter 3: The Interactive Interface, Part 2: Document Layout & Navigation, Chapter 4: Working with Text, Chapter 5: Multi-page Document Layout, Chapter 6: Hyperlinks and Cross - references, Chapter 7: Footnotes, Chapter 8: Creating a TOC, Chapter 9: Shapes and Color, Part 3: Buttons, Chapter 10: About Buttons, Chapter 11: Simple Image - based Buttons, Chapter 12: Multi-object Buttons, Part 4: Flash Animation and Output to SWF, Chapter 13: Introducing: Animation in InDesign!, Chapter 14: Getting Fancy with Animation, Chapter 15: Banner Ads, Chapter 16: SWF Output, Part 5: Interactive PDF, Chapter 17: Bookmarks, Chapter 18: Interactive PDF Forms, Chapter 19: Page Transitions, Chapter 20: Preparing for PDF Export, Part 6: EPUB, Chapter 21: EPUB Anatomy, Chapter 22: Images, Objects & The Flow, Chapter 23: Creating an InDesign Book, Chapter 24: HTML And CSS Fundamentals, Chapter 25: GREP, Chapter 26: EPUB Export & Publishing, Chapter 27: EPUB Resources, Part 7: Digital Publishing Suite, Chapter 28: Intro to DPS, Chapter 29: Designing for DPS, Chapter 30: Scrollable Frame Overlays, Chapter 31: Audio & Video Overlays, Chapter 32: Panoramas and Pan & Zoom, Chapter 33: Web Content Overlays & Hyperlinks, Chapter 34: Slideshow Overlays, Chapter 35: Publishing to DPS, Extras, Index

Read more less

Book SynopsisWeb Programming for Business: PHP Object-Oriented Programming with Oracle focuses on fundamental PHP coding, giving students practical, enduring skills to solve data and technical problems in business. Using Oracle as the backend database, the book is version-neutral, teaching students code that will still work even with changes to PHP and Oracle. The code is clean, clearly explained and solutions-oriented, allowing students to understand how technologies such as XML, RSS or AJAX can be leveraged in business applications. The book is fully illustrated with examples, and includes chapters on: Database functionality Security programming Transformation programming to move data Powerpoint slides, applied exam questions, and the raw code for all examples are available on a companion website. This book offers an innovative approach that allows anyone with basic SQL and HTML skills to learn PHP object-orientTable of Contents1. Linux, HTML, and PHP Basics 2. Object-oriented Concepts and Fundamentals 3. Security 4. Input Validation 5. XML in Action 6. Standard PHP Library (SPL) 7. XML Data Transformation 8. Database Iterator Interfacing 9. AJAX Applications

Read more less

Book Synopsis

Read more less

Book SynopsisSigns of Life applies the mathematics of order and disorder, of entropy, chance, and randomness, of chaos and nonlinear dynamics to the various mysteries of the living world at all levels. This book is an entirely new approach to understanding living systems and will help set the agenda for biology in the coming century.

Read more less

Book SynopsisAmerica''s leading role in today''s information revolution may seem simply to reflect its position as the world''s dominant economy and most powerful state. But by the early nineteenth century, when the United States was neither a world power nor a primary center of scientific discovery, it was already a leader in communications-in postal service and newspaper publishing, then in development of the telegraph and telephone networks, later in the whole repertoire of mass communications. In this wide-ranging social history of American media, from the first printing press to the early days of radio, Paul Starr shows that the creation of modern communications was as much the result of political choices as of technological invention. His original historical analysis reveals how the decisions that led to a state-run post office and private monopolies on the telegraph and telephone systems affected a developing society. He illuminates contemporary controversies over freedom of information by exploring such crucial formative issues as freedom of the press, intellectual property, privacy, public access to information, and the shaping of specific technologies and institutions. America''s critical choices in these areas, Starr argues, affect the long-run path of development in a society and have had wide social, economic, and even military ramifications. The Creation of the Media not only tells the history of the media in a new way; it puts America and its global influence into a new perspective.

Read more less

Book SynopsisNeuromorphic electronic engineering takes its inspiration from the functioning of nervous systems to build more power efficient electronic sensors and processors. Event-based neuromorphic systems are inspired by the brain''s efficient data-driven communication design, which is key to its quick responses and remarkable capabilities. This cross-disciplinary text establishes how circuit building blocks are combined in architectures to construct complete systems. These include vision and auditory sensors as well as neuronal processing and learning circuits that implement models of nervous systems. Techniques for building multi-chip scalable systems are considered throughout the book, including methods for dealing with transistor mismatch, extensive discussions of communication and interfacing, and making systems that operate in the real world. The book also provides historical context that helps relate the architectures and circuits to each other and that guides readers to the exTable of ContentsList of Contributors xv Foreword xvii Acknowledgments xix List of Abbreviations and Acronyms xxi 1 Introduction 1 1.1 Origins and Historical Context 3 1.2 Building Useful Neuromorphic Systems 5 References 5 Part I UNDERSTANDING NEUROMORPHIC SYSTEMS 7 2 Communication 9 2.1 Introduction 9 2.2 Address-Event Representation 12 2.2.1 AER Encoders 13 2.2.2 Arbitration Mechanisms 13 2.2.3 Encoding Mechanisms 17 2.2.4 Multiple AER Endpoints 19 2.2.5 Address Mapping 19 2.2.6 Routing 19 2.3 Considerations for AER Link Design 20 2.3.1 Trade-off: Dynamic or Static Allocation 21 2.3.2 Trade-off: Arbitered Access or Collisions? 23 2.3.3 Trade-off: Queueing versus Dropping Spikes 24 2.3.4 Predicting Throughput Requirements 25 2.3.5 Design Trade-offs 27 2.4 The Evolution of AER Links 28 2.4.1 Single Sender, Single Receiver 28 2.4.2 Multiple Senders, Multiple Receivers 30 2.4.3 Parallel Signal Protocol 31 2.4.4 Word-Serial Addressing 32 2.4.5 Serial Differential Signaling 33 2.5 Discussion 34 References 35 3 Silicon Retinas 37 3.1 Introduction 37 3.2 Biological Retinas 38 3.3 Silicon Retinas with Serial Analog Output 39 3.4 Asynchronous Event-Based Pixel Output Versus Synchronous Frames 40 3.5 AER Retinas 40 3.5.1 Dynamic Vision Sensor 41 3.5.2 Asynchronous Time-Based Image Sensor 46 3.5.3 Asynchronous Parvo–Magno Retina Model 46 3.5.4 Event-Based Intensity-Coding Imagers (Octopus and TTFS) 48 3.5.5 Spatial Contrast and Orientation Vision Sensor (VISe) 50 3.6 Silicon Retina Pixels 54 3.6.1 DVS Pixel 54 3.6.2 ATIS Pixel 56 3.6.3 VISe Pixel 58 3.6.4 Octopus Pixel 59 3.7 New Specifications for Silicon Retinas 60 3.7.1 DVS Response Uniformity 60 3.7.2 DVS Background Activity 62 3.7.3 DVS Dynamic Range 62 3.7.4 DVS Latency and Jitter 63 3.8 Discussion 64 References 67 4 Silicon Cochleas 71 4.1 Introduction 72 4.2 Cochlea Architectures 75 4.2.1 Cascaded 1D 76 4.2.2 Basic 1D Silicon Cochlea 77 4.2.3 2D Architecture 78 4.2.4 The Resistive (Conductive) Network 79 4.2.5 The BM Resonators 80 4.2.6 The 2D Silicon Cochlea Model 80 4.2.7 Adding the Active Nonlinear Behavior of the OHCs 82 4.3 Spike-Based Cochleas 83 4.3.1 Q-control of AEREAR2 Filters 85 4.3.2 Applications: Spike-Based Auditory Processing 86 4.4 Tree Diagram 87 4.5 Discussion 87 References 89 5 Locomotion Motor Control 91 5.1 Introduction 92 5.1.1 Determining Functional Biological Elements 92 5.1.2 Rhythmic Motor Patterns 93 5.2 Modeling Neural Circuits in Locomotor Control 95 5.2.1 Describing Locomotor Behavior 96 5.2.2 Fictive Analysis 97 5.2.3 Connection Models 99 5.2.4 Basic CPG Construction 100 5.2.5 Neuromorphic Architectures 102 5.3 Neuromorphic CPGs at Work 108 5.3.1 A Neuroprosthesis: Control of Locomotion in Vivo 109 5.3.2 Walking Robots 111 5.3.3 Modeling Intersegmental Coordination 112 5.4 Discussion 113 References 115 6 Learning in Neuromorphic Systems 119 6.1 Introduction: Synaptic Connections, Memory, and Learning 120 6.2 Retaining Memories in Neuromorphic Hardware 121 6.2.1 The Problem of Memory Maintenance: Intuition 121 6.2.2 The Problem of Memory Maintenance: Quantitative Analysis 122 6.2.3 Solving the Problem of Memory Maintenance 124 6.3 Storing Memories in Neuromorphic Hardware 128 6.3.1 Synaptic Models for Learning 128 6.3.2 Implementing a Synaptic Model in Neuromorphic Hardware 132 6.4 Toward Associative Memories in Neuromorphic Hardware 136 6.4.1 Memory Retrieval in Attractor Neural Networks 137 6.4.2 Issues 142 6.5 Attractor States in a Neuromorphic Chip 143 6.5.1 Memory Retrieval 143 6.5.2 Learning Visual Stimuli in Real Time 145 6.6 Discussion 148 References 149 Part II BUILDING NEUROMORPHIC SYSTEMS 153 7 Silicon Neurons 155 7.1 Introduction 156 7.2 Silicon Neuron Circuit Blocks 158 7.2.1 Conductance Dynamics 158 7.2.2 Spike-Event Generation 159 7.2.3 Spiking Thresholds and Refractory Periods 161 7.2.4 Spike-Frequency Adaptation and Adaptive Thresholds 162 7.2.5 Axons and Dendritic Trees 164 7.2.6 Additional Useful Building Blocks 165 7.3 Silicon Neuron Implementations 166 7.3.1 Subthreshold Biophysically Realistic Models 166 7.3.2 Compact I&F Circuits for Event-Based Systems 169 7.3.3 Generalized I&F Neuron Circuits 170 7.3.4 Above Threshold, Accelerated-Time, and Switched-Capacitor Designs 174 7.4 Discussion 176 References 180 8 Silicon Synapses 185 8.1 Introduction 186 8.2 Silicon Synapse Implementations 188 8.2.1 Non Conductance-Based Circuits 188 8.2.2 Conductance-Based Circuits 198 8.2.3 NMDA Synapse 200 8.3 Dynamic Plastic Synapses 201 8.3.1 Short-Term Plasticity 201 8.3.2 Long-Term Plasticity 203 8.4 Discussion 213 References 215 9 Silicon Cochlea Building Blocks 219 9.1 Introduction 219 9.2 Voltage-Domain Second-Order Filter 220 9.2.1 Transconductance Amplifier 220 9.2.2 Second-Order Low-Pass Filter 222 9.2.3 Stability of the Filter 223 9.2.4 Stabilised Second-Order Low-Pass Filter 225 9.2.5 Differentiation 225 9.3 Current-Domain Second-Order Filter 227 9.3.1 The Translinear Loop 227 9.3.2 Second-Order Tau Cell Log-Domain Filter 229 9.4 Exponential Bias Generation 230 9.5 The Inner Hair Cell Model 233 9.6 Discussion 234 References 234 10 Programmable and Configurable Analog Neuromorphic ICs 237 10.1 Introduction 238 10.2 Floating-Gate Circuit Basics 238 10.3 Floating-Gate Circuits Enabling Capacitive Circuits 238 10.4 Modifying Floating-Gate Charge 242 10.4.1 Electron Tunneling 242 10.4.2 pFET Hot-Electron Injection 242 10.5 Accurate Programming of Programmable Analog Devices 244 10.6 Scaling of Programmable Analog Approaches 246 10.7 Low-Power Analog Signal Processing 247 10.8 Low-Power Comparisons to Digital Approaches: Analog Computing in Memory 249 10.9 Analog Programming at Digital Complexity: Large-Scale Field Programmable Analog Arrays 251 10.10 Applications of Complex Analog Signal Processing 253 10.10.1 Analog Transform Imagers 253 10.10.2 Adaptive Filters and Classifiers 253 10.11 Discussion 256 References 257 11 Bias Generator Circuits 261 11.1 Introduction 261 11.2 Bias Generator Circuits 263 11.2.1 Bootstrapped Current Mirror Master Bias Current Reference 263 11.2.2 Master Bias Power Supply Rejection Ratio (PSRR) 265 11.2.3 Stability of the Master Bias 265 11.2.4 Master Bias Startup and Power Control 266 11.2.5 Current Splitters: Obtaining a Digitally Controlled Fraction of the Master Current 267 11.2.6 Achieving Fine Monotonic Resolution of Bias Currents 271 11.2.7 Using Coarse–Fine Range Selection 273 11.2.8 Shifted-Source Biasing for Small Currents 274 11.2.9 Buffering and Bypass Decoupling of Individual Biases 275 11.2.10 A General Purpose Bias Buffer Circuit 278 11.2.11 Protecting Bias Splitter Currents from Parasitic Photocurrents 279 11.3 Overall Bias Generator Architecture Including External Controller 279 11.4 Typical Characteristics 280 11.5 Design Kits 281 11.6 Discussion 282 References 282 12 On-Chip AER Communication Circuits 285 12.1 Introduction 286 12.1.1 Communication Cycle 286 12.1.2 Speedup in Communication 287 12.2 AER Transmitter Blocks 289 12.2.1 AER Circuits within a Pixel 289 12.2.2 Arbiter 290 12.2.3 Other AER Blocks 295 12.2.4 Combined Operation 297 12.3 AER Receiver Blocks 298 12.3.1 Chip-Level Handshaking Block 298 12.3.2 Decoder 299 12.3.3 Handshaking Circuits in Receiver Pixel 300 12.3.4 Pulse Extender Circuits 301 12.3.5 Receiver Array Peripheral Handshaking Circuits 301 12.4 Discussion 302 References 303 13 Hardware Infrastructure 305 13.1 Introduction 306 13.1.1 Monitoring AER Events 307 13.1.2 Sequencing AER Events 311 13.1.3 Mapping AER Events 313 13.2 Hardware Infrastructure Boards for Small Systems 316 13.2.1 Silicon Cortex 316 13.2.2 Centralized Communication 317 13.2.3 Composable Architecture Solution 318 13.2.4 Daisy-Chain Architecture 324 13.2.5 Interfacing Boards using Serial AER 324 13.2.6 Reconfigurable Mesh-Grid Architecture 328 13.3 Medium-Scale Multichip Systems 329 13.3.1 Octopus Retina + IFAT 329 13.3.2 Multichip Orientation System 332 13.3.3 CAVIAR 335 13.4 FPGAs 340 13.5 Discussion 342 References 345 14 Software Infrastructure 349 14.1 Introduction 349 14.1.1 Importance of Cross-Community Commonality 350 14.2 Chip and System Description Software 350 14.2.1 Extensible Markup Language 351 14.2.2 NeuroML 351 14.3 Configuration Software 352 14.4 Address Event Stream Handling Software 352 14.4.1 Field-Programmable Gate Arrays 353 14.4.2 Structure of AE Stream Handling Software 353 14.4.3 Bandwidth and Latency 353 14.4.4 Optimization 354 14.4.5 Application Programming Interface 355 14.4.6 Network Transport of AE Streams 355 14.5 Mapping Software 356 14.6 Software Examples 357 14.6.1 ChipDatabase – A System for Tuning Neuromorphic aVLSI Chips 357 14.6.2 Spike Toolbox 359 14.6.3 jAER 359 14.6.4 Python and PyNN 360 14.7 Discussion 363 References 363 15 Algorithmic Processing of Event Streams 365 15.1 Introduction 365 15.2 Requirements for Software Infrastructure 367 15.2.1 Processing Latency 369 15.3 Embedded Implementations 369 15.4 Examples of Algorithms 370 15.4.1 Noise Reduction Filters 370 15.4.2 Time-Stamp Maps and Subsampling by Bit-Shifting Addresses 372 15.4.3 Event Labelers as Low-Level Feature Detectors 372 15.4.4 Visual Trackers 374 15.4.5 Event-Based Audio Processing 378 15.5 Discussion 379 References 379 16 Towards Large-Scale Neuromorphic Systems 381 16.1 Introduction 381 16.2 Large-Scale System Examples 382 16.2.1 Spiking Neural Network Architecture 382 16.2.2 Hierarchical AER 384 16.2.3 Neurogrid 386 16.2.4 High Input Count Analog Neural Network System 388 16.3 Discussion 390 References 391 17 The Brain as Potential Technology 393 17.1 Introduction 393 17.2 The Nature of Neuronal Computation: Principles of Brain Technology 395 17.3 Approaches to Understanding Brains 396 17.4 Some Principles of Brain Construction and Function 398 17.5 An Example Model of Neural Circuit Processing 400 17.6 Toward Neuromorphic Cognition 402 References 404 Index 407

Read more less

Book SynopsisThis book provides an introduction to formal methods based on temporal logic, describing techniques for testing and developing complex computational systems. It starts with a full introduction to the subject and then goes into more detail, covering the basics of temporal logics in order to give the reader a firm basis on which to progress further.Trade Review“The strength of the book is the nice mixture of a pleasant to read and gentle presentation of the underlying concepts together with detailed tool descriptions (focused on a user's point of view). This book is perfectly suited for a course at senior undergraduate or beginning graduate level.” (Zentralblatt MATH, 1 December 2012) "I highly recommend this book, both for formal methods in general and for temporal logic in particular. It will remain within my easy reach for a long time." (Computing Reviews, 1 December 2011) Table of ContentsPreface vii 1 Introduction 1 1.1 Aims of the book 2 1.2 Why temporal logic? 3 1.3 What is temporal logic? 4 1.4 Structure of the book 6 2 Temporal logic 9 2.1 Intuition 10 2.2 Syntactic aspects 12 2.3 Semantics 14 2.4 Reactive system properties 22 2.5 What is temporal logic? 25 2.6 Normal form 28 2.7 Büchi automata and temporal logic 29 2.8 Advanced topics 37 2.9 Final exercises 47 3 Specification 49 3.1 Describing simple behaviours 49 3.2 A semantics of imperative programs 53 3.3 Linking specifications 60 3.4 Advanced topics 74 3.5 Final exercises 82 3.6 Where to next? 83 4 Deduction 85 4.1 Temporal proof 85 4.2 Clausal temporal resolution 87 4.3 The TSPASS system 108 4.4 Advanced topics 122 4.5 Final exercises 127 5 Model checking 129 5.1 Algorithmic verification 129 5.2 Automata-theoretic model checking 135 5.3 The Spin system 143 5.4 Advanced topics 171 5.5 Final exercises 181 6 Execution 185 6.1 From specifications to programs 185 6.2 MetateM: executing temporal formulae 188 6.3 The Concurrent MetateM system 211 6.4 Advanced topics 233 7 Selected applications 243 7.1 Model checking programs 243 7.2 Security protocol analysis 246 7.3 Recognizing temporal patterns 251 7.4 Parameterized systems 255 7.5 Reasoning with intervals 260 7.6 Planning 264 8 Summary 267 A Review of classical logic 269 A.1 Introduction 269 A.2 Propositional logic 271 A.3 Normal forms 276 A.4 Propositional resolution 279 A.5 Horn clauses 286 A.6 First-order logic 288 B Solutions to exercises 307 References 321 Index 349

Read more less

Book SynopsisBringing together the results of more than 300 new design studies, an understanding of people, knowledge of hardware and software capabilities, and the author's practical experience gained from 45 years of work with display-based systems, this book addresses interface and screen design from the user's perspective. You will learn how to create an effective design methodology, design and organize screens and Web pages that encourage efficient comprehension and execution, and create screen icons and graphics that make displays easier and more comfortable to use.Table of ContentsAbout the Author v Preface xix Acknowledgments xxvii Part 1 The User Interface—An Introduction and Overview 1 Chapter 1 The Importance of the User Interface 3 Defining the User Interface 4 The Importance of Good Design 4 The Benefits of Good Design 5 A Brief History of the Human-Computer Interface 7 Introduction of the Graphical User Interface 7 The Blossoming of the World Wide Web 8 A Brief History of Screen Design 10 What’s Next? 12 Chapter 2 Characteristics of Graphical and Web User Interfaces 13 Interaction Styles 13 Command Line 14 Menu Selection 14 Form Fill-in 14 Direct Manipulation 15 Anthropomorphic 15 The Graphical User Interface 16 The Popularity of Graphics 16 The Concept of Direct Manipulation 17 Graphical Systems: Advantages and Disadvantages 19 Characteristics of the Graphical User Interface 24 The Web User Interface 28 The Popularity of the Web 29 Characteristics of a Web Interface 29 The Merging of Graphical Business Systems and the Web 39 Characteristics of an Intranet versus the Internet 39 Extranets 40 Web Page versus Application Design 40 Principles of User Interface Design 44 Principles for the Xerox STAR 44 General Principles 45 Part 1 Exercise 58 What’s Next? 58 Part 2 The User Interface Design Process 59 Obstacles and Pitfalls in the Development Path 59 Designing for People: The Seven Commandments 60 Usability 64 Usability Assessment in the Design Process 65 Common Usability Problems 65 Some Practical Measures of Usability 68 Some Objective Measures of Usability 69 Step 1 Know Your User or Client 71 Understanding How People Interact with Computers 71 The Human Action Cycle 72 Why People Have Trouble with Computers 73 Responses to Poor Design 74 People and Their Tasks 76 Important Human Characteristics in Design 76 Perception 76 Memory 78 Sensory Storage 79 Visual Acuity 80 Foveal and Peripheral Vision 81 Information Processing 81 Mental Models 82 Movement Control 83 Learning 83 Skill 84 Performance Load 84 Individual Differences 85 Human Considerations in the Design of Business Systems 87 The User’s Knowledge and Experience 87 The User’s Tasks and Needs 92 The User’s Psychological Characteristics 95 The User’s Physical Characteristics 96 Human Interaction Speeds 100 Performance versus Preference 101 Methods for Gaining an Understanding of Users 102 Step 1 Exercise 102 Step 2 Understand the Business Function 103 Business Definition and Requirements Analysis 104 Information Collection Techniques 104 Defining the Domain 112 Considering the Environment 112 Possible Problems in Requirements Collection 113 Determining Basic Business Functions 113 Understanding the User’s Work 114 Developing Conceptual Models 115 The User’s New Mental Model 120 Design Standards or Style Guides 120 Value of Standards and Guidelines 121 Customized Style Guides 124 Design Support and Implementation 125 System Training and Documentation Needs 125 Training 126 Documentation 126 Step 2 Exercise 126 Step 3 Understand the Principles of Good Interface and Screen Design 127 Human Considerations in Interface and Screen Design 128 How to Discourage the User 128 What Users Want 130 What Users Do 130 Interface Design Goals 131 The Test for a Good Design 132 Screen and Web Page Meaning and Purpose 132 Organizing Elements Clearly and Meaningfully 133 Consistency 133 Starting Point 135 Ordering of Data and Content 136 Navigation and Flow 139 Visually Pleasing Composition 141 Distinctiveness 161 Focus and Emphasis 162 Conveying Depth of Levels or a Three-Dimensional Appearance 165 Presenting Information Simply and Meaningfully 168 Application and Page Size 178 Application Screen Elements 184 Organization and Structure Guidelines 220 The Web — Web sites and Web Pages 230 Intranet Design Guidelines 258 Extranet Design Guidelines 259 Small Screens 259 Weblogs 260 Statistical Graphics 261 Types of Statistical Graphics 273 Flow Charts 283 Technological Considerations in Interface Design 284 Graphical Systems 284 Web Systems 287 The User Technology Profile Circa 2006 292 Examples of Screens 293 Example 1 293 Example 2 297 Example 3 300 Example 4 301 Example 5 302 Example 6 303 Example 7 305 Step 3 Exercise 306 Step 4 Develop System Menus and Navigation Schemes 307 Structures of Menus 308 Single Menus 308 Sequential Linear Menus 309 Simultaneous Menus 309 Hierarchical or Sequential Menus 310 Connected Menus 311 Event-Trapping Menus 313 Functions of Menus 313 Navigation to a New Menu 314 Execute an Action or Procedure 314 Displaying Information 314 Data or Parameter Input 314 Content of Menus 314 Menu Context 315 Menu Title 315 Choice Descriptions 315 Completion Instructions 315 Formatting of Menus 315 Consistency 316 Display 316 Presentation 316 Organization 317 Complexity 320 Item Arrangement 321 Ordering 321 Groupings 323 Selection Support Menus 325 Phrasing the Menu 328 Menu Titles 329 Menu Choice Descriptions 330 Menu Instructions 332 Intent Indicators 332 Keyboard Shortcuts 333 Selecting Menu Choices 337 Initial Cursor Positioning 337 Choice Selection 338 Defaults 339 Unavailable Choices 340 Mark Toggles or Settings 340 Toggled Menu Items 341 Web Site Navigation 342 Web Site Navigation Problems 343 Web Site Navigation Goals 344 Web Site Navigation Design 345 Maintaining a Sense of Place 367 Kinds of Graphical Menus 369 Menu Bar 369 Pull-Down Menu 371 Cascading Menus 375 Pop-Up Menus 377 Tear-Off Menus 379 Iconic Menus 380 Pie Menus 380 Graphical Menu Examples 382 Example 1 382 Step 5 Select the Proper Kinds of Windows 385 Window Characteristics 385 The Attraction of Windows 386 Constraints in Window System Design 388 Components of a Window 390 Frame 390 Title Bar 391 Title Bar Icon 391 Window Sizing Buttons 392 What’s This? Button 393 Menu Bar 393 Status Bar 394 Scroll Bars 394 Split Box 394 Toolbar 394 Command Area 395 Size Grip 395 Work Area 395 Window Presentation Styles 395 Tiled Windows 396 Overlapping Windows 397 Cascading Windows 398 Picking a Presentation Style 399 Types of Windows 399 Primary Window 400 Secondary Windows 401 Dialog Boxes 407 Property Sheets and Property Inspectors 408 Message Boxes 411 Palette Windows 413 Pop-Up Windows 413 Organizing Window Functions 414 Window Organization 414 Number of Windows 415 Sizing Windows 416 Window Placement 417 The Web and the Browser 419 Browser Components 419 Step 5 Exercise 422 Step 6 Select the Proper Interaction Devices 423 Input Devices 423 Characteristics of Input Devices 424 Other Input Devices 436 Selecting the Proper Input Device 436 Output Devices 440 Screens 440 Speakers 441 Step 6 Exercise 441 Step 7 Choose the Proper Screen-Based Controls 443 Operable Controls 445 Buttons 445 Text Entry/Read-Only Controls 461 Text Boxes 461 Selection Controls 468 Radio Buttons 468 Check Boxes 478 Palettes 488 List Boxes 493 List View Controls 503 Drop-Down/Pop-Up List Boxes 503 Combination Entry/Selection Controls 509 Spin Boxes 509 Combo Boxes 512 Drop-Down/Pop-Up Combo Boxes 514 Other Operable Controls 517 Slider 517 Tabs 521 Date-Picker 524 Tree View 525 Scroll Bars 526 Custom Controls 531 Presentation Controls 531 Static Text Fields 532 Group Boxes 533 Column Headings 534 ToolTips 535 Balloon Tips 537 Progress Indicators 539 Sample Box 540 Scrolling Tickers 542 Selecting the Proper Controls 542 Entry versus Selection — A Comparison 543 Comparison of GUI Controls 544 Control Selection Criteria 547 Choosing a Control Form 548 Examples 552 Example 1 552 Example 2 553 Example 3 556 Example 4 557 Example 5 558 Example 6 559 Step 7 Exercise 561 Step 8 Write Clear Text and Messages 563 Words, Sentences, Messages, and Text 564 Readability 564 Choosing the Proper Words 565 Writing Sentences and Messages 568 Kinds of Messages 570 Presenting and Writing Text 578 Window Title, Conventions, and Sequence Control Guidance 582 Content and Text for Web Pages 584 Words 584 Page Text 585 Page Title 589 Headings and Headlines 589 Instructions 590 Error Messages 590 Step 8 Exercise 591 Step 9 Provide Effective Feedback and Guidance and Assistance 593 Providing the Proper Feedback 594 Response Time 594 Dealing with Time Delays 598 Blinking for Attention 601 Use of Sound 602 Guidance and Assistance 603 Preventing Errors 603 Problem Management 604 Providing Guidance and Assistance 606 Instructions or Prompting 608 Help Facility 608 Contextual Help 613 Task-Oriented Help 617 Reference Help 619 Wizards 620 Hints or Tips 622 Step 9 Exercise 623 Step 10 Provide Effective Internationalization and Accessibility 625 International Considerations 626 Localization 626 Cultural Considerations 627 Words and Text 628 Images and Symbols 631 Color, Sequence, and Functionality 633 Requirements Determination and Testing 635 Accessibility 635 Types of Disabilities 636 Accessibility Design 636 Step 10 Exercise 650 Step 11 Create Meaningful Graphics, Icons, and Images 651 Icons 652 Kinds of Icons 652 Characteristics of Icons 654 Influences on Icon Usability 654 Choosing Icons 657 Choosing Icon Images 659 Creating Icon Images 659 Drawing Icon Images 664 Icon Animation and Audition 665 The Icon Design Process 667 Screen Presentation 667 Multimedia 669 Graphics 669 Images 671 Photographs/Pictures 676 Video 677 Diagrams 678 Drawings 681 Animation 681 Audition 683 Combining Mediums 686 Step 11 Exercise 689 Step 12 Choose the Proper Colors 691 Color — What Is It? 692 RGB 694 HSV 694 Dithering 694 Color Uses 695 Color as a Formatting Aid 695 Color as a Visual Code 696 Other Color Uses 696 Possible Problems with Color 696 High Attention-Getting Capacity 696 Interference with Use of Other Screens 697 Varying Sensitivity of the Eye to Different Colors 697 Color-Viewing Deficiencies 697 Color Connotations 698 Cross-Disciplinary and Cross-Cultural Differences 700 Color — What the Research Shows 700 Color and Human Vision 701 The Lens 701 The Retina 701 Choosing Colors 702 Choosing Colors for Categories of Information 703 Colors in Context 703 Usage 704 Discrimination and Harmony 704 Emphasis 706 Common Meanings 706 Location 707 Ordering 708 Foregrounds and Backgrounds 708 Three-Dimensional Look 709 Color Palette, Defaults, and Customization 710 Grayscale 711 Text in Color 712 Monochromatic Screens 712 Consistency 713 Considerations for People with Color-Viewing Deficiencies 713 Cultural, Disciplinary, and Accessibility Considerations 714 Choosing Colors for Textual Graphic Screens 714 Effective Foreground/Background Combinations 714 Choose the Background First 717 Maximum of Four Colors 717 Use Colors in Toolbars Sparingly 718 Test the Colors 718 Choosing Colors for Statistical Graphics Screens 718 Emphasis 718 Number of Colors 718 Backgrounds 719 Size 719 Status 719 Measurements and Area-Fill Patterns 719 Physical Impressions 720 Choosing Colors for Web Pages 721 Uses of Color to Avoid 723 Step 12 Exercise 725 Step 13 Organize and Layout Windows and Pages 727 Organizing and Laying Out Screens 728 General Guidelines 728 Organization Guidelines 729 Control Navigation 748 Window Guidelines 749 Web Page Guidelines 750 Screen Examples 761 Example 1 761 Example 2 762 Step 14 Test, Test, and Retest 767 Usability 768 The Purpose of Usability Testing 768 The Importance of Usability Testing 769 Scope of Testing 770 Prototypes 771 Hand Sketches and Scenarios 772 Interactive Paper Prototypes 774 Programmed Facades 775 Prototype-Oriented Languages 776 Comparisons of Prototypes 776 Kinds of Tests 777 Guidelines and Standards Review 779 Heuristic Evaluation 780 Cognitive Walk-Throughs 786 Think-Aloud Evaluations 788 Usability Test 789 Classic Experiments 790 Focus Groups 791 Choosing a Testing Method 792 Developing and Conducting a Test 795 The Test Plan 795 Test Conduct and Data Collection 803 Analyze, Modify, and Retest 806 Evaluate the Working System 807 Additional Reading 809 A Final Word 810 References 811 Index 835

Read more less

Book SynopsisSmart technologies comprise a dynamic new interdisciplinary research field that encompasses a wide spectrum of engineering applications including, but not limited to, intelligent structures and materials, actuators, sensors and structural observability, control systems and software tools for the design of adaptive structures.Table of ContentsPreface. About the Authors. Organization of the Book. 1 Introduction to Smart Technologies (Jan Holnicki-Szulc, Jerzy Motylewski and Przemyslaw Kolakowski). 1.1 Smart Technologies – 30 Years of History. 1.2 Smart-Tech Hardware Issues. 1.2.1 Structual Health Monitoring. 1.2.2 Adaptive Impact Absorption. 1.3 Smart-Tech Software Issues. References. 2 The Virtual Distortion Method – A Versatile Reanalysis Tool (Przemyslaw Kolakowski, Marcin Wiklo and Jan Holnicki-Szulc). 2.1 Introduction. 2.2 Overview of Reanalysis Methods. 2.3 Virtual Distortion Method – The Main Idea. 2.4 VDM in Structural Statics. 2.4.1 Influence Matrix in Statics. 2.4.2 Stiffness Remodeling in Statics. 2.4.3 Plasticity in Statics. 2.4.4 Example 1 in Statics. 2.4.5 Example 2 in Statics. 2.5 VDM in Structural Dynamics. 2.5.1 Influence Matrices in Dynamics. 2.5.2 Stiffness Remodeling in Dynamics. 2.5.3 Plasticity in Dynamics. 2.5.4 Mass Remodeling in Dynamics. 2.6 VDM-Based Sensitivity Analysis. 2.7 Versatility of VDM in System Modeling. 2.8 Recapitulation. 2.8.1 General Remarks. 2.8.2 Applications of the VDM to Structures. 2.8.3 Applications of the VDM to Nonstructural Systems. References. 3 VDM-Based Health Monitoring of Engineering Systems (Przemyslaw Kolakowski, Andrzej´ Swiercz, Anita Orlowska, Marek Kokot and Jan Holnicki-Szulc). 3.1 Introduction to Structural Health Monitoring. 3.2 Damage Identification in Skeletal Structures. 3.2.1 Introduction. 3.2.2 Time Domain (VDM-T) versus Frequency Domain (VDM-F). 3.2.3 Modifications in Beams. 3.2.4 Problem Formulation and Optimization Issues. 3.2.5 Numerical Algorithm. 3.2.6 Numerical Examples. 3.2.7 Experimental Verification. 3.2.8 Conclusions. 3.3 Modeling and Identification of Delamination in Double-Layer Beams. 3.3.1 Introduction. 3.3.2 Modeling of Delamination. 3.3.3 Identification of Delamination. 3.3.4 Conclusions. 3.4 Leakage Identification in Water Networks. 3.4.1 Introduction. 3.4.2 Modeling of Water Networks and Analogies to Truss Structures. 3.4.3 VDM-Based Simulation of Parameter Modification. 3.4.4 Leakage Identification. 3.4.5 Numerical Examples. 3.4.6 Conclusions. 3.5 Damage Identification in Electrical Circuits. 3.5.1 Introduction. 3.5.2 Modeling of Electrical Circuits and Analogies to Truss Structures. 3.5.3 VDM Formulation. 3.5.4 Defect Identification. 3.5.5 Numerical Example. 3.5.6 Conclusions. References. 4 Dynamic Load Monitoring (Lukasz Jankowski, Krzysztof Sekula, Bartlomiej D. Blachowski, Marcin Wiklo, and Jan Holnicki-Szulc). 4.1 Real-Time Dynamic Load Identification. 4.1.1 Impact Load Characteristics. 4.1.2 Solution Map Approach. 4.1.3 Approach Based on Force and Acceleration. 4.1.4 Approaches Based on Conservation of Momentum. 4.1.5 Experimental Test Stand. 4.1.6 Experimental Verification. 4.1.7 Comparison of Approaches. 4.2 Observer Technique for On-Line Load Monitoring. 4.2.1 State-Space Representation of Mechanical Systems. 4.2.2 State Estimation and Observability. 4.2.3 Model-Based Input Estimation. 4.2.4 Unknown Input Observer. 4.2.5 Numerical Examples. 4.3 Off-Line Identification of Dynamic Loads. 4.3.1 Response to Dynamic Loading. 4.3.2 Load Reconstruction. 4.3.3 Optimum Sensor Location. 4.3.4 Numerical Example. References. 5 Adaptive Impact Absorption (Piotr K. Pawlowski, Grzegorz Mikulowski, Cezary Graczykowski, Marian Ostrowski, Lukasz Jankowski and Jan Holnicki-Szulc). 5.1 Introduction. 5.2 Multifolding Materials and Structures. 5.2.1 Introduction. 5.2.2 The Multifolding Effect. 5.2.3 Basic Model of the MFM. 5.2.4 Experimental Results. 5.3 Structural Fuses for Smooth Reception of Repetitive Impact Loads. 5.3.1 Introductory Numerical Example. 5.3.2 Optimal Control 162 5.3.3 Structural Recovery. 5.3.4 Numerical Example of Adaptation and Recovery. 5.4 Absorption of Repetitive, Exploitative Impact Loads in Adaptive Landing Gears. 5.4.1 The Concept of Adaptive Landing Gear. 5.4.2 Control System Issues. 5.4.3 Modeling of ALG. 5.4.4 Control Strategies. 5.4.5 Potential for Improvement. 5.4.6 Fast Control of an MRF-Based Shock Absorber. 5.5 Adaptive Inflatable Structures with Controlled Release of Pressure. 5.5.1 The Concept of Adaptive Inflatable Structures (AIS), Mathematical Modeling and Numerical Tools. 5.5.2 Protection against Exploitative Impact Loads for Waterborne Transport. 5.5.3 Protective Barriers against an Emergency Crash for Road Transport. 5.5.4 Adaptive Airbag for Emergency Landing in Aeronautic Applications. 5.6 Adaptive Crash Energy Absorber. 5.6.1 Low-Velocity Impacts. 5.6.2 Energy Absorption by the Prismatic Thin-Walled Structure. 5.6.3 Use of Pyrotechnic Technology for the Crash Stiffness Reduction. References. 6 VDM-Based Remodeling of Adaptive Structures Exposed to Impact Loads (Marcin Wiklo, Lukasz Jankowski, Malgorzata Mróz and Jan Holnicki-Szulc). 6.1 Material Redistribution in Elastic Structures. 6.1.1 VDM Formulation. 6.1.2 Sensitivity Analysis. 6.1.3 Numerical Testing Example. 6.2 Remodeling of Elastoplastic Structures. 6.2.1 VDM Formulation. 6.2.2 Sensitivity Analysis. 6.3 Adaptive Structures with Active Elements. 6.3.1 Stiffest Elastic Substructure. 6.3.2 Structural Fuses as Active Elements. 6.3.3 Comments. 6.4 Remodeling of Damped Elastic Structures. 6.4.1 Damping Model. 6.4.2 General VDM Formulation. 6.4.3 Specific Formulations and Sensitivity Analysis. References. 7 Adaptive Damping of Vibration by the Prestress Accumulation/Release Strategy (Arkadiusz Mróz, Anita Orlowska and Jan Holnicki-Szulc). 7.1 Introduction. 7.2 Mass–Spring System. 7.2.1 The Concept. 7.2.2 Analytical Solution. 7.2.3 Case with Inertia of the Active Spring Considered. 7.3 Delamination of a Layered Beam. 7.3.1 PAR Strategy for Layered Beams. 7.3.2 Numerical Example of a Simply Supported Beam. 7.3.3 PAR – the VDM Formulation. 7.4 Experimental Verification. 7.4.1 Experimental Set-up. 7.4.2 Control Procedure. 7.4.3 Results. 7.5 Possible Applications. References. 8 Modeling and Analysis of Smart Technologies in Vibroacoustics (Tomasz G. Zielínski). 8.1 Introduction. 8.1.1 Smart Hybrid Approach in Vibroacoustics. 8.1.2 A Concept of an Active Composite Noise Absorber. 8.1.3 Physical Problems Involved and Relevant Theories. 8.1.4 General Assumptions and Some Remarks on Notation. 8.2 Biot’s Theory of Poroelasticity. 8.2.1 Isotropic Poroelasticity and the Two Formulations. 8.2.2 The Classical Displacement Formulation. 8.2.3 The Mixed Displacement–Pressure Formulation. 8.3 Porous and Poroelastic Material Data and Coefficients. 8.3.1 Porous Materials with a Rigid Frame. 8.3.2 Poroelastic Materials. 8.4 Weak Forms of Poroelasticity, Elasticity, Piezoelectricity and Acoustics. 8.4.1 Weak Form of the Mixed Formulation of Poroelasticity. 8.4.2 Weak Form for an Elastic Solid. 8.4.3 Weak Form of Piezoelectricity. 8.4.4 Weak Form for an Acoustic Medium. 8.5 Boundary Conditions for Poroelastic Medium. 8.5.1 The Boundary Integral. 8.5.2 Imposed Displacement Field. 8.5.3 Imposed Pressure Field. 8.6 Interface Coupling Conditions for Poroelastic and Other Media. 8.6.1 Poroelastic–Poroelastic Coupling. 8.6.2 Poroelastic–Elastic Coupling. 8.6.3 Poroelastic–Acoustic Coupling. 8.6.4 Acoustic–Elastic Coupling. 8.7 Galerkin Finite Element Model of a Coupled System of Piezoelectric, Elastic, Poroelastic and Acoustic Media. 8.7.1 A Coupled Multiphysics System. 8.7.2 Weak Form of the Coupled System. 8.7.3 Galerkin Finite Element Approximation. 8.7.4 Submatrices and Couplings in the Algebraic System. 8.8 Modeling of Poroelastic Layers with Mass Implants Improving Acoustic Absorption. 8.8.1 Motivation. 8.8.2 Two Approaches in Modeling Small Solid Implants. 8.8.3 Acoustic Absorption of the Poroelastic Layer. 8.8.4 Results of Analyses. 8.8.5 Concluding Remarks. 8.9 Designs of Active Elastoporoelastic Panels. 8.9.1 Introduction. 8.9.2 Active Sandwich Panel. 8.9.3 Active Single-Plate Panel. 8.10 Modeling and Analysis of an Active Single-Plate Panel. 8.10.1 Kinds and Purposes of Numerical Tests. 8.10.2 Plate Tests. 8.10.3 Multilayer Analysis. 8.10.4 Analysis of Passive Behavior of the Panel. 8.10.5 Test of Active Behavior of the Panel. 8.10.6 Concluding Remarks. References. Acknowledgements. Index.

Read more less

Book SynopsisProvides tips for using servers and places to seek resources to find out about what's going on in the bioinformatics world. This book helps you: analyze all types of sequences; use all types of databases; work with DNA and protein sequences; conduct similarity searches; build a multiple sequence alignment; and edit and publish alignments.Table of ContentsIntroduction. Part I: Getting Started in Bioinformatics. Chapter 1: Finding Out What Bioinformatics Can Do for You. Chapter 2: How Most People Use Bioinformatics. Part II: A Survival Guide to Bioinformatics. Chapter 3: Using Nucleotide Sequence Databases. Chapter 4: Using Protein and Specialized Sequence Databases. Chapter 5: Working with a Single DNA Sequence. Chapter 6: Working with a Single Protein Sequence. Part III: Becoming a Pro in Sequence Analysis. Chapter 7: Similarity Searches on Sequence Databases. Chapter 8: Comparing Two Sequences. Chapter 9: Building a Multiple Sequence Alignment. Chapter 10: Editing and Publishing Alignments. Part IV: Becoming a Specialist: Advanced Bioinformatics Techniques. Chapter 11: Working with Protein 3-D Structures. Chapter 12: Working with RNA. Chapter 13: Building Phylogenetic Trees. Part V: The Part of Tens. Chapter 14: The Ten (Okay, Twelve) Commandments for Using Servers. Chapter 15: Some Useful Bioinformatics Resources. Index.

Read more less