Co-Creativity and Engaged Scholarship Transformative Methods in Social Sustainability Research /

Table of Contents: “…Back to the drawing board: creative mapping methods for inclusion and connection -- 12. 'Getting deep into things': Deep mapping in a 'vacant' landscape -- 13. …”
Link to Metadata

The Joy of Cryptography by Rosulek, Mike

Table of Contents: “…0 Review of Concepts & Notation -- 1 One-Time Pad & Kerckhoffs' Principle -- 2 The Basics of Provable Security -- 3 Secret Sharing -- 4 Basing Cryptography on Intractable Computations -- 5 Pseudorandom Generators -- 6 Pseudorandom Functions & Block Ciphers -- 7 Security Against Chosen Plaintext Attacks -- 8 Block Cipher Modes of Operation -- 9 Chosen Ciphertext Attacks -- 10 Message Authentication Codes -- 11 Hash Functions -- 12 Authenticated Encryption & AEAD -- 13 RSA & Digital Signatures -- 14 Diffie-Hellman Key Agreement -- 15 Public-Key Encryption…”
Access online version

Legal Aspects of Marketing and Sales by Mayer, Don, Warner, Daniel, Siedel, George J., Lieberman, Jethro K.

Table of Contents: “…Chapter 1: Introduction to Law and Legal Systems -- Chapter 2: Corporate Social Responsibility and Business Ethics -- Chapter 3: Courts and the Legal Process -- Chapter 4: Constitutional Law and US Commerce -- Chapter 5: Administrative Law -- Chapter 6: Criminal Law -- Chapter 7: Introduction to Tort Law -- Chapter 8: Introduction to Contract Law -- Chapter 9: The Agreement -- Chapter 10: Real Assent -- Chapter 11: Consideration -- Chapter 12: Legality -- Chapter 13: Form and Meaning -- Chapter 14: Third-Party Rights -- Chapter 15: Discharge of Obligations -- Chapter 16: Remedies -- Chapter 17: Introduction to Sales and Leases -- Chapter 18: Title and Risk of Loss -- Chapter 19: Performance and Remedies -- Chapter 20: Products Liability -- Chapter 21: Bailments and the Storage, Shipment, and Leasing of Goods -- Chapter 22: Intellectual Property -- Chapter 23: Antitrust Law -- Chapter 24: Unfair Trade Practices and the Federal Trade Commission…”
Access online version

Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I /

Table of Contents: “…Invited Papers -- NNrepair: Constraint-based Repair of Neural Network Classifiers -- Balancing automation and control for formal verification of microprocessors -- Algebraic Program Analysis -- Programmable Program Synthesis -- Deductive Synthesis of Programs with Pointers: Techniques, Challenges, Opportunities -- AI Verification -- DNNV: A Framework for Deep Neural Network Verification -- Robustness Verification of Quantum Classifiers -- BDD4BNN: A BDD-based Quantitative Analysis Framework for Binarized Neural Networks -- Automated Safety Verification of Programs Invoking Neural Networks -- Scalable Polyhedral Verification of Recurrent Neural Networks -- Verisig 2.0: Verification of Neural Network Controllers Using Taylor Model Preconditioning -- Robustness Verification of Semantic Segmentation Neural Networks using Relaxed Reachability -- PEREGRiNN: Penalized-Relaxation Greedy Neural Network Verifier -- Concurrency and Blockchain -- Isla: Integrating full-scale ISA semantics andaxiomatic concurrency models -- Summing Up Smart Transitions -- Stateless Model Checking under a Reads-Value-From Equivalence -- Gobra: Modular Specification and Verification of Go Programs -- Delay-Bounded Scheduling Without Delay! …”
Link to Metadata

Architecture of Advanced Numerical Analysis Systems Designing a Scientific Computing System using OCaml / by Wang, Liang, Zhao, Jianxin

Table of Contents: “…-Chapter 2: Core Optimization -- Chapter 3: Algorithm Differentiation -- Chapter 4: Mathematical Optimization -- Chapter 5: Deep Neural Networks -- Chapter 6: Computation Graph -- Chapter 7: Performance Accelerators -- Chapter 8: Compiler Backends -- Chapter 9: Composition and Deployment -- Chapter 10: Distributed Computing -- Chapter 11: Testing Framework -- Appendix A: Basic Analytics Examples -- Appendix B: System Conventions -- Appendix C: Metric Systems and Constants -- Appendix D: AlgoDiff Module -- Appendix E: Neural Network Module -- Appendix F: Actor System for Distributed Computing -- Bibliography.…”
Link to Metadata

Elementary Abstract Algebra Examples and Applications

Table of Contents: “…Factor Groups) -- 16 Error-Detecting and Correcting Codes -- 17 Isomorphisms of Groups -- 18 Homomorphisms of Groups -- 19 Group Actions -- 20 Introduction to Rings and Fields…”
Access online version

