Search Results - "Execution"
Suggested Topics within your search.
Suggested Topics within your search.
- Politics & government 45
- Social & cultural history 40
- British & Irish history 28
- History of science 28
- Psychology 28
- Medicine 26
- History 25
- Neurosciences 25
- Computer science 24
- Public administration 24
- Law 22
- Society & social sciences 22
- Political structure & processes 20
- Technology: general issues 20
- Software Engineering 19
- Biography & True Stories 18
- Humanities 17
- Management 17
- Business 16
- Political science 16
- Comparative politics 15
- Political science & theory 15
- Business ethics & social responsibility 14
- Dictionaries of biography (Who's Who) 14
- Education 14
- International relations 14
- Business strategy 13
- Computing & information technology 13
- History of engineering & technology 13
- Sociology 13
-
3281
-
3282
-
3283
-
3284
-
3285
-
3286
-
3287
-
3288
-
3289
Strategic Management
Published 2020Table of Contents: “…Chapter 9: Competing in International Markets -- X. Chapter 10: Executing Strategy through Organizational Design -- XI. …”
Access online version
Electronic eBook -
3290
-
3291
-
3292
Tools and Algorithms for the Construction and Analysis of Systems 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice o...
Published 2021Table of Contents: “…Verification Techniques (not SMT) -- Directed Reachability for Infinite-State Systems -- Bridging Arrays and ADTs in Recursive Proofs -- A Two-Phase Approach for Conditional Floating-Point Verification -- Symbolic Coloured SCC Decomposition -- Case Studies -- Local Search with a SAT Oracle for Combinatorial Optimization -- Analyzing Infrastructure as Code to Prevent Intra-update Sniping Vulnerabilities -- Proof Generation/Validation -- Certifying Proofs in the First-Order Theory of Rewriting -- Syntax-Guided Quantifier Instantiation -- Making Theory Reasoning Simpler -- Deductive Stability Proofs for Ordinary Differential Equations -- Tool Papers -- An SMT-Based Approach for Verifying Binarized Neural Networks -- cake lpr: Verified Propagation Redundancy Checking in CakeML -- Deductive Veri cation of Floating-Point Java Programs in KeY -- Helmholtz: A Verifier for Tezos Smart Contracts Based on Refinement Types -- SyReNN: A Tool for Analyzing Deep Neural Networks -- MachSMT: A Machine Learning-based Algorithm Selector for SMT Solvers -- dtControl 2.0: Explainable Strategy Representation via Decision Tree Learning Steered by Experts -- Tool Demo Papers -- HLola: a Very Functional Tool for Extensible Stream Runtime Verification -- AMulet 2.0 for Verifying Multiplier Circuits -- RTLola on Board: Testing Real Driving Emissions on your Phone -- Replicating Restart with Prolonged Retrials: An Experimental Report -- A Web Interface for Petri Nets with Transits and Petri Games -- Momba: JANI Meets Python -- SV-Comp Tool Competition Papers -- Software Veri cation: 10th Comparative Evaluation (SV-COMP 2021) -- CPALockator: Thread-Modular Approach with Projections (Competition Contribution) -- Dartagnan: Leveraging Compiler Optimizations and the Price of Precision (Competition Contribution) -- Gazer-Theta: LLVM-based Veri er Portfolio with BMC/CEGAR (Competition Contribution) -- Goblint: Thread-Modular Abstract Interpretation Using Side-Effecting Constraints (Competition Contribution) -- Towards String Support in JayHorn (Competition Contribution) -- JDart: Portfolio Solving, Breadth-First Search and SMT-Lib Strings (Competition Contribution) -- Symbiotic 8: Beyond Symbolic Execution (Competition Contribution) -- VeriAbs: A Tool for Scalable Verification by Abstraction (Competition Contribution).…”
Link to Metadata
Electronic eBook -
3293
Process Mining Workshops ICPM 2021 International Workshops, Eindhoven, The Netherlands, October 31 - November 4, 2021, Revised Selected Papers /
Published 2022Table of Contents: “…An assessment framework and analysis -- Remaining Time Prediction for Processes with Inter-Case Dynamics -- Event Log Sampling for Predictive Monitoring -- Active Anomaly Detection for Key Item Selection in Process Auditing -- Prescriptive Process Monitoring Under Resource Constraints: A Causal Inference Approach -- Quantifying Explainability in Outcome-Oriented Predictive Process Monitoring -- Online Prediction of Aggregated Retailer Consumer Behaviour -- PErrCas: Process Error Cascade Mining in Trace Streams -- Continuous performance evaluation for business process outcome monitoring -- An Event Data Extraction Approach from SAP ERP for Process Mining -- Towards a Natural Language Conversational Interface for Process Mining -- On the Performance Analysis of the Adversarial System Variant Approximation Method to Quantify Process Model Generalization -- Verifying guideline compliance in clinical treatment using multi-perspective conformance checking: a case study -- Patient Discharge Classification based on the Hospital Treatment Process -- Combining the Clinical and Operational Perspectives in Heterogeneous Treatment E ect Inference in Healthcare Processes -- Interactive Process Mining Applied in a Cardiology Outpatient Department -- Discovering care pathways for multi-morbid patients using event graphs -- Process Mining in Trusted Execution Environments: Towards Hardware Guarantees for Trust-aware Inter-organizational Process Analysis -- Quantifying the Re-identification Risk in Published Process Models -- Trustworthy Artificial Intelligence and Process Mining: Challenges and Opportunities.…”
Link to Metadata
Electronic eBook -
3294
Liderazgo en la gestión edil
Published 2022DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
3295
-
3296
-
3297
-
3298
-
3299
-
3300