Computer science Books

Book SynopsisThis book is a part of the Blue Book series “Research on the Development of Electronic Information Engineering Technology in China”, which explores the cutting edge of blockchain technology studies.The research objects of blockchain are the concept, development process, core value of blockchain, and focuses on the core technology and classification of blockchain technology. And summarizes the development situation of the global and Chinese blockchain industry, including the status quo of policy measures, standard construction, and application development. Finally, summarize the main innovation points of blockchain technology, including its development in China, and prospects the future development of blockchain technology. This book is intended for researchers and industrial staffs who have been following the current situation and future trends of the blockchain. Meanwhile, it also bears high value of reference for experts, scholars, and technical and engineering managers of different levels and different fields.Table of ContentsI. The Concept and Benefits of Blockchain(I) The Concept of Blockchain. 1 (II) The History of Blockchain. 1 (III) The Benefits of Blockchain. 2 II. The Core Technologies and Classifications of Blockchain. 3 (I) Core Technologies of Blockchain. 3 1. Ledger Data Structure. 3 2. Consensus Algorithms. 4 3. Peer-to-peer (P2P) Network. 5 4. Cryptography. 5 5. Smart Contract 6 (II) Classifications of Blockchain. 8 1. Public Blockchain. 8 2. Permissioned Blockchain. 8 III. The Industrial Development Trend of Blockchain. 10 (I) Global Industrial Development Trend of Blockchain. 10 1. Countries all over the world are competing to lay out blockchain and occupy the high ground in the industry. And the regulatory system has been improving. 10 2. The Integration of Blockchain and Real Economy Proves to be a Main Trend. and Giant Companies Have Joined in. 16 3. The Establishment of Blockchain Standard System is accelerating, and the Fight for Voices is Increasingly Fierce. 17 (II) Analysis on the Current Situation of China's Blockchain Industry. 19 1. National strategic orientation and industrial policies have been continuously improved. 19 2. The standard system has been initially established and the development of standards has been steadily promoted. 23 3. Main body of industry continues to grow and upstream and downstream chains are basically formed. 25 IV. Blockchain Technology Innovation Hot Spots. 30 (I) Blockchain Scalability. 30 (II) Blockchain Interoperability. 32 (III) Blockchain Privacy Protection and Security. 33 (IV) Blockchain Governance Technology. 34 V. Hot Spots and Highlights of China's Blockchain Development 35 (I) Blockchain underlying platforms are emerging, and the technology is improving. 35 (II) Integrate deeply with the real economy, and develop more applications. 38 VI. The Future of Blockchain. 42 References. 44

Read more less

Book SynopsisThis book is a timely document of state-of-the art analytical techniques in the domain of stream cipher design and analysis with a specific cipher, named ZUC. It links new research to brief contextual literature review in the domain of complex LFSR-based stream ciphers. A snapshot of how stream ciphers are deployed in the mobile telephony architecture, one of the most well-known topics for more than five decades in the domain of computer and communication sciences, is presented in this book. The book provides an in-depth study on design and cryptanalysis of ZUC as well as relevant research results in this field with directions towards future analysis of this cipher.Table of Contents1. Introduction and Preliminaries.- 2. Introduction and Preliminaries.- 3. Introduction and Preliminaries.- 4. Introduction and Preliminaries.- 5. Introduction and Preliminaries.- 6. Test Vectors for ZUC.

Read more less

Book Synopsis1. Einführung und Vorbemerkungen.- 2. zentralisierte Systeme.- 3. dezentralisierte Protokolle zur Ermittlung von Kontaktpersonen.- 4. ein neues Protokoll zur Ermittlung von Kontaktpersonen.

Read more less

Book Synopsis

Read more less

Book Synopsis"The tumultuous changes in the landscape of information technology over the last two years have led us to make extensive modifications in this edition of USING INFORMATION TECHNOLOGY - to do not just a revision but a remaking and reimagining of this computer concepts book."-Brian K. Williams & Stacey C. Sawyer A comprehensive, storytelling approach to Computing Concepts. The 11th edition has been revamped to include emphasis on mobile computing, cloud computing, privacy/surveillance, and big data.

Read more less

Book SynopsisDatabase System Concepts by Silberschatz, Korth and Sudarshan is now in its 6th edition and is one of the cornerstone texts of database education. It presents the fundamental concepts of database management in an intuitive manner geared toward allowing students to begin working with databases as quickly as possible.The text is designed for a first course in databases at the junior/senior undergraduate level or the first year graduate level. It also contains additional material that can be used as supplements or as introductory material for an advanced course. Because the authors present concepts as intuitive descriptions, a familiarity with basic data structures, computer organization, and a high-level programming language are the only prerequisites. Important theoretical results are covered, but formal proofs are omitted. In place of proofs, figures and examples are used to suggest why a result is true.

Read more less

Book SynopsisTable of ContentsCh 1 Introduction to Digital Systems Ch 2 Number Systems, Operations, and Codes Ch 3 Logic Gates and Gate Combinations Ch 4 Combinational Logic Ch 5 Functions of Combinational Logic Ch 6 Latches, Flip-Flops, and Timers Ch 7 Shift Registers Ch 8 Counters Ch 9 Programmable Logic Ch 10 Memory and Storage Ch 11 Data Transmission Ch 12 Signal Conversion and Processing Ch 13 Data Processing and Control Ch 14 Buses, Networks, and Interfacing Appendix A Conversions Appendix B Security System Components Answers to Odd-Numbered Problems Glossary Index

Read more less