How History is Made A Student’s Guide to Reading, Writing, and Thinking in the Discipline by Cole, Stephanie, Breuer, Kimberly, Palmer, Scott W.

Table of Contents: “…Degree Planning and Beyond, Advice from the UTA History Department -- Bibliography -- Appendix A- Database Rules and Datatypes -- Appendix B - Working With Multiple Tables -- Appendix C- Database Troubleshooting and Coding -- Appendix D- Database Design and Parts of a Database -- Appendix E- Writing Criteria/ Example Rubric -- Image Credits -- Accessibility Rubric -- Errata and Versioning History…”
Access online version

Business Law and the Legal Environment by Mayer, Don, Warner, Daniel M., Siedel, George J.

Table of Contents: “…Chapter 1: Introduction to Law and Legal Systems -- Chapter 2: Corporate Social Responsibility and Business Ethics -- Chapter 3: Courts and the Legal Process -- Chapter 4: Constitutional Law and US Commerce -- Chapter 6: Criminal Law -- Chapter 7: Introduction to Tort Law -- Chapter 8: Introduction to Contract Law -- Chapter 9: The Agreement -- Chapter 10: Real Assent -- Chapter 11: Consideration -- Chapter 12: Legality -- Chapter 13: Form and Meaning -- Chapter 14: Third-Party Rights -- Chapter 15: Discharge of Obligations -- Chapter 16: Remedies -- Chapter 17: Introduction to Sales and Leases -- Chapter 18: Title and Risk of Loss -- Chapter 19: Performance and Remedies -- Chapter 20: Products Liability -- Chapter 21: Bailments and the Storage, Shipment, and Leasing of Goods -- Chapter 22: Nature and Form of Commercial Paper -- Chapter 23: Negotiation of Commercial Paper -- Chapter 24: Holder in Due Course and Defenses -- Chapter 25: Liability and Discharge -- Chapter 26: Legal Aspects of Banking -- Chapter 27: Consumer Credit Transactions -- Chapter 28: Secured Transactions and Suretyship -- Chapter 29: Mortgages and Nonconsensual Liens -- Chapter 30: Bankruptcy -- Chapter 31: Introduction to Property: Personal Property and Fixtures -- Chapter 32: Intellectual Property -- Chapter 33: The Nature and Regulation of Real Estate and the Environment -- Chapter 34: The Transfer of Real Estate by Sale -- Chapter 35: Landlord and Tenant Law -- Chapter 36: Estate Planning: Wills, Estates, and Trusts -- Chapter 37: Insurance -- Chapter 38: Relationships between Principal and Agent -- Chapter 39: Liability of Principal and Agent; Termination of Agency -- Chapter 40: Partnerships: General Characteristics and Formation -- Chapter 41: Partnership Operation and Termination -- Chapter 42: Hybrid Business Forms -- Chapter 43: Corporation: General Characteristics and Formation -- Chapter 44: Legal Aspects of Corporate Finance -- Chapter 45: Corporate Powers and Management -- Chapter 46: Securities Regulation -- Chapter 47: Corporate Expansion, State and Federal Regulation of Foreign Corporations, and Corporate Dissolution -- Chapter 48: Antitrust Law -- Chapter 49: Unfair Trade Practices and the Federal Trade Commission -- Chapter 50: Employment Law -- Chapter 51: Labor-Management Relations -- Chapter 52: International Law -- Chapter 53: Contracts…”
Access online version

The Ethics of Medical Data Donation

Table of Contents: “…Shaw) -- Part IV: An Ethical Code for Posthumous Medical Data Donation -- Chapter 11. …”
Link to Metadata

Russia-China Relations Emerging Alliance or Eternal Rivals? /

Table of Contents: “…Sino-Russian Scientific Cooperation in the Arctic: From Deep Sea to Deep Space -- Chapter 11. Partnership Without Substance: Sino-Russian Relations in Central and Eastern Europe -- Chapter 12. …”
Link to Metadata

Re-presenting Research A Guide to Analyzing Popularization Strategies in Science Journalism and Science Communication / by Sterk, Florentine Marnel, van Goch, Merel M.

Table of Contents: “…Text example: Using an analytical framework to code a professional science journalism text -- Chapter 6. …”
Link to Metadata

Introduction to Computer Graphics by Eck, David J.

Table of Contents: “…Chapter 1: Introduction -- Chapter 2: Two-Dimensional Graphics -- Chapter 3: OpenGL 1.1: Geometry -- Chapter 4: OpenGL 1.1: Light and Material -- Chapter 5: Three.js: A 3D Scene Graph API -- Chapter 6: Introduction to WebGL -- Chapter 7: 3D Graphics with WebGL -- Chapter 8: Beyond Realtime Graphics -- Appendix A: Programming Languages -- Appendix B: Blender: A 3D Modeling Program -- Appendix C: Gimp and Inkscape for 2D Graphics -- Appendix D: Source Code for Sample Programs -- Appendix E: Glossary…”
Access online version

A Tale of Two Systems by Reitsma, René, Krueger, Kevin

Table of Contents: “…The Develop… Test… Build… Deploy Cycle -- Appendix A: When Editing Code Files, Use a Text Editor; Not(!) a Word Processor -- Appendix B: (Unintended?) …”
Access online version

China's Long-Term Low-Carbon Development Strategies and Pathways Comprehensive Report / by Institute of Climate Change and Sustainable Development of Tsinghua University et al

Table of Contents: “…Technical support for long-term deep decarbonization -- Chapter 8. Investment & cost analysis for realizing a low emission strategy -- Chapter 9. …”
Link to Metadata

Deep into Pharo by Bergel, Alexandre, Cassou, Damien, Ducasse, Stéphane, Laval, Jannik

Table of Contents: “…1 Preface -- I Libraries -- 2 Zero Configuration Scripts and Command-Line Handlers -- 3 Files with FileSystem -- 4 Sockets -- 5 The Settings Framework -- 6 Regular Expressions in Pharo -- II Source Management -- 7 Versioning Your Code with Monticello -- 8 Gofer: Scripting Package Loading -- 9 Managing Projects with Metacello -- III Frameworks -- 10 Glamour -- 11 Agile Visualization with Roassal -- 12 Scripting Visualizations with Mondrian -- IV Language -- 13 Handling Exceptions 263 -- 14 Blocks: a Detailed Analysis -- 15 Exploring Little Numbers -- 16 Fun with Floats -- V Tools -- 17 Profiling Applications -- 18 PetitParser: Building Modular Parsers -- --…”
Access online version

Logischer Empirismus, Lebensreform und die deutsche Jugendbewegung Logical Empiricism, Life Reform, and the German Youth Movement /

Table of Contents: “…Non-Cognitivist Ethics and Politics in the Spirit of the German Youth Movement -- 10.The Constitution of geistige Gegenstände in Carnap's Aufbau and the Importance of Hans Freyer -- 11.Otto Neurath, Emil Lederer und der Max-Weber-Kreis -- 12.Sie diskutieren sehr gern, aber sehr dilettantisch." …”
Link to Metadata

Complications and Quandaries in the ICT Sector Standard Essential Patents and Competition Issues /

Table of Contents: “…Competition, Intellectual Property Rights and Collaboratively Set Standards: Federal Trade Commission Advocacy and Enforcement by John Dubiansky -- Chapter 10. …”
Link to Metadata

Transition with Purpose Pathways from English Language to Academic Study by Miller, Michele, Greenhoe, Anne

Table of Contents: “…Part One: Program and University policies and Procedures -- Overview of Pathways Program -- Academic Standing -- Calculating Grade Point Average (GPA) -- University Structure -- Admission Type and Class Standing -- Degree Requirements -- Academic Advising -- Choosing Your First Academic Classes -- Code of Student Conduct and Responsibility -- Getting Involved -- Preparing for Your Next Term of Study -- Managing Your Time with Google Calendar -- Tuition Differential: IELP and PSU classes -- PSU New Student Orientation -- Degree Audit Reporting System (DARS) -- Part Two: Transition with Purpose to the University -- Section 1: Preparation of Goals -- Section 2: Getting Involved in the University -- Section 3: Collaborative Learning Support Activities -- Section 4: Writing Your ePortfolio…”
Access online version

Be Credible by Bobkowski, Peter, Younger, Karna

Table of Contents: “…Search More Effectively -- 4. Keep Detailed Research Notes -- 5. Attribute All Sources -- II. …”
Access online version

Fostering Communities of Transformation in STEM Higher Education A Multi-institutional Collection of DEI Initiatives by Briganti, Jonathan S., Sible, Jill C., Brown, Anne M.

Table of Contents: “…Preparing STEM Teachers to Be Change Makers -- Resequencing the Chemistry Curriculum to Retain Chemistry Majors -- Delayed Enrollment in General Chemistry Recitation -- Assessing Changes in Student Engagement Using a Mixed-Methods Approach -- Development and Assessment of a Four-Week Summer Research Experience for Undergraduates -- Creating Impactful Moments -- Community, Curriculum, and CUREs -- We’re All in This Together -- VIGNETTE: Reflecting on the Impact of Engelpalooza -- Teaching to Make Math Resonate -- Strategies for Creating and Sustaining Inclusive Makerspaces -- Creating a Space in the Curriculum for Effective Mentoring to Foster Student Connections and Agency -- Gunpowder Code Club -- Using Departmental Book Clubs to Bridge the Faculty-Staff-Student Gap -- Institutionally Advancing Inclusive Excellence -- From the Soul…”
Access online version