Search Results - "executable"

Python for Everybody Exploring Data Using Python 3 by Severance, Charles

Table of Contents: “…-- 2 Variables, expressions, and statements -- 3 Conditional execution -- 4 Functions -- 5 Iteration -- 6 Strings -- 7 Files -- 8 Lists -- 9 Dictionaries -- 10 Tuples -- 11 Regular expressions -- 12 Networked programs -- 13 Using Web Services -- 14 Object-Oriented Programming -- 15 Using databases and SQL -- 16 Visualizing data -- A Contributions -- B Copyright Detail…”
Access online version

State and Local Government and Politics Prospects for Sustainability by Simon, Christopher A., Steel, Brent S., Lovrich, Nicholas P.

Table of Contents: “…Chapter 1: Introduction and Themes -- Chapter 2: Federalism -- Chapter 3: The New Margins: Sustainability -- Chapter 4: Key Actors and the Policy Process in State and Local Governments -- Chapter 5: State Constitutions -- Chapter 6: Legislatures -- Chapter 7: Executives -- Chapter 8: Courts -- Chapter 9: State and Local Bureaucracy and Administration -- Chapter 10: Budgeting and Sustainability -- Chapter 11: Entitlements -- Chapter 12: Traditional and Visible Services: Criminal Justice, Education, Transportation and Emergency Management…”
Access online version

Modern World History by Allosso, Dan, Williford, Tom

Table of Contents: “…Appendix A: Choosing a Chief Executive and Voting15. Appendix B: Finance and Taxes…”
Access online version

Tools and Algorithms for the Construction and Analysis of Systems 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings,...

Table of Contents: “…TOOLympics 2019: An Overview of Competitions in Formal Methods -- Confluence Competion 2019 -- International Competition on Runtime Verification (CRV) -- The Model Checking Contest (2019) -- The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models -- The Rewrite Engines Competitions: A RECtrospective -- RERS 2019: Combining Synthesis with Real-World Models -- SL-COMP: Competition of Solvers for Separation Logic -- Automatic Verification of C and Java Programs: SV-COMP 2019 -- The Termination and Complexity Competition -- Competition on Software Testing (Test-Comp) -- VerifyThis - Verification Competition with a Human Factor -- SV-COMP 2019 -- CBMC Path: A Symbolic Execution Retrofit of the C Bounded Model Checker (Competition Contribution) -- Extending DIVINE with Symbolic Verification using SMT (Competition Contribution) -- ESBMC v6.0: Verifying C Programs using k-Induction and Invariant Inference (Competition Contribution) -- JBMC: Bounded Model Checking for Java Bytecode (Competition Contribution) -- JayHorn: A Java Model Checker (Competition Contribution) -- Java Pathfinder at SV-COMP 2019 -- Pinaka: Symbolic Execution meets Incremental Solving (Competition Contribution) -- PeSCo: Predicting Sequential Combinations of Verifiers (Competition Contribution) -- Symbolic Pathfinder for SV-COMP -- VeriFuzz: Program Aware Fuzzing -- VIAP 1.1 (Competition Contribution).…”
Link to Metadata

Preparing for Life in a Digital Age The IEA International Computer and Information Literacy Study International Report / by Fraillon, Julian, Ainley, John, Schulz, Wolfram, Friedman, Tim, Gebhardt, Eveline

Table of Contents: “…Foreword -- List of Tables and Figures -- Executive Summary -- 1. Introduction -- 2. The Contexts for Education on Computer and Information Literacy -- 3. …”
Link to Metadata

Mastering Strategic Management

Table of Contents: “…Publisher Information -- Chapter 1: Mastering Strategy: Art and Science -- Chapter 2: Leading Strategically -- Chapter 3: Evaluating the External Environment -- Chapter 4: Managing Firm Resources -- Chapter 5: Selecting Business-Level Strategies -- Chapter 6: Supporting the Business-Level Strategy: Competitive and Cooperative Moves -- Chapter 7: Competing in International Markets -- Chapter 8: Selecting Corporate-Level Strategies -- Chapter 9: Executing Strategy through Organizational Design -- Chapter 10: Leading an Ethical Organization: Corporate Governance, Corporate Ethics, and Social Responsibility…”
Access online version

Preparing for Life in a Digital World IEA International Computer and Information Literacy Study 2018 International Report / by Fraillon, Julian, Ainley, John, Schulz, Wolfram, Friedman, Tim, Duckworth, Daniel

Table of Contents: “…Executive Summary -- Chapter 1: Introduction to the IEA International Computer and Information Literacy 1 Study 2018 -- Chapter 2: The contexts for education on computer and information literacy and computational thinking -- Chapter 3: Students' computer and information literacy -- Chapter 4: Students' computational thinking -- Chapter 5: Students' engagement with information and communications technologies -- Chapter 6: Teaching with and about information and communications technologies -- Chapter 7: Investigating variations in computer and information literacy and computational thinking -- Chapter 8: Reflections on the IEA International Computer and Information Literacy 239 Study 2018 -- Appendices.…”
Link to Metadata