Book SynopsisDr. Daniel W. Lewis' efforts led to the creation of Santa Clara University's Computer Engineering department in 1988, providing its leadership for the first 18 years. During his tenure, Lewis established unique co-op and study abroad options that fit within the normal undergraduate four-year plan, the first graduate-level academic certificate programs for working professionals, a new interdisciplinary major in Web Design and Engineering, and a interdisciplinary minor in Information Technology and Society. Since 2004, Lewis has focused on K-12 outreach in engineering and computing, raising more than $1.7M from NSF and private sources, and providing professional development for more than 200 K-12 teachers and summer camps for more than 2,000 K-12 students. Prior to joining the University in 1975, Lewis worked for six years at General Electric's Aerospace Division where he designed a fault-tolerant clocking system for one of the first triple-redundant automatic landing systTable of Contents1 Introduction 1.1 WHAT IS AN EMBEDDED SYSTEM? 1.2 WHAT’S UNIQUE ABOUT THE DESIGN GOALS FOR EMBEDDED SOFTWARE? 1.3 What Does "Real-Time" Mean? 1.4 What Does "multithreading" mean? 1.5 HOW POWERFUL ARE EMBEDDED PROCESSORS? 1.6 WHAT PROGRAMMING LANGUAGES ARE USED? 1.7 HOW IS BUILDING AN EMBEDDED APPLICATION DIFFERENT? 1.8 HOW BIG ARE TYPICAL EMBEDDED PROGRAMS? PROBLEMS 2 Data Representation2.1 FIXED-PRECISION BINARY NUMBERS 2.2 POSITIONAL NUMBER SYSTEMS 2.2.1 Binary-to-Decimal Conversion 2.2.2 Decimal-to-Binary Conversion 2.2.3 Hexadecimal — A Shorthand for Binary 2.2.4 Fixed Precision, Rollover and Overflow 2.3 BINARY REPRESENTATION OF INTEGERS 2.3.1 Signed Integers 2.3.2 Positive and Negative Representations of the Same Magnitude 2.3.3 Interpreting the Value of a 2’s-Complement Number 2.3.4 Changing the Sign of Numbers with Integer and Fractional Parts 2.3.5 Binary Addition and Subtraction 2.3.6 Range and Overflow 2.4 BINARY REPRESENTATION OF REAL NUMBERS 2.4.1 Floating-Point Real Numbers 2.4.2 Fixed-Point Real Numbers 2.5 ASCII REPRESENTATION OF TEXT 2.6 BINARY-CODED DECIMAL (BCD) PROBLEMS 3 Implementing Arithmetic 3.1 2’s Complement and hardware complexity 3.2 MULTIPLICATION AND DIVISION 3.2.1 Signed vs. Unsigned Multiplication 3.2.2 Shifting Instead of Multiplying or Dividing by Powers of 2 3.2.3 Multiplying by an Arbitrary Constant 3.2.4 Dividing by an Arbitrary Constant 3.3 ARITHMETIC FOR FIXED-POINT REALS 3.3.1 Fixed-Point Using a Universal 16.16 Format 3.3.2 Fixed-Point Using a Universal 32.32 Format 3.3.3 Multiplication of 32.32 Fixed Point Reals 3.3.4 Example: Multiplying two 4.4 Fixed Point Reals PROBLEMS 4 Getting the Most Out of C 4.1 Integer Data Types 4.1.1 Integer Range and the Standard Header File LIMITS.H 4.2 BOOLEAN Data Types 4.3 Mixing Data Types 4.4 Manipulating Bits in Memory 4.4.1 Testing Bits 4.4.2 Setting, Clearing, and Inverting Bits 4.4.3 Extracting Bits 4.4.4 Inserting Bits 4.5 Manipulating Bits in INPUT/OUTPUT PORTS 4.5.1 Write-Only I/O Devices 4.5.2 I/O Devices Differentiated by Reads Versus Writes 4.5.3 I/O Devices Differentiated by Sequential Access 4.5.4 I/O Devices Differentiated by Bits in the Written Data 4.6 Accessing Memory-Mapped I/O Devices 4.6.1 Accessing Data Using a Pointer 4.6.2 Arrays, Pointers, and the “Address of” Operator 4.7 Structures 4.7.1 Packed Structures 4.7.2 Bit Fields 4.8 Variant Access 4.8.1 Casting the Address of an Object 4.8.2 Using Unions Problems 5 Programming in Assembly Part 1: Computer Organization 5.1 Memory 5.1.1 Data Alignment 5.2 The Central Processing Unit (CPU) 5.2.1 Other Registers 5.2.2 The Fetch-Execute Cycle 5.3 Input/Output (I/O) 5.4 Introduction to the ARM® CortexTM- M3 V7M Architecture 5.4.1 Internal Organization 5.4.2 Instruction Pipelining 5.4.3 Memory Model 5.4.4 Bit-Banding 5.5 ARM ASSEMBLY LANGUAGE 5.5.1 Instruction Formats and Operands 5.5.2 Translating Assembly into Binary Problems 6 Programming in Assembly Part 2: Data Manipulation 6.1 LOADING CONSTANTS INTO REGISTERS 6.2 LOADING MEMORY DATA INTO REGISTERS 6.3 STORING DATA FROM REGISTERS TO MEMORY 6.4 CONVERTING SIMPLE C ASSIGNMENT STATEMENTS INTO ARM ASSEMBLY 6.5 MEMORY ADDRESS CALCULATIONS 6.6 MEMORY ADDRESSING EXAMPLES 6.6.1 Translating C Pointer Expressions to Assembly 6.6.2 Translating C Subscript Expressions to Assembly 6.6.3 Translating Structure References to Assembly 6.7 STACK INSTRUCTIONS 6.8 DATA PROCESSING INSTRUCTIONS 6.8.1 Updating the Flags in the APSR 6.8.2 Arithmetic Instructions 6.8.3 Bit Manipulation Instructions 6.8.4 Shift Instructions 6.8.5 Bitfield Manipulation Instructions 6.8.6 Miscellaneous Bit, Byte and Halfword Instructions PROBLEMS 7 Programming in Assembly Part 3: Control Structures 7.1 INSTRUCTION SEQUENCING 7.2 IMPLEMENTING DECISIONS 7.2.1 Conditional Branch Instructions 7.2.2 If-Then and If-Then-Else Statements 7.2.3 Compound Conditionals 7.1.4 The “If-Then” (IT) Instruction 7.2 IMPLEMENTING LOOPS 7.2.1 Speeding Up Array Access 7.3 IMPLEMENTING FUNCTIONS 7.3.1 Function Call and Return 7.3.2 Register Usage 7.3.3 Parameter Passing 7.3.4 Return Values 7.3.5 Temporary Variables 7.3.6 Preserving Registers PROBLEMS 8 Programming in Assembly Part 4: I/O Programming 8.1 THE CORTEX-M3 I/O HARDWARE 8.1.1 Interrupts and Exceptions 8.1.2 Thread and Handler Modes 8.1.3 Entering the Exception Handler 8.1.4 Returning from the Exception Handler 8.1.5 Latency Reduction 8.1.6 Priorities and Nested Exceptions 8.2 SYNCHRONIZATION, TRANSFER RATE, AND LATENCY 8.3 BUFFERS AND QUEUES 8.3.1 Double Buffering 8.4 ESTIMATING I/O PERFORMANCE CAPABILITY 8.4.1 Polled Waiting Loops 8.4.2 Interrupt-Driven I/O 8.4.3 Direct Memory Access 8.4.4 Comparison of Methods PROBLEMS 9 Concurrent Software 9.1 FOREGROUND/BACKGROUND SYSTEMS 9.1.1 Thread State and Serialization 9.1.2 Managing Latency 9.1.3 Interrupt Overrun 9.1.4 Moving Work into the Background 9.2 MULTI-THREADED PROGRAMMING 9.2.1 Concurrent Execution of Independent Threads 9.2.2 Context Switching 9.2.3 Non-preemptive (Cooperative) Multithreading 9.2.4 Preemptive Multithreading 9.3 SHARED RESOURCES AND CRITICAL SECTIONS 9.3.1 Disabling Interrupts 9.3.2 Disabling Task Switching 9.3.3 Spin Locks 9.3.4 Mutex Objects 9.3.5 Semaphores PROBLEMS 10 Scheduling 10.1 THREAD STATES 10.2 PENDING THREADS 10.3 CONTEXT SWITCHING 10.4 ROUND-ROBIN SCHEDULING 10.5 PRIORITY-BASED SCHEDULING 10.5.1 Resource Starvation 10.5.2 Priority Inversion 10.5.3 The Priority Ceiling Protocol 10.5.4 The Priority Inheritance Protocol 10.6 ASSIGNING PRIORITIES 10.6.1 Deadline-Driven Scheduling 10.6.2 Rate-Monotonic Scheduling 10.7 DEADLOCK 10.8 WATCHDOG TIMERS PROBLEMS 11 Memory Management 11.1 OBJECTS IN C 11.2 SCOPE 11.2.1 Refining Local Scope 11.2.2 Refining Global Scope 11.3 LIFETIME 11.4 AUTOMATIC ALLOCATION 11.4.1 Storage Class “Register” 11.5 STATIC ALLOCATION 11.6 THREE PROGRAMS TO DISTINGUISH STATIC FROM AUTOMATIC 11.6.1 Object Creation 11.6.2 Object Initialization 11.6.3 Object Destruction 11.7 DYNAMIC ALLOCATION 11.7.1 Fragmentation 11.7.2 Memory Allocation Pools 11.8 AUTOMATIC ALLOCATION WITH VARIABLE SIZE (alloca) 11.8.1 Variable-Size Arrays 11.9 RECURSIVE FUNCTIONS AND MEMORY ALLOCATION PROBLEMS 12 Shared Memory 12.1 RECOGNIZING SHARED OBJECTS 12.2 REENTRANT FUNCTIONS 12.3 READ-ONLY DATA 12.3.1 Type Qualifier "const" 12.4 CODING PRACTICES TO AVOID 12.4.1 Functions That Keep Internal State in Local Static Objects 12.4.2 Functions That Return the Address of a Local Static Object 12.5 ACCESSING SHARED MEMORY 12.5.1 The Effect of Processor Architecture 12.5.2 Read-Only and Write-Only Access 12.5.3 Type Qualifier “volatile” PROBLEMS 13 System Initialization 13.1 MEMORY LAYOUT 13.2 THE CPU AND VECTOR TABLE 13.3 C RUN-TIME ENVIRONMENT 13.3.1 Copying Initial Values from Non-Volatile Memory into the Data Region 13.3.2 Zeroing Uninitialized Statics 13.3.3 Setting Up a Heap 13.4 SYSTEM TIMER 13.5 OTHER PERIPHERAL DEVICES

Read more less

Book SynopsisSara Baase is Professor Emeritus with the Department of Computer Science, San Diego State University, where she won awards for outstanding teaching. Her textbooks in computer science have been translated into several languages. Dr. Baase received her doctoral degree from the University of California, Berkeley. Timothy M. Henry has a Bachelor of Science Degree in Mathematics from the U.S. Coast Guard Academy, a Master of Science Degree in Computer Science from Old Dominion University, and was awarded a PhD in Applied Math Sciences from the University of Rhode Island. He began his IT career as an officer in the U.S. Coast Guard, and among his early tours, he was the Information Resources Manager (what is today a CIO) at the Coast Guard's training center in Yorktown, VA. Dr. Henry then switched over to education and taught mathematics and computer science courses at the U. S. Coast Guard Academy. As his time there ended, he was offered a great oTable of ContentsTable of Contents Unwrapping the Gift 1.1 The Pace of Change 1.2 Change and Unexpected Developments 1.2.1 Self-Driving Vehicles 1.2.2 Connections: Mobile Phones, Social Networking, and the Internet of Things 1.2.3 E-commerce and Free Stuff 1.2.4 Artificial Intelligence, Robotics, Sensors, and Motion 1.2.5 Tools for Disabled People 1.3 Themes 1.4 Ethics 1.4.1 What is Ethics, Anyway? 1.4.2 A Variety of Ethical Views 1.4.3 Some Important Distinctions Privacy 2.1 Privacy Risks and Principles 2.1.1 What Is Privacy? 2.1.2 New Technology, New Risks 2.1.3 Terminology and Principles for Managing Personal Data 2.2 The Business and Social Sectors 2.2.1 Marketing and Personalization 2.2.2 Our Social and Personal Activity 2.2.3 Location Tracking 2.2.4 A Right to Be Forgotten 2.3 The Fourth Amendment and Changing Technology 2.3.1 The Fourth Amendment 2.3.2 Background, Law, and Court Decisions 2.3.3 Applying the Fourth Amendment in New Areas 2.4 Government Systems 2.4.1 Video Surveillance and Face Recognition 2.4.2 Databases 2.4.3 Public Records: Access versus Privacy 2.4.4 National ID Systems 2.4.5 The NSA and Secret Intelligence Gathering 2.5 Protecting Privacy: Technology and Markets 2.5.1 Developing Privacy Tools 2.5.2 Encryption 2.5.3 Blocking Ads 2.5.4 Policies for Protecting Personal Data 2.6 Protecting Privacy: Theory, Rights, and Laws 2.6.1 A Right to Privacy 2.6.2 Law and Regulation 2.6.3 Contrasting Viewpoints 2.7 Privacy Regulations in the European Union Freedom of Speech 3.1 The First Amendment and Communications Paradigms 3.1.1 Free Speech Principles 3.1.2 Regulating Communications Media 3.2 Controlling Speech in Cyberspace 3.2.1 What Is O ensive Speech? What Is Illegal? 3.2.2 Censorship Laws and Alternatives 3.2.3 Child Pornography and Sexting 3.2.4 Spam 3.2.5 Challenging Old Regulatory Structures and Special Interests 3.3 Decisions about Legal but Objectionable Content 3.4 Leaking Sensitive Material 3.5 Anonymity 3.6 The Global Net: Censorship and Political Freedom 3.6.1 Tools for Communication, Tools for Oppression 3.6.2 Aiding Foreign Censors and Repressive Regimes 3.6.3 Shutting Down Communications in Free Countries 3.7 Net Neutrality: Regulations or the Market? Intellectual Property 4.1 Principles and Laws 4.1.1 What Is Intellectual Property? 4.1.2 Challenges of New Technologies 4.1.3 A Bit of History 4.1.4 The Fair Use Doctrine 4.1.5 Ethical Arguments About Copying 4.2 Signi cant Fair Use Cases and Precedents 4.2.1 Sony v. Universal City Studios (1984) 4.2.2 Reverse Engineering: Game Machines 4.2.3 Sharing Music: The Napster and Grokster Cases 4.2.4 User and Programmer Interfaces 4.3 Responses to Copyright Infringement 4.3.1 Defensive and Aggressive Responses from the Content Industries 4.3.2 The Digital Millennium Copyright Act: Anti Circumvention 4.3.3 The Digital Millennium Copyright Act: Safe Harbor 4.3.4 Evolving Business Models 4.4 Search Engines and Online Libraries 4.5 Free Software 4.5.1 What Is Free Software? 4.5.2 Should All Software Be Free? 4.6 Patents for Software Inventions 4.6.1 Patent Trends, Confusion, and Controversies 4.6.2 To Patent or Not? Crime and Security 5.1 Introduction 5.2 What is Hacking? 5.2.1 The Evolution of Hacking 5.2.2 Hacker Tools 5.2.3 Is “Harmless” Hacking Harmless? 5.3 Some Speci c Applications of Hacking 5.3.1 Identity Theft 5.3.2 Case Study: The Target Breach 5.3.3 Hacktivism, or Political Hacking 5.3.4 Hacking by Governments 5.4 Why Is the Digital World So Vulnerable? 5.4.1 Vulnerability of Operating Systems and the Internet 5.4.2 Human Nature, Markets, and Vulnerability of the Internet of Things 5.5 Security 5.5.1 Tools to Help Protect the Digital World 5.5.2 People Who Can Help Protect the Digital World 5.5.3 Hacking to Improve Security 5.5.4 Backdoors for Law Enforcement 5.6 The Law 5.6.1 The Computer Fraud and Abuse Act 5.6.2 Criminalize Virus Writing and Hacker Tools? 5.6.3 Penalties for Young Hackers 5.7 Whose Laws Rule the Web? 5.7.1 A Crime in One Country but Not Another 5.7.2 Libel and Freedom of Speech 5.7.3 Culture, Law, and Ethics 5.7.4 Potential Solutions Work 6.1 Fears and Questions 6.2 Impacts on Employment 6.2.1 Job Destruction and Creation 6.2.2 Changing Skills and Skill Levels 6.2.3 Are We Earning Less and Working More? 6.3 Changing Work Patterns: From Telecommuting to Gigs 6.3.1 Telecommuting 6.3.2 The Sharing Economy, On-Demand Services, and GIG Work 6.4 A Global Workforce 6.5 Employee Communication and Monitoring by Employers 6.5.1 Social Media Content 6.5.2 Separating–or Merging–Work and Personal Systems 6.5.3 Monitoring Employer Systems and Tracking Employees Evaluating and Controlling Technology 7.1 Evaluating Information 7.1.1 The Need for Responsible Judgment 7.1.2 Computer Models 7.2 Neo-Luddite Views of Computers, Technology, and Quality of Life 7.2.1 Criticisms of Computing Technologies 7.2.2 Views of Economics, Nature, and Human Needs 7.3 Digital Divides 7.3.1 Trends in Access in the United States 7.3.2 Reaching the Next Billion Users 7.4 Control of Our Devices and Data 7.4.1 Remote Deletion of Software and Data 7.4.2 Automatic Software Upgrades 7.5 Making Decisions About Technology 7.5.1 Questions 7.5.2 The Di culty of Prediction 7.5.3 Intelligent Machines and Super-intelligent Humans–Or the End of the Human Race? 7.5.4 A Few Observations Errors, Failures, and Risks 8.1 Failures and Errors in Computer Systems 8.1.1 An Overview 8.1.2 Problems For Individuals 8.1.3 System Failures 8.1.4 Example: Stalled Airports at Denver, Hong Kong, and Malaysia 8.1.5 Example: HealthCare.gov 8.1.6 What Goes Wrong? 8.1.7 Problems For Individuals 8.2 Case Study:The Therac-25 8.2.1 Therac-25 Radiation Overdoses 8.2.2 Software and Design Problems 8.2.3 Why So Many Incidents? 8.2.4 Observations and Perspective 8.3 Increasing Reliability and Safety 8.3.1 Professional Techniques 8.3.2 Trust the Human or the Computer System? 8.3.3 Law, Regulation, and Markets 8.4 Dependence, Risk, and Progress 8.4.1 Are We Too Dependent on Computers? 8.4.2 Risk and Progress Professional Ethics and Responsibilities 9.1 What Is “Professional Ethics”? 9.2 Ethical Guidelines for Computer Professionals 9.2.1 Special Aspects of Professional Ethics 9.2.2 Professional Codes of Ethics 9.2.3 Guidelines and Professional Responsibilities 9.3 Scenarios 9.3.1 Introduction and Methodology 9.3.2 Protecting Personal Data 9.3.3 Designing an Application with Targeted Ads 9.3.4 Webcams in School Laptops 9.3.5 Publishing Security Vulnerabilities 9.3.6 Specifications 9.3.7 Schedule Pressures 9.3.8 Software License Violation 9.3.9 Going Public with Safety Concerns 9.3.10 Release of Personal Information 9.3.11 Conflict of Interest 9.3.12 Kickbacks and Disclosure 9.3.13 A Test Plan 9.3.14 Artificial Intelligence and Sentencing Criminals 9.3.15 A Gracious Host Epilogue The Software Engineering Code and the ACM Code A.1. Software Engineering Code of Ethics and Professional Practice A.2. ACM Code of Ethics and Professional Conduct Index

Read more less

Book Synopsis&> Thomas Erl is a best-selling IT author and founder of CloudSchool.com andSOASchool.com. Thomas has been the world's top-selling service technology author for over five years and is the series editor of the Prentice Hall Service Technology Series from Thomas Erl (www.servicetechbooks.com ), as well as the editor of the Service Technology Magazine (www.servicetechmag.com). With over 175,000 copies in print world-wide, his eight published books have become international bestsellers and have been formally endorsed by senior members of major IT organizations, such as IBM, Microsoft, Oracle, Intel, AccentureTable of Contents Foreword xxxv Preface xxxvii Chapter 1: Introduction 1 Chapter 2: Case Study Background 17 Part I: Fundamental Service Contract Design 21 Chapter 3: SOA Fundamentals and Web Service Contracts 23 Chapter 4: Anatomy of a Web Service Contract 49 Chapter 5: A Plain English Guide to Namespaces 81 Chapter 6: Fundamental XML Schema: Types and Message Structure Basics 117 Chapter 7: Fundamental WSDL Part I: Abstract Description Design 167 Chapter 8: Fundamental WSDL Part II: Concrete Description Design 197 Chapter 9: Fundamental WSDL 2.0: New Features and Design Options 225 Chapter 10: Fundamental WS-Policy: Assertions, Expressions, and Attachments 241 Chapter 11: Fundamental Message Design: SOAP Envelope Structure, Fault Messages, and Header Processing 271 Part II: Advanced Service Contract Design 307 Chapter 12: Advanced XML Schema Part I: Message Flexibility, Type Inheritance, and Composition 309 Chapter 13: Advanced XML Schema Part II: Reusability, Relational Design, and Industry Schemas 353 Chapter 14: Advanced WSDL Part I: Modularization, Extensibility, MEPs, and Asynchrony 395 Chapter 15: Advanced WSDL Part II: Message Dispatch, Service Instance Identification, and Non-SOAP HTTP Binding 445 Chapter 16: Advanced WS-Policy Part I: Policy Centralization and Nested, Parameterized, and Ignorable Assertions 485 Chapter 17: Advanced WS-Policy Part II: Custom Policy Assertion Design, Runtime Representation, and Compatibility 517 Chapter 18: Advanced Message Design Part I: WS-Addressing Vocabularies 549 Chapter 19: Advanced Message Design Part II: WS-Addressing Rules and Design Techniques 569 Part III: Service Contract Versioning 597 Chapter 20: Versioning Fundamentals 599 Chapter 21: Versioning WSDL Definitions 617 Chapter 22: Versioning Message Schemas 657 Chapter 23: Advanced Versioning 689 Part IV: Appendices 719 Appendix A: Case Study Conclusion 721 Appendix B: How Technology Standards are Developed 725 Appendix C: Alphabetical Pseudo Schema Reference 729 Appendix D: Namespaces and Prefixes Used in this Book 747 Appendix E: SOA Design Patterns Related to this Book 751 About the Authors 763 Index 769

Read more less

Book SynopsisFor introductory courses in computer concepts, digital literacy, or computer literacy, often including instruction in Microsoft Office.                                                                                                 Using technology to teach technology Explore, discover, and experience technology with Technology in Action, the best seller that uses technology to teach

Read more less

Book SynopsisCisco Networking Academy is an innovative Cisco education initiative that delivers information and communication technology skills to improve career and economic opportunities around the world. The Academy provides online courses, interactive tools, and lab activities to prepare individuals for information technology and networking careers in virtually every industry.Table of Contents Chapter 1 Introduction to Personal Computer Hardware 1 1.0 Introduction to Personal Computers 1 1.1 Personal Computers 1 1.1.1 What is in a Computer? 1 1.1.2 Electrical and ESD Safety 1 1.2 PC Components 2 1.2.1 Case and power supplies 2 1.2.2 Motherboards 4 1.2.3 CPUs and Cooling Systems 6 1.2.4 Memory 6 1.2.5 Adapter Cards and Expansion Slots 8 1.2.6 Hard disk drives and SSDs 9 1.2.7 Optical Storage Devices 11 1.2.8 Ports, Cables, and Adaptors 11 1.2.9 Input Devices 12 1.2.10 Output Devices 12 1.3 Computer Disassembly 13 1.3.1 The Technician’s Toolkit 13 1.3.2 Computer Disassembly 13 1.4 Summary 14 Chapter 1 Quiz 15 Chapter 1 Exam 15 Your Chapter Notes 15 Chapter 2 PC Assembly 17 2.0 Introduction to PC Assembly 17 2.1 Assemble the Computer 17 2.1.1 General and Fire Safety 17 2.1.2 Open the Case and Connect the Power Supply 17 2.1.3 Install the Motherboard Components 19 2.1.4 Install Internal Drives 21 2.1.5 Install the Adapter Cards 23 2.1.6 Select Additional Storage 25 2.1.7 Install the Cables 26 2.2 Summary 28 Chapter 2 Quiz 30 Chapter 2 Exam 30 Your Chapter Notes 30 Chapter 3 Advanced Computer Hardware 31 3.0 Introduction to Advanced Computer Hardware 31 3.1 Boot the Computer 31 3.1.1 POST, BIOS, CMOS and UEFI 31 3.1.2 BIOS/UEFI Configuration 33 3.2 Electrical Power 35 3.2.1 Wattage and Voltage 35 3.2.2 Power Fluctuation and Protection 36 3.3 Advanced Computer Functionality 37 3.3.1 CPU Architectures and Operation 37 3.3.2 RAID 39 3.3.3 Ports, Connectors, and Cables 40 3.3.4 Monitors 41 3.4 Computer Configuration 42 3.4.1 Upgrade Computer Hardware 42 3.4.2 Configurations for Specialized Computers 45 3.5 Protecting the Environment 47 3.5.1 Safe Disposal of Equipment and Supplies 47 3.6 Summary 48 Chapter 3 Quiz 50 Chapter 3 Exam 50 Your Chapter Notes 50 Chapter 4 Preventive Maintenance and Troubleshooting 51 4.0 Introduction 51 4.1 Preventive Maintenance 51 4.1.1 PC Preventive Maintenance Overview 51 4.2 Troubleshooting Process 53 4.2.1 Troubleshooting Process Steps 53 4.2.2 Common Problems and Solutions for PCs 58 4.2.3 Apply Troubleshooting Process to Computer Components and Peripherals 58 4.3 Summary 60 Chapter 4 Quiz 61 Chapter 4 Exam 61 Your Chapter Notes 61 Chapter 5 Networking Concepts 63 5.0 Introduction 63 5.1 Network Components and Types 63 5.1.1 Types of Networks 63 5.1.2 Internet Connection Types 64 5.2 Networking Protocols, Standards, and Services 67 5.2.1 Transport Layer Protocols 67 5.2.2 Application Port Numbers 68 5.2.3 Wireless Protocols 69 5.2.4 Network Services 70 5.3 Network Devices 73 5.3.1 Basic Network Devices 73 5.3.2 Security Devices 76 5.3.3 Other Network Devices 77 5.4 Network Cables 79 5.4.1 Network Tools 79 5.4.2 Copper Cables and Connectors 79 5.4.3 Fiber Cables and Connectors 80 5.5 Summary 81 Chapter 5 Quiz 83 Chapter 5 Exam 83 Your Chapter Notes 83 Chapter 6 Applied Networking 85 6.0 Introduction 85 6.1 Device to Network Connection 85 6.1.1 Network Addressing 85 6.1.2 Configure a NIC 89 6.1.3 Configure a Wired and Wireless Network 92 6.1.4 Firewall Settings 94 6.1.5 IoT Device Configuration 97 6.2 Basic Troubleshooting Process for Networks 98 6.2.1 Applying the Troubleshooting Process to 98 6.2.2 Network Problems and Solutions 99 6.3 Summary 99 Chapter 6 Quiz 101 Chapter 6 Exam 101 Your Chapter Notes 101 Chapter 7 Laptops and Other Mobile Devices 103 7.0 Introduction 103 7.1 Characteristics of laptops and other mobile devices 103 7.1.1 Mobile Device Overview 103 7.1.2 Laptop Components 106 7.1.3 Laptop Display Components 108 7.2 Laptop Configuration 109 7.2.1 Power Settings Configuration 109 7.2.2 Wireless Configuration 110 7.3 Laptop Hardware and Component Installation and Configuration 112 7.3.1 Expansion Slots 112 7.3.2 Replacing Laptop Components 114 7.4 Other Mobile Device Hardware Overview 117 7.4.1 Other Mobile Device Hardware 117 7.4.2 Specialty Mobile Devices 118 7.5 Network Connectivity and Email 119 7.5.1 Wireless and Cellular Data Networks 119 7.5.2 Bluetooth 121 7.5.3 Configuring Email 122 7.5.4 Mobile Device Synchronization 124 7.6 Preventive Maintenance for Laptops and other Mobile Devices 126 7.6.1 Scheduled Maintenance for Laptops and other Mobile Devices 126 7.7 Basic Troubleshooting Process for Laptops and other Mobile Devices 127 7.7.1 Applying the Troubleshooting Process to Laptops and other Mobile Devices 127 7.7.2 Common Problems and Solutions for Laptops and Other Mobile Devices 128 7.8 Summary 129 Chapter 7 Quiz 131 Chapter 7 Exam 131 Your Chapter Notes 131 Chapter 8 Printers 133 8.0 Introduction 133 8.1 Common Printer Features 133 8.1.1 Characteristics and Capabilities 133 8.1.2 Printer Connections 135 8.2 Printer Type Comparison 135 8.2.1 Inkjet Printers 135 8.2.2 Laser Printers 135 8.2.3 Laser Printing Process 136 8.2.4 Thermal Printers and Impact Printers 136 8.2.5 Virtual Printers 137 8.2.6 3D Printers 137 8.3 Installing and Configuring Printers 138 8.3.1 Installing and Updating a Printer 138 8.3.2 Configuring Options and Default Settings 139 8.3.3 Optimizing Printer Performance 139 8.4 Sharing Printers 140 8.4.1 Operating System Settings for Sharing Printers 140 8.4.2 Print Servers 141 8.5 Maintaining and Troubleshooting Printers 143 8.5.1 Printer Preventive Maintenance 143 8.5.2 Inkjet Printer Preventive Maintenance 143 8.5.3 Laser Printer Preventive Maintenance 144 8.5.4 Thermal Printer Preventive Maintenance 145 8.5.5 Impact Printer Preventive Maintenance 145 8.5.6 3D Printer Preventive Maintenance 145 8.5.7 Applying the Troubleshooting Process to Printers 146 8.5.8 Problems and Solutions 147 8.6 Summary 147 Chapter 8 Quiz 149 Chapter 8 Exam 149 Your Chapter Notes 149 Chapter 9 Virtualization and Cloud Computing 151 9.0 Introduction 151 9.1 Virtualization 151 9.1.1 Virtualization 151 9.1.2 Client-Side Virtualization 153 9.2 Cloud Computing 155 9.2.1 Cloud Computing Applications 155 9.2.2 Cloud Services 155 9.3 Summary 156 Chapter 9 Quiz 158 Chapter 9 Exam 158 Your Chapter Notes 158 Chapter 10 Windows Installation 159 10.0 Introduction 159 10.1 Modern Operating Systems 159 10.1.1 Operating System Features 159 10.1.2 Customer Requirements for an Operating System 160 10.1.3 Operating System Upgrades 162 10.2 Disk Management 163 10.2.1 Disk Management 163 10.3 Installation and Boot Sequence 166 10.3.1 Basic Windows Installation 166 10.3.2 Custom Installation Options 167 10.3.3 Windows Boot Sequence 170 10.4 Summary 171 Chapter 10 Quiz 172 Chapter 10 Exam 172 Your Chapter Notes 172 Chapter 11 Windows Configuration 173 11.0 Introduction 173 11.1 Windows Desktop and File Explorer 173 11.1.1 Comparing Windows Versions 173 11.1.2 The Windows Desktop 175 11.1.3 Windows Task Manager 178 11.1.4 Windows File Explorer 180 11.2 Configure Windows with Control Panels 183 11.2.1 Control Panel Utilities 183 11.2.2 User and Account Control Panel Items 184 11.2.3 Network and Internet Control Panels 185 11.2.4 Display Settings and Control Panel 187 11.2.5 Power and System Control Panels 188 11.2.6 Hardware and Sound Control Panels 190 11.2.7 Clock, Region, and Language 191 11.2.8 Programs and Features Control Panels 192 11.2.9 Other Control Panels 193 11.3 System Administration 194 11.3.1 Administrative Tools 194 11.3.2 System Utilities 197 11.3.3 Disk Management 199 11.3.4 Application Installation and Configuration 202 11.4 Command-Line Tools 204 11.4.1 Using Windows CLI 204 11.4.2 File System CLI Commands 205 11.4.3 Disk CLI Commands 206 11.4.4 Task and System CLI Commands 207 11.4.5 Other Useful CLI Commands 207 11.5 Windows Networking 208 11.5.1 Network Sharing and Mapping Drives 208 11.5.2 Sharing Local Resources with Others 210 11.5.3 Configure a Wired Network Connection 211 11.5.4 Configure a Wireless Network Interfaces in Windows 213 11.5.5 Remote Access Protocols 213 11.5.6 Remote Desktop and Assistance 214 11.6 Common Preventive Maintenance Techniques for Operating Systems 215 11.6.1 OS Preventive Maintenance Plan 215 11.6.2 Backup and Restore 217 11.7 Basic Troubleshooting Process for Windows Operating Systems 218 11.7.1 Applying Troubleshooting Process to Windows Operating Systems 218 11.7.2 Common Problems and Solutions for Windows Operating Systems 219 11.7.3 Advanced Troubleshooting for Windows Operating Systems 219 11.8 Summary 219 Chapter 11 Quiz 221 Chapter 11 Exam 221 Your Chapter Notes 221 Chapter 12 Mobile, Linux, and macOS Operating Systems 223 12.0 Introduction 223 12.1 Mobile Operating Systems 223 12.1.1 Android vs. iOS 223 12.1.2 Android Touch Interface 224 12.1.3 iOS Touch Interface 224 12.1.4 Common Mobile Device Features 225 12.2 Methods for Securing Mobile Devices 227 12.2.1 Screen Locks and Biometric Authentication 227 12.2.2 Cloud-Enabled Services for Mobile Devices 227 12.2.3 Software Security 228 12.3 Linux and macOS Operating Systems 230 12.3.1 Linux and macOS tools and features 230 12.3.2 Linux and macOS Best Practices 233 12.3.3 Basic CLI Commands 234 12.4 Basic Troubleshooting Process for Mobile, Linux, and macOS Operating Systems 236 12.4.1 Applying the Troubleshooting Process to Mobile, Linux, and macOS Operating Systems 236 12.4.2 Common Problems and Solutions for Other Operating Systems 237 12.5 Summary 237 Chapter 12 Quiz 239 Chapter 12 Exam 239 Your Chapter Notes 239 Chapter 13 Security 241 13.0 Introduction 241 13.1 Security Threats 241 13.1.1 Malware 241 13.1.2 Preventing Malware 243 13.1.3 Network Attacks 246 13.1.4 Social Engineering Attacks 247 13.2 Security Procedures 248 13.2.1 Security Policy 248 13.2.2 Protecting Physical Equipment 249 13.2.3 Protecting Data 250 13.2.4 Data Destruction 253 13.3 Securing Windows Workstations 254 13.3.1 Securing a Workstation 254 13.3.2 Windows Local Security Policy 256 13.3.3 Managing Users and Groups 258 13.3.4 Windows Firewall 260 13.3.5 Web Security 262 13.3.6 Security Maintenance 264 13.4 Wireless Security 265 13.4.1 Configure Wireless Security 265 13.5 Basic Troubleshooting Process for Security 268 13.5.1 Applying the Troubleshooting Process to Security 268 13.5.2 Common Problems and Solutions for Security 269 13.6 Summary 269 Chapter 13 Quiz 271 Chapter 13 Exam 271 Your Chapter Notes 271 Chapter 14 The IT Professional 273 14.0 Introduction 273 14.1 Communication Skills and the IT Professional 273 14.1.1 Communication Skills, Troubleshooting, and Professional Behavior 273 14.1.2 Working with a Customer 275 14.1.3 Professional Behavior 276 14.1.4 The Customer Call 277 14.2 Operational Procedures 280 14.2.1 Documentation 280 14.2.2 Change Management 281 14.2.3 Disaster Prevention and Recovery 281 14.3 Ethical and Legal Considerations 284 14.3.1 Ethical and Legal Considerations in the IT Profession 284 14.3.2 Legal Procedures Overview 287 14.4 Call Center Technicians 289 14.4.1 Call Centers, Level One and Level Two Technicians 289 14.4.2 Basic Scripting and the IT Professional 291 14.5 Summary 292 Chapter 14 Quiz 294 Chapter 14 Exam 294 Your Chapter Notes 294 9780135612163 TOC 10/1/2019

Read more less

Book SynopsisThe goal of the book is to use combinatorial techniques to solve fundamental physics problems, and vice-versa, to use theoretical physics techniques to solve combinatorial problems.Trade ReviewA useful compendium of relevant subjects and it give the information about useful references in the field. * Juan Carlos Vazquez, zb Math Open *An outstanding book on a recent and very timely topic. * Vincent Rivasseau, University Paris-Sud XI, Orsay *This book appears at a time where there is a crucial need for such a cross-fertilisation of combinatorics and theoretical physics. * Thomas Krajewski, Aix-Marseille University *Table of Contents1: Introduction 2: Graphs, maps and polynomials 3: Quantum field theory (QFT) 4: Tree weights and renormalization in QFT 5: Combinatorial QFT and the Jacobian Conjecture 6: Fermionic QFT, Grassmann calculus and combinatorics 7: Analytic combinatorics and QFT 8: Algebraic combinatorics and QFT 9: QFT on the non-commutative Moyal space and combinatorics 10: Quantum gravity, Group Field Theory and combinatorics 11: From random matrices to random tensors 12: Random tensor models - the U(N)D-invariant model 13: Random tensor models - the multi-orientable (MO) model 14: Random tensor models - the O(N)3 invariant model 15: The Sachdev-Ye-Kitaev holographic model 16: SYK-like tensor models Appendix A: Examples of tree weights B: Renormalization of the Grosse-Wulkenhaar model, one-loop examples C: The B+ operator in Moyal QFT, two-loop examples D: Explicit examples of GFT tensor Feynman integral computations E: Coherent states of SU(2) F: Proof of the double scaling limit of the U(N)D??invariant tensor model G: Proof of Theorem 15.3.2 H: Proof of Theorem 16.1.1 J: Summary of results on the diagrammatics of the coloured SYK model and of the Gurau-Witten model Bibliography

Read more less

Book SynopsisMaster the latest version of Microsoft Office and take advantage of today's ever-changing world of technology with TECHNOLOGY FOR SUCCESS AND SHELLY CASHMAN SERIES MICROSOFT OFFICE 365 & OFFICE 2019. Part of the highly acclaimed Shelly Cashman Series that has introduced computer skills to millions of students like you, this edition offers a proven approach that's effective, no matter what your learning style. Meaningful topics within manageable lessons demonstrate how to apply concepts to your academic, professional, and personal lives. A step-by-step, screen-by-screen approach guides you in expanding your understanding of Microsoft Office 2019 through experimentation, critical thought and personalization. Updated activities, case scenarios and an emphasis on employability demonstrate the importance of what you're learning as you master the keys to using Microsoft Office 2019 effectively and become a user of today's technology.Table of ContentsConcepts 1: Impact of Technology. Concepts 2: The Web. Concepts 3: Computer Hardware. Concepts 4: Operating Systems and File Management. Concepts 5: Software and Apps. Concepts 6: Security and Safety. Word 1: Creating and Modifying a Flyer. Word 2: Creating a Research Paper. Word 3: Creating a Business Letter. PPT 1: Creating and Editing Presentations with Pictures. PPT 2: Enhancing Presentations with Shapes and SmartArt. PPT 3: Inserting WordArt, Charts, and Tables. Excel 1: Creating a Worksheet and a Chart. Excel 2: Formulas, Functions, and Formatting. Excel 3: Working with Large Worksheets, Charting, and What-If Analysis. Access 1: Databases and Database Objects: An Intro. Access 2: Querying a Database. Access 3: Maintaining a Database. Index.

Read more less

Book SynopsisTable of ContentsWord 8: Using Collaboration, Integration, and Charts. Word 9: Creating a Reference Document. Word 10: Creating an Online Form. Word 11: Enhancing an Online Form and Using Macros. PPT 8: Creating Photo Albums and Delivering Presentations. Excel 8: Working with Trendlines, Pivot Table Reports, PivotChart Reports, and Slicers. Excel 9: Formula Auditing, Data Validation, and Complex Problem Solving. Excel 10: Data Analysis with Power Tools and Creating Macros. Excel 11: User Interfaces, Visual Basic for Applications (VBA), and Collaboration Features in Excel. Access 8: Macros, Navigation Forms, and Control Layouts. Access 9: Administering a Database System. Access 10: Using SQL. Access 11: Database Design. Index.

Read more less

Book SynopsisA sweeping history of our deep entanglement with technology.Trade Review"[E]very chapter opens up as smoothly as an automated glass door. . . . [A] thoughtful, enlightening book. . . a melange of history, media studies, political science, military engineering, and, yes, etymology. . . . In Rise of the Machines, Rid has created a meticulous yet startling alternate history of computation. " -- Bruce Sterling - New Scientist"Rid’s fascinating survey of the oscillating hopes and fears expressed by the cybernetic mythos offers an implicit lesson." -- Michael Saler - Wall Street Journal"A common theme connects war machines, computer networks, social media, ubiquitous surveillance, and virtual reality. For fifty years or more the same people and the same ideas weave through these innovations united by the term ‘cyber,’ as in cyberspace and cybernetics. Read this amazing history and you’ll go: ‘Aha!’" -- Kevin Kelly, founder of Wired magazine, author of What Technology Wants and The Inevitable"Rid, a professor in security studies at King’s College London, is a fine chronicler of the debate, deftly recounting the hope, hype, and fears that have accompanied our thinking on automation. . . . Fascinating. . . Dazzling." -- Financial Times"Rid’s book offers a useful history as well as a chance to re-examine our current technological crossroads." -- Zeynep Tufekci - The New York Times Book Review"Rise of The Machines isn't just an insightful history of cybernetics but also a fascinating journey with the twentieth-century thinkers—from tech giants and eccentric mathematicians to science fiction writers and counterculture gurus—who have shaped how we understand machines and ourselves." -- P. W. Singer, author of Cybersecurity and Cyberwar: What Everyone Needs to Know and Ghost Fleet: A Novel of the Next World War"Sometimes the most important things are hiding in plain sight. At least that’s what I concluded from Rise of the Machines, Thomas Rid’s masterful blending of the art of a storyteller, the discipline of an historian, and the sensitivity of a philosopher. Machines unmasks how really disruptive this “cyber thing” has been and will continue to be to nearly all aspects of human experience. It’s more than food for thought. It’s a banquet." -- General Michael Hayden, former director of the NSA and the CIA"Rise of the Machines is a fascinating history of cybernetics, and of the visionaries like Norbert Wiener who first imagined the potential—and peril—of machines that would begin to replicate the capabilities of the human mind." -- Martin Ford, author of Rise of the Robots"Everyone I know should read this book. It will be a classic." -- Robert Lee, former U.S. Air Force Cyber Warfare Operations officer and SANS instructor

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 SynopsisThis innovative book provides a completely fresh exploration of bioinformatics, investigating its complex interrelationship with biology and computer science. It approaches bioinformatics from a unique perspective, highlighting interdisciplinary gaps that often trap the unwary.Table of ContentsPreface x Acknowledgements xvii About the companion website xviii PART 1 1 Introduction 3 1.1 Overview 3 1.2 Bioinformatics 3 1.2.1 What is bioinformatics? 3 1.2.2 The provenance of bioinformatics 4 1.2.3 The seeds of bioinformatics 5 1.3 Computer Science 7 1.3.1 Origins of computer science 7 1.3.2 Computer science meets bioinformatics 9 1.4 What did we want to do with bioinformatics? 10 1.5 Summary 12 1.6 References 13 1.7 Quiz 14 1.8 Problems 16 2 The biological context 17 2.1 Overview 17 2.2 Biological data]types and concepts 17 2.2.1 Diversity of biological data]types 17 2.2.2 The central dogma 18 2.2.3 Fundamental building]blocks and alphabets 19 2.2.4 The protein structure hierarchy 29 2.2.5 RNA processing in prokaryotes and eukaryotes 30 2.2.6 The genetic code 33 2.2.7 Conceptual translation and gene finding 35 2.3 Access to whole genomes 42 2.4 Summary 43 2.5 References 43 2.6 Quiz 46 2.7 Problems 47 3 Biological databases 49 3.1 Overview 49 3.2 What kinds of database are there? 49 3.3 The Protein Data Bank (PDB) 50 3.4 The EMBL nucleotide sequence data library 56 3.5 GenBank 58 3.6 The PIR]PSD 61 3.7 Swiss]Prot 62 3.8 PROSITE 64 3.9 TrEMBL 69 3.10 InterPro 71 3.11 UniProt 73 3.12 The European Nucleotide Archive (ENA) 77 3.13 Summary 81 3.14 References 82 3.15 Quiz 85 3.16 Problems 87 4 Biological sequence analysis 89 4.1 Overview 89 4.2 Adding meaning to raw sequence data 89 4.2.1 Annotating raw sequence data 94 4.2.2 Database and sequence formats 96 4.2.3 Making tools and databases interoperate 101 4.3 Tools for deriving sequence annotations 103 4.3.1 Methods for comparing two sequences 103 4.3.2 The PAM and BLOSUM matrices 104 4.3.3 Tools for global and local alignment 110 4.3.4 Tools for comparing multiple sequences 114 4.3.5 Alignment]based analysis methods 115 4.4 Summary 131 4.5 References 132 4.6 Quiz 134 4.7 Problems 136 5 The gap 138 5.1 Overview 138 5.2 Bioinformatics in the 21st century 138 5.3 Problems with genes 139 5.4 Problems with names 142 5.5 Problems with sequences 143 5.6 Problems with database entries 146 5.6.1 Problems with database entry formats 147 5.7 Problems with structures 148 5.8 Problems with alignments 150 5.8.1 Different methods, different results 150 5.8.2 What properties do my sequences share? 154 5.8.3 How similar are my sequences? 157 5.8.4 How good is my alignment? 160 5.9 Problems with families 163 5.10 Problems with functions 168 5.11 Functions of domains, modules and their parent proteins 173 5.12 Defining and describing functions 176 5.13 Summary 179 5.14 References 180 5.15 Quiz 182 5.16 Problems 183 PART 2 6 Algorithms and complexity 187 6.1 Overview 187 6.2 Introduction to algorithms 187 6.2.1 Mathematical computability 189 6.3 Working with computers 191 6.3.1 Discretisation of solutions 191 6.3.2 When computers go bad 193 6.4 Evaluating algorithms 197 6.4.1 An example: a sorting algorithm 197 6.4.2 Resource scarcity: complexity of algorithms 199 6.4.3 Choices, choices 200 6.5 Data structures 201 6.5.1 Structural consequences 202 6.5.2 Marrying form and function 210 6.6 Implementing algorithms 211 6.6.1 Programming paradigm 212 6.6.2 Choice of language 214 6.6.3 Mechanical optimisation 216 6.6.4 Parallelisation 224 6.7 Summary 227 6.8 References 227 6.9 Quiz 227 6.10 Problems 229 7 Representation and meaning 230 7.1 Overview 230 7.2 Introduction 230 7.3 Identification 233 7.3.1 Namespaces 233 7.3.2 Meaningless identifiers are a good thing 233 7.3.3 Identifying things on the Web 236 7.3.4 Cool URIs don’t change 238 7.3.5 Versioning and provenance 238 7.3.6 Case studies 239 7.4 Representing data 243 7.4.1 Design for change 245 7.4.2 Contemporary data]representation paradigms 247 7.5 Giving meaning to data 255 7.5.1 Bio ontologies in practice 260 7.5.2 First invent the universe 263 7.6 Web services 264 7.6.1 The architecture of the Web 266 7.6.2 Statelessness 267 7.7 Action at a distance 268 7.7.1 SOAP and WSDL 270 7.7.2 HTTP as an API 270 7.7.3 Linked Data 272 7.8 Summary 275 7.9 References 275 7.10 Quiz 276 7.11 Problems 277 8 Linking data and scientific literature 279 8.1 Overview 279 8.2 Introduction 279 8.3 The lost steps of curators 281 8.4 A historical perspective on scientific literature 286 8.5 The gulf between human and machine comprehension 288 8.6 Research objects 295 8.7 Data publishing 297 8.8 Separating scientific wheat from chaff – towards semantic searches 298 8.9 Semantic publication 300 8.9.1 Making articles ‘semantic’ 301 8.10 Linking articles with their cognate data 305 8.10.1 What Utopia Documents does 305 8.10.2 A case study 306 8.11 Summary 314 8.12 References 315 8.13 Quiz 318 8.14 Problems 319 Afterword 321 Glossary 327 Quiz Answers 371 Problem Answers 378 Index 394

Read more less