Corporate Governance by de Kluyver, Cornelis A.

Table of Contents: “…Governance Reforms -- Chapter 5: CEO Selection and Succession Planning -- Chapter 6: Oversight, Compliance, and Risk Management -- Chapter 7: The Board's Role in Strategy Development -- Chapter 8: CEO Performance Evaluation and Executive Compensation -- Chapter 9: Responding to External Pressures and Unforeseen Events -- Chapter 10: Creating a High-Performance Board -- Chapter 11: Epilogue: The Future of Corporate Governance…”
Access online version

Tools and Algorithms for the Construction and Analysis of Systems 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice o...

Table of Contents: “…Probabilistic Systems -- A Probabilistic Logic for Verifying Continuous-time Markov Chains -- Under-Approximating Expected Total Rewards in POMDPs -- Correct Probabilistic Model Checking with Floating-Point Arithmetic -- Correlated Equilibria and Fairness in Concurrent Stochastic Games -- Omega Automata -- A Direct Symbolic Algorithm for Solving Stochastic Rabin Games -- Practical Applications of the Alternating Cycle Decomposition -- Sky Is Not the Limit: Tighter Rank Bounds for Elevator Automata in Büchi Automata Complementation -- On-The-Fly Solving for Symbolic Parity Games -- Equivalence Checking -- Distributed Coalgebraic Partition Refinement -- From Bounded Checking to Verification of Equivalence via Symbolic Up-to Techniques -- Equivalence Checking for Orthocomplemented Bisemilattices in Log-Linear Time -- Monitoring and Analysis -- A Theoretical Analysis of Random Regression Test Prioritization -- Verified First-Order Monitoring with Recursive Rules -- Maximizing Branch Coverage withConstrained Horn Clauses -- Efficient Analysis of Cyclic Redundancy Architectures via Boolean Fault Propagation -- Tools / Optimizations, Repair and Explainability -- Adiar: Binary Decision Diagrams in External Memory -- Forest GUMP: A Tool for Explanation -- Alpinist: an Annotation-Aware GPU Program Optimizer -- Automatic Repair for Network Programs -- 11th Competition on Software Verification / SV-COMP 2022 -- Progress on Software Verification: SV-COMP 2022 -- AProVE: Non-Termination Witnesses for C Programs (Competition Contribution) -- BRICK: Path Enumeration Based Bounded Reachability Checking of C Program (Competition Contribution) -- A Prototype for Data Race Detection in CSeq 3 (Competition Contribution) -- Dartagnan: SMT-based Violation Witness Validation (Competition Contribution) -- Deagle: An SMT-based Veri er for Multi-threaded Programs (Competition Contribution) -- The Static Analyzer Frama-C in SV-COMP (Competition Contribution) -- GDart: An Ensemble of Tools for Dynamic Symbolic Execution on the Java Virtual Machine (Competition Contribution) -- Graves-CPA: A Graph-Attention Veri er Selector (Competition Contribution) -- GWIT: A Witness Validator for Java based on GraalVM (Competition Contribution) -- The Static Analyzer Infer in SV-COMP (Competition Contribution) -- LART: Compiled Abstract Execution (Competition Contribution) -- Symbiotic 9: String Analysis and Backward Symbolic Execution with Loop Folding (Competition Contribution) -- Symbiotic-Witch: A Klee-Based Violation Witness Checker (Competition Contribution) -- Theta: portfolio of CEGAR-based analyses with dynamic algorithm selection -- Ultimate GemCutter and the Axes of Generalization (Competition Contribution) -- Wit4Java: A Violation-Witness Validator for Java Verifiers (Competition Contribution).…”
Link to Metadata

Rational Cybersecurity for Business The Security Leaders' Guide to Business Alignment / by Blum, Dan

Table of Contents: “…Chapter 1: Executive Overview -- Chapter 2: Identify and Align Security-Related Roles -- Chapter 3: Put the Right Security Governance Model in Place -- Chapter 4: Strengthen Security Culture through Effective Communications and Awareness Programs -- Chapter 5: Manage Risk in the Language of Business -- Chapter 6: Establish a Control Baseline -- Chapter 7: Simplify and Rationalize IT and Security -- Chapter 8: Control Access with Minimal Drag on the Business -- Chapter 9: Institute Resilience Through Detection, Response, and Recovery -- Chapter 10: Create Your Rational Cybersecurity Success Plan -- Glossary of Terms and Acronyms. .…”
Link to Metadata

META-NET Strategic Research Agenda for Multilingual Europe 2020

Table of Contents: “…Key Messages -- Executive Summary -- 1.Introduction -- 2.Multilingual Europe: Facts, Challenges, Opportunities -- 3.Major Trends in Information and Communication Technologies -- 4.Language Technology 2012: Current State and Opportunities -- 5.Language Technology 2020: The META-NET Technology Vision -- 6.Language Technology 2020: Priority Research Themes -- 7.Towards a Shared European Programme for Multilingual Europe 2020: Next Steps -- A.References -- B.List of Key Contributors -- C.Milestones and History of the Strategic Research Agenda -- D.About META-NET -- E.Members of META-NET -- F.Abbreviations and Acroynms.…”
Link to Metadata

Strategic Management by Reed, Kennedy B.

Table of Contents: “…Chapter 9: Competing in International Markets -- X. Chapter 10: Executing Strategy through Organizational Design -- XI. …”
Access online version

Data Parallel C++ Mastering DPC++ for Programming of Heterogeneous Systems using C++ and SYCL / by Reinders, James, Ashbaugh, Ben, Brodman, James, Kinsner, Michael, Pennycook, John, Tian, Xinmin

Table of Contents: “…Chapter 1: Introduction -- Chapter 2: Where code executes -- Chapter 3: Data management and ordering the uses of data -- Chapter 4: Expressing parallelism -- Chapter 5: Error handling -- Chapter 6: USM in detail -- Chapter 7: Buffers in detail -- Chapter 8: DAG scheduling in detail -- Chapter 9: Local memory and work-group barriers -- Chapter 10: Defining kernels -- Chapter 11: Vectors -- Chapter 12: Device-specific extension mechanism -- Chapter 13: Programming for GPUs -- Chapter 14: Programming for CPUs -- Chapter 15: Programming for FPGAs -- Chapter 16: Address spaces and multi_ptr -- Chapter 17: Using libraries -- Chapter 18: Working with OpenCL -- Chapter 19: Memory model and atomics.…”
Link to Metadata

Data Parallel C++ Programming Accelerated Systems Using C++ and SYCL / by Reinders, James, Ashbaugh, Ben, Brodman, James, Kinsner, Michael, Pennycook, John, Tian, Xinmin

Table of Contents: “…Chapter 1: Introduction -- Chapter 2: Where Code Executes -- Chapter 3: Data Management and Ordering the Uses of Data -- Chapter 4: Expressing Parallelism -- Chapter 5: Error Handling -- Chapter 6: Unified Shared Memory -- Chapter 7: Buffers -- Chapter 8: Scheduling Kernels and Data Movement -- Chapter 9: Local Memory and Work-group Barriers -- Chapter 10: Defining Kernels -- Chapter 11: Vector and Math Arrays -- Chapter 12: Device Information and Kernel Specialization -- Chapter 13: Practical Tips -- Chapter 14: Common Parallel Patterns -- Chapter 15: Programming for GPUs -- Chapter 16: Programming for CPUs -- Chapter 17: Programming for FFGAs -- Chapter 18: Libraries -- Chapter 19: Memory Model and Atomics -- Chapter 20: Backend Interoperability -- Chapter 21: Migrating CUDA Code -- Epilogue.…”
Link to Metadata

Process Mining Handbook

Table of Contents: “…Introduction -- Process Mining: A 360 Degree Overview -- Process Discovery -- Foundations of Process Discovery -- Advanced Process Discovery Techniques -- Declarative Process Specifications: Reasoning, Discovery, Monitoring -- Conformance Checking -- Conformance Checking: Foundations, Milestones and Challenges -- Data Preprocessing -- Foundations of Process Event Data -- A Practitioner's View on Process Mining Adoption, Event Log Engineering and Data Challenges -- Process Enhancement and Monitoring -- Foundations of Process Enhancement -- Process Mining over Multiple Behavioral Dimensions with Event Knowledge Graphs -- Predictive Process Monitoring -- Assorted Process Mining Topics -- Streaming Process Mining -- Responsible Process Mining -- Industrial Perspective and Applications -- Status and Future of Process Mining: from Process Discovery to Process Execution -- Using Process Mining in Healthcare -- Process Mining for Financial Auditing -- Robotic Process Mining -- Closing -- Scaling Process Mining toTurn Insights Into Actions.…”
Link to Metadata

Public Actors in International Investment Law

Table of Contents: “…Winch, State Immunity and the Execution of Investment Arbitration Awards -- Kendra Magraw, Trends and ISDS Backlash related to Non-Disputing Treaty Party Submissions -- Rebecca E. …”
Link to Metadata

S-BPM in the Wild Practical Value Creation /

Table of Contents: “…1 Introduction -- Part I Business Operation Support -- 2 Subject-Oriented Business Processes Meet Strategic Management: Two Case Studies from the Manufacturing Industry -- 3 Communication- and Value-Based Organizational Development at the University Clinic for Radiotherapy-Radiation Oncology -- 4 Introducing S-BPM at an IT Service Providers -- 5 A Service Hardware Application Case Fiducia -- 6 Designing an Agile Process Layer for Competitive Differentiation -- Part II Consultancy and Education Support -- 7 Model as You Do: Engaging an S-BPM Vendor on Process Modelling in 3D Virtual Worlds -- 8 A Tangible Modeling Interface for Subject-Oriented Business Process Management -- 9 A Reference Model for Maintenance Processes -- 10 Role and Rights Management -- 11 Embodying Business Rules in S-BPM -- 12 Agents Implementing Subject Behaviour: A Manufacturing Scenario -- Part III Technical Execution Support -- 13 An Abstract State Machine Interpreter for S-BPM -- 14 Structured Communication-Approaching S-BPM with Microsoft Technologies -- 15 ERP Integration in S-BPM Processes.…”
Link to Metadata

Digital Transformation of the Design, Construction and Management Processes of the Built Environment

Table of Contents: “…-- Digital design and wooden architectures for Arte Sella Land Art Park -- The impact of digitalization on processes and organizational structures of architecture and engineering firms -- PART III: EXECUTION STAGE, BIM management guidelines of the construction process for general contractors -- BIM methodology and tools implementation for the construction companies -- Adaptive skins: towards new material systems -- Development of a system for the production of disposable carbon fiber formworks -- PART IV: MANAGEMENT STAGE, Built Heritage Information Modelling/Management. …”
Link to Metadata

Pro TBB C++ Parallel Programming with Threading Building Blocks / by Voss, Michael, Asenjo, Rafael, Reinders, James

Table of Contents: “…-- Chapter 2: Generic Parallel Algorithms -- Chapter 3: Flow Graphs -- Chapter 4: TBB and the C++ Parallel Standard Template Library -- Chapter 5: Synchronization: why and how to avoid it -- Chapter 6: Data Structures for Concurrency -- Chapter 7: Scalable Memory Allocation -- Chapter 8: Mapping Parallel Patterns to TBB -- Part II -- Chapter 9: The Pillars of Composability -- Chapter 10: Using tasks to create your own algorithms -- Chapter 11: Controlling the Number of Threads Used for Execution -- Chapter 12: Using Work Isolation for Correctness and Performance -- Chapter 13: Creating Thread-to-core and Task-to-thread Affinity -- Chapter 14: Using Task Priorities -- Chapter 15: Cancellation and Exception Handling -- Chapter 16: Tuning TBB Algorithms: Granularity, Locality, Parallelism and Determinism -- Chapter 17: Flow Graphs: Beyond the Basics -- Chapter 18: Beef up Flow Graphs with Async Nodes -- Chapter 19: Flow Graphs on steroids: OpenCL Nodes -- Chapter 20: TBB on NUMA architectures -- Appendix A: History and Inspiration -- Appendix B: TBB Précis -- Glossary. .…”
Link to Metadata

Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice o...

Table of Contents: “…Concurrent and Distributed Systems -- Checking Deadlock-Freedom of Parametric Component-Based Systems -- The mCRL2 Toolset for Analysing Concurrent Systems: Improvements in Expressivity and Usability -- Automatic Analysis of Consistency Properties of Distributed Transaction Systems in Maude -- Multi-Core On-The-Fly Saturation -- Monitoring and Runtime Verification -- Specification and Efficient Monitoring Beyond STL -- VyPR2: A Framework for Runtime Verification of Python Web Services -- Constraint-based Monitoring of Hyperproperties -- Hybrid and Stochastic Systems -- Tail Probabilities for Runtimes of Randomized Programs: Martingale Synthesis for Higher Moments -- Computing the Expected Execution Time of Probabilistic Workflow Nets -- Shepherding Hordes of Markov Chains -- Optimal Time-Bounded Reachability Analysis for Concurrent Systems -- Synthesis -- Minimal-Time Synthesis for Parametric Timed Automata -- Environmentally-friendly GR(1) Synthesis -- StocHy: automated verification and synthesis of stochastic processes -- Synthesis of Symbolic Controllers: A Parallelized and Sparsity-Aware Approach -- Symbolic Verification -- iRank: a variable order metric for DEDS subject to linear invariants -- Binary Decision Diagrams with Edge-Specified Reductions -- Effective Entailment Checking for Separation Logic with Inductive Definitions -- Safety and Fault-Tolerant Systems -- Digital Bifurcation Analysis of TCP Dynamics -- Verifying Safety of Synchronous Fault-Tolerant Algorithms by Bounded Model Checking -- Measuring Masking Fault-Tolerance -- PhASAR: An Inter-Procedural Static Analysis Framework for C/C++.…”
Link to Metadata