Search Results - "Looped"

Think Raku How to Think Like a Computer Scientist by Rosenfeld, Laurent, Downey, Allen B.

Table of Contents: “…Preface -- I Starting with the Basics -- 1 The way of the program -- 2 Variables, Expressions and Statements -- 3 Functions -- 4 Loops, Conditionals and Recursion -- 5 Fruitful Subroutines -- 6 Iteration -- 7 Strings -- 8 Case study: Word Play -- 9 Arrays and Lists -- 10 Hashes -- 11 Case study: Data Structure Selection -- II Moving Forward -- 12 Classes and Objects -- 13 Regexes and Grammar -- 14 Functional Programming in Raku -- 15 Some Final Advice --…”
Access online version

Think Java How To Think Like a Computer Scientist by Mayfield, Chris, Downey, Allen

Table of Contents: “…Preface -- 1 Computer Programming -- 2 Variables and Operators -- 3 Input and output -- 4 Methods and Testing -- 5 Conditionals and logic -- 6 Loops and Strings -- 7 Arrays and References -- 8 Recursive Methods -- 9 Immutable Objects -- 10 Mutable Objects -- 11 Designing Classes -- 12 Arrays of Objects -- 13 Objects of Arrays -- 14 Extending Classes -- 15 Arrays of Arrays -- 16 Reusing Classes -- 17 Advanced Topics -- A Tools -- B Javadoc -- C Graphics -- D Debugging…”
Access online version

DC Circuits by Davis, Chad

Table of Contents: “…PrefaceModule 1 – The Basics of DC Circuits with Resistors -- Section 1.1 – Introduction and Basic Definitions -- Section 1.1.1 - Charge vs Current -- Section 1.1.2 - Resistance Calculations – (Resistance explained in more detail in section 1.1.3) -- Section 1.1.3 - Ohm's Law: Voltage, Current, Resistance, and Conductance -- Section 1.1.4 – Power and Energy -- Section 1.2 – Combining Resistors in Parallel or Series -- Section 1.3 – Kirchhoff's Voltage Law (KVL) and Voltage Divider Rule (VDR) -- Section 1.4 – Kirchhoff's Current Law (KCL) and Current Divider Rule (CDR) -- Module 1 – Equation List -- Module 2 – Advanced Topics for DC Circuits with Resistors -- Section 2.1 – Source Transformations: Thevenin and Norton Form -- Section 2.2 – Approximate Source Transformations: Adding a virtual resistor -- Section 2.2.1 - Voltage Source Approximate Transformation -- Section 2.2.2 - Current Source Approximate Transformation -- Section 2.3 – Mesh Matrix Analysis and traditional loop analysis methods -- Section 2.4 – Nodal Matrix Analysis and traditional Nodal Analysis -- Section 2.5 – Superposition: Solving a circuit by including only one source at a time -- Section 2.6 – Thevenin and Norton Equivalent Circuits -- Module 3 – DC Circuits with Resistors, Capacitors, and Inductors -- Section 3.1 – Background for Capacitors -- Section 3.2 – Background for Inductors -- Section 3.3 – Combining Inductors in Parallel and/or Series -- Section 3.4 – Combining Capacitors in Parallel and/or Series -- Section 3.5 – DC Transient Analysis with RC and RL Circuits -- Section 3.5.1 – Single Loop RL and RC Charging (Store) Circuits -- Section 3.5.2 – Single Loop RL and RC Discharging (Release) Circuits -- Section 3.6 – DC Steady State Analysis with RC, RL, and RLC Circuits -- Section 3.7 – Introduction to Passive Filters -- Module 3 – Equation List -- References and LinksAppendix – Dependent Sources and Laplace Transform Examples…”
Access online version

Systems Mapping How to build and use causal models of systems / by Barbrook-Johnson, Pete, Penn, Alexandra S.

Table of Contents: “…Chapter 1: Introduction -- Chapter 2: Rich Pictures -- Chapter 3:Theory of Change diagrams -- Chapter 4: Causal Loop Diagrams -- Chapter 5: Participatory Systems Mapping -- Chapter 6: Fuzzy Cognitive Mapping -- Chapter 7: Bayesian Belief Networks -- Chapter 8: System Dynamics -- Chapter 9: What data and evidence can you build system maps from? …”
Link to Metadata

Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II /

Table of Contents: “…Logics, Decision Procedures, and Solvers -- Satisfiability Checking for Mission-Time LTL -- High-Level Abstractions for Simplifying Extended String Constraints in SMT -- Alternating Automata Modulo First Order Theories -- Q3B: An Efficient BDD-based SMT Solver for Quantified Bit-Vectors -- CVC4SY: Smart and Fast Term Enumeration for Syntax-Guided Synthesis -- Incremental Determinization for Quantifier Elimination and Functional Synthesis -- Numerical Programs -- Loop Summarization with Rational Vector Addition Systems -- Invertibility Conditions for Floating-Point Formulas -- Numerically-Robust Inductive Proof Rules for Continuous Dynamical Systems -- Icing: Supporting Fast-math Style Optimizations in a Verified Compiler -- Sound Approximation of Programs with Elementary Functions -- Verification -- Formal verification of quantum algorithms using quantum Hoare logic -- SecCSL: Security Concurrent Separation Logic -- Reachability Analysis for AWS-based Networks -- Distributed Systems and Networks -- Verification of Threshold-Based Distributed Algorithms by Decomposition to Decidable Logics -- Gradual Consistency Checking -- Checking Robustness Against Snapshot Isolation -- Efficient verification of network fault tolerance via counterexampleguided refinement -- On the Complexity of Checking Consistency for Replicated Data Types -- Communication-closed asynchronous protocols -- Verification and Invariants -- Interpolating Strong Induction -- Verifying Asynchronous Event-Driven Programs Using Partial Abstract Transformers -- Inferring Inductive Invariants from Phase Structures -- Termination of Triangular Integer Loops is Decidable -- AliveInLean: A Verified LLVM Peephole Optimization Verifier -- Concurrency -- Automated Parameterized Verification of CRDTs -- What's wrong with on-the-y partial order reduction -- Integrating Formal Schedulability Analysis into a Verifed OS Kernel -- Rely-guarantee Reasoning about Concurrent Memory Management in Zephyr RTOS -- Violat: Generating Tests of Observational Refinement for Concurrent Objects. .…”
Link to Metadata

Echtzeitsimulation in der Produktionsautomatisierung Beiträge zu Virtueller Inbetriebnahme, Digitalem Engineering und Digitalen Zwillingen /

Table of Contents: “…Teil I Echtzeitsimulation für die Virtuelle Inbetriebnahme: Die simulierte Werkzeugmaschine, ein Rückblick -- Anforderungen und Methoden für die Hardware-in-the-Loop-Simulation zur Virtuellen Inbetriebnahme von Produktionssystemen -- Echtzeit-Co-Simulation von Produktionsanlagen -- ISG-virtuos - der Digitale Zwilling für die Praxis -- Echtzeitsimulation der Prozess-Maschinen-Interaktion zur Prognose der Prozessstabilität mit realer CNC am Beispiel eines Fräsprozesses -- Herausforderungen bei der Abbildung der Prozess-Maschine Interaktion am Beispiel der Umformsimulation -- Materialflusssimulation für die Virtuelle Inbetriebnahme in Steuerungsechtzeit -- Nutzen von Digitalen Zwillingen und Virtueller Inbetriebnahme für den Maschinen- und Anlagenbau -- Teil II Echtzeitsimulation und Modellgenerierung im Entwicklungsprozess: Automatische Modellgenerierung aus Engineering-Daten -- Automatische Modellgenerierung für die Virtuelle Inbetriebnahme bei HOMAG -- TwinStore - Online-Plattform für Simulationsmodelle -- Testautomatisierung am Digitalen Zwilling -- Simulationsmodelle der Virtuellen Inbetriebnahme als Lernumgebung für Reinforcement Learning -- Konzept für die automatisierte Planung von Montagesystemen -- Teil III Echtzeitsimulation als Service in der Betriebsphase: Digital Twin as a Service -- Mixed-Reality-in-the-Loop Simulation -- Anwendungsberichte über den industriellen Einsatz der Mixed Reality im Maschinen- und Anlagenbau -- Anwendungsberichte über den Einsatz der Mixed Reality in der Aus- und Weiterbildung technischer Fachkräfte -- Lernpotenziale und -herausforderungen Digitaler Zwillinge in der Betriebsphase -- Teil IV Echtzeitsimulation für Steuerungsfunktionen: Online-Berechnung des Digitalen Zwillings für CNC am Beispiel der additiven Fertigung -- Strukturmodellbasierte Korrektur thermisch bedingter Fehler -- Räumliche Kraftmessung und -regelung mit strukturintegrierter Sensorik in Hexapoden.…”
Link to Metadata

High Performance Computing by Severance, Charles, Dowd, Kevin

Table of Contents: “…Programming and Tuning Software -- 2.1 What a Compiler Does -- 2.2 Timing and Profiling -- 2.3 Eliminating Clutter -- 2.4 Loop Optimizations -- 3. Shared-Memory Parallel Processors -- 3.1 Understanding Parallelism -- 3.2 Shared-Memory Multiprocessors -- 3.3 Programming Shared-Memory Multiprocessors -- 4. …”
Access online version

Embedded Controllers Using C and Arduino by Fiore, James M.

Table of Contents: “…Course Introduction -- C Memory Organization -- C Language Basics -- C Language Basics II -- C Storage Types and Scope -- C Arrays and Strings -- C Conditionals and Looping -- C Pointers -- C Look-Up Tables -- C Structures -- C Linked Lists -- C Memory -- C File I/O -- C Command Line Arguments -- Embedded Programming -- Hardware Architecture -- AVR ATmega 328P Overview -- Bits & Pieces: includes and defines -- Bits & Pieces: Digital Input Circuitry -- Bits & Pieces: Digital Input Circuitry -- Bits & Pieces: pinMode -- Bits & Pieces: digitalWrite -- Bits & Pieces: delay -- Bits & Pieces: digitalRead -- Bits & Pieces: Analog Input Circuitry -- Bits & Pieces: analogRead -- Bits & Pieces: analogWrite -- Bits & Pieces: Timer/Counters -- Bits & Pieces: Interrupts…”
Access online version

Introduction to Programming using Fortran 95/2003/2008 by Jorgensen, Ed

Table of Contents: “…1 Introduction -- 2 Computer Organization -- 3 Getting Started -- 4 Fortran 95/2003/2008 - Basic Elements -- 5 Expressions -- 6 Simple Input and Output -- 7 Program Development -- 8 Selection Statements -- 9 Looping -- 10 Formatted Input/Output -- 11 Characters and Strings -- 12 File Operations -- 13 Single Dimension Arrays -- 14 Multidimensional Arrays -- 15 Subprograms -- 16 Derived Data Types -- 17 Modules -- 18 Recursion -- 19 Character String / Numeric Conversions -- 20 System Services -- 21 Appendix A - ASCII Table -- 22 Appendix B - Start-Up Instructions -- 23 Appendix C - Random Number Generation -- 24 Appendix D - Instrinsic Functions -- 25 Appendix E - Visualization with GNUplot -- 26 Appendix F - Quiz Question Answers -- 27 Appendix G - Fortran 95/2003/2008 Keywords…”
Access online version

The Crystal Ball Instruction Manual by Davies, Stephen

Table of Contents: “…1 Introduction -- 2 A trip to Jupyter -- 3 Three kinds of atomic data -- 4 Memory pictures -- 5 Calculations -- 6 Scales of measure -- 7 Three kinds of aggregate data -- 8 Arrays in Python (1 of 2) -- 9 Arrays in Python (2 of 2) -- 10 Interpreting Data -- 11 Assoc. arrays in Python (1 of 3) -- 12 Assoc. arrays in Python (2 of 3) -- 13 Assoc. arrays in Python (3 of 3) -- 14 Loops -- 15 EDA: univariate -- 16 Tables in Python (1 of 3) -- 17 Tables in Python (2 of 3) -- 18 Tables in Python (3 of 3) -- 19 EDA: bivariate (1 of 2) -- 20 EDA: bivariate (2 of 2) -- 21 Branching -- 22 Functions (1 of 2) -- 23 Functions (2 of 2) -- 24 Recoding and transforming -- 25 Machine Learning: concepts -- 26 Classification: concepts -- 27 Decision trees (1 of 2) -- 28 Decision trees (2 of 2) -- 29 Evaluating a classifier…”
Access online version

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

Table of Contents: “…Complexity and Termination -- Learning Probabilistic Termination Proofs -- Ghost Signals: Verifying Termination of Busy Waiting -- Reflections on Termination of Linear Loops -- Decision Tree Learning in CEGIS-Based Termination Analysis -- ATLAS: Automated Amortised Complexity Analysis of Self-Adjusting Data Structures -- Decision Procedures and Solvers -- Theory Exploration Powered by Deductive Synthesis -- CoqQFBV: A Scalable Certified SMT Quantifier-Free Bit-Vector Solver -- Porous Invariants -- JavaSMT 3: Interacting with SMT Solvers in Java -- Efficient SMT-based Analysis of Failure Propagation -- ToolX : Better Delta Debugging for the SMT-LIBv2 Language and Friends -- Learning Union of Integer Hypercubes with Queries (with applications to monadic decomposition) -- Interpolation and Model Checking for Nonlinear Arithmetic -- An SMT Solver for Regular Expressions and Linear Arithmetic over String Length -- Counting Minimal Unsatisfiable Subsets -- Sound Verification Procedures for Temporal Properties of Infinite-State Systems -- Hardware and Model Checking -- Progress in Certifying Hardware Model Checking Results -- Model-Checking Structured Context-Free Languages -- Model Checking ! …”
Link to Metadata

Evidence-Based School Development in Changing Demographic Contexts

Table of Contents: “…-Chapter 4: Building and Sustaining School Leadership Capacity -- Chapter 5: Using Data as a Source of Reflection in a Feedback Loop -- Chapter 6: Going Deeper into Curriculum and Pedagogical Activity -- Chapter 7: Strength-based Approaches to Meeting Culturally Diverse Student Needs -- Part III: Extending the Process to Other Contexts -- Chapter 8: School Development in South Carolina - Building Leadership Capacity for Evidence-Based School Development in South Carolina Schools -- Chapter 9: The Swedish Context - Bringing Support Structures To Scale: The Role of the State and School Districts -- Chapter 10: The Australian Context - National, State and School-level Efforts to Improve Schools in Australi -- Chapter 11: The German Context - School Turnaround in Ten Schools in Difficult Circumstances in Germany: The Need for Adaptive and Contextualized Approaches to Development and Change -- Part IV: Conclusions and Looking Ahead -- Chapter 12: Concluding Comments and Looking Ahead.…”
Link to Metadata

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

Table of Contents: “…Theorem Proving -- Unification with Abstraction and Theory Instantiation in Saturation-based Reasoning -- Efficient verification of imperative programs using auto2 -- Frame Inference for Inductive Entailment Proofs in Separation Logic -- Verified Model Checking of Timed Automata -- SAT and SMT I -- Chain Reduction for Binary and Zero-Suppressed Decision Diagrams -- CDCLSym: Introducing E_ective Symmetry Breaking in SAT Solving -- Automatic Generation of Precise and Useful Commutativity Conditions -- Bit-Vector Model Counting using Statistical Estimation -- Deductive Verification -- Hoare Logics for Time Bounds -- A Verified Implementation of the Bounded List Container -- Automating Deductive Verification for Weak-Memory Programs -- Software Verification and Optimisation -- Property Checking Array Programs Using Loop Shrinking -- Invariant Synthesis for Incomplete Verification Engines -- Accelerating Syntax-Guided Invariant Synthesis -- Daisy - Framework for Analysis and Optimization of Numerical Programs -- Model Checking -- Oink: an Implementation and Evaluation of Modern Parity Game Solvers -- More Scalable LTL Model Checking via Discovering Design-Space Dependencies (D^3) -- Generation of Minimum Tree-like Witnesses for Existential CTL -- From Natural Projection to Partial Model Checking and Back -- Machine Learning -- ICE-based Refinement Type Discovery for Higher-Order Functional Programs -- Strategy Representation by Decision Trees in Reactive Synthesis -- Feature-Guided Black-Box Safety Testing of Deep Neural Networks. .…”
Link to Metadata

Arzneimittel-Kompass 2022 Qualität der Arzneimittelversorgung /

Table of Contents: “…I Zum Einstieg ins Thema: Einleitung und Zusammenfassung -- Qualität der Arzneimittelversorgung - Theoretischer und konzeptueller Rahmen -- II Vertiefende Diskussion ausgewählter Fragestellungen: Multimedikation -- Potenziell inadäquate Medikation für ältere Menschen - PRISCUS 2.0 -- Arzneimittelversorgung in Pflegeheimen -- Arzneimittelversorgung von Kindern -- Menopausale Hormontherapie: Evidenz und Eingang in die Praxis -- Orale Kontrazeptiva: Wie neugewonnene Evidenz zu einer Veränderung der Arzneimitteltherapie führt -- Arzneimittelversorgung bei Multipler Sklerose -- Arzneimittelversorgung zwischen ambulanter und stationärer Behandlung -- Arzneimittelnutzung unter Pandemiebedingungen -- III Sicht der Akteurinnen und Akteure: Sicht der Vertretung der Patientinnen und Patienten - wichtige Faktoren der Qualität der Arzneimittelversorgung -- Sicht der Ärztinnen und Ärzte: Ungenügend sichere Prozesse durch Risiko-induzierende Rahmenbedingungen -- Sicht der Apothekerschaft:Gedanken zur Qualität der Arzneimittelversorgung in Deutschland -- Die Perspektive der Krankenhauspharmazie: Closed Loop Medication Management - Goldstandard im Krankenhaus -- Sicht der gesetzlichen Krankenversicherung - Entscheidende Aspekte der Arzneimittelversorgungsqualität: Passgenau, verlässlich, bezahlbar -- Sicht der pharmazeutischen Industrie - Arzneimittelversorgung in Deutschland: die richtigen Weichenstellungen für Innovationen -- IV Der Arzneimittelmarkt 2021: Der Arzneimittelmarkt 2021 im Überblick -- Ergebnisse des AMNOG-Erstattungsbetragsverfahrens -- Arzneimittelmarkt und -versorgung in Deutschland im europäischen Vergleich -- Die Autorinnen und Autoren.…”
Link to Metadata

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

Table of Contents: “…Tool Demos -- EVA: a Tool for the Compositional Verification of AUTOSAR Models -- WASIM: A Word-level Abstract Symbolic Simulation Framework for Hardware Formal Verification -- Multiparty Session Typing in Java, Deductively -- PyLTA: A Verification Tool for Parameterized Distributed Algorithms -- FuzzBtor2: A Random Generator of Word-Level Model Checking Problems in Btor2 Format -- Eclipse ESCET™: The Eclipse Supervisory Control Engineering Toolkit -- Combinatorial Optimization/Theorem Proving -- New Core-Guided and Hitting Set Algorithms for Multi-Objective Combinatorial Optimization -- Verified reductions for optimization -- Specifying and Verifying Higher-order Rust Iterators -- Extending a High-Performance Prover to Higher-Order Logic -- Tools (Regular Papers) -- The WhyRel Prototype for Relational Verification of Pointer Programs -- Bridging Hardware and Software Analysis with Btor2C: A Word-Level-Circuit-to-C Converter -- CoPTIC: Constraint Programming Translated Into C -- Acacia-Bonsai: A Modern Implementation of Downset-Based LTL Realizability -- Synthesis -- Computing Adequately Permissive Assumptions for Synthesis -- Verification-guided Programmatic Controller Synthesis -- Taming Large Bounds in Synthesis from Bounded-Liveness Specifications -- Lockstep Composition for Unbalanced Loops -- Synthesis of Distributed Agreement-Based Systems with Effciently Decidable Verification -- LTL Reactive Synthesis with a Few Hints -- Timed Automata Verification and Synthesis via Finite Automata Learning -- Graphs/Probabilistic Systems -- A Truly Symbolic Linear-Time Algorithm for SCC Decomposition -- Transforming quantified Boolean formulas using biclique covers -- Certificates for Probabilistic Pushdown Automata via Optimistic Value Iteration -- Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants -- Runtime Monitoring/Program Analysis -- Industrial-Strength Controlled Concurrency Testing for C# Programs with Coyote -- Context-Sensitive Meta-Constraint Systems for Explainable Program Analysis -- Explainable Online Monitoring of Metric Temporal Logic -- 12th Competition on Software Verification - SV-COMP 2023 -- Competition on Software Verification and Witness Validation: SV-COMP 2023 -- Symbiotic-Witch 2: More Efficient Algorithm and Witness Refutation (Competition Contribution) -- 2LS: Arrays and Loop Unwinding (Competition Contribution) -- Bubaak: Runtime Monitoring of Program Verifiers (Competition Contribution) -- EBF 4.2: Black-Box Cooperative Verification for Concurrent Programs (Competition Contribution) -- Goblint: Autotuning Thread-Modular Abstract Interpretation (Competition Contribution) -- Java Ranger: Supporting String and Array Operations (Competition Contribution) -- Korn-Software Verification with Horn Clauses (Competition Contribution) -- Mopsa-C: Modular Domains and Relational Abstract Interpretation for C Programs (Competition Contribution) -- PIChecker: A POR and Interpolation based Verifierfor Concurrent Programs (Competition Contribution) -- Ultimate Automizer and the CommuHash Normal Form (Competition Contribution) -- Ultimate Taipan and Race Detection in Ultimate (Competition Contribution) -- VeriAbsL: Scalable Verification by Abstraction and Strategy Prediction (Competition Contribution) -- VeriFuzz 1.4: Checking for (Non-)termination (Competition Contribution). .…”
Link to Metadata

Real-time Linked Dataspaces Enabling Data Ecosystems for Intelligent Systems / by Curry, Edward

Table of Contents: “…1 Real-time Linked Dataspaces: A Data Platform for Intelligent Systems within Internet of Things-based Smart Environments -- 2 Enabling Knowledge Flows in an Intelligent Systems Data Ecosystem -- 3 Dataspaces: Fundamentals, Principles, and Techniques -- 4 Fundamentals of Real-time Linked Dataspaces -- 5 Data Support Services for Real-time Linked Dataspaces -- 6 Catalog and Entity Management Service for Internet of Things-based Smart Environments -- 7 Querying and Searching Heterogeneous Knowledge Graphs in Real-time Linked Dataspaces -- 8 Enhancing the Discovery of Internet of Things-based Data Services in Real-time Linked Dataspaces -- 9 Human-in-the-Loop Tasks for Data Management, Citizen Sensing, and Actuation in Smart Environments -- 10 Stream and Event Processing Services for Real-time Linked Dataspaces -- 11 Quality of Service-Aware Complex Event Service Composition in Real-time Linked Dataspaces -- 12 Dissemination of Internet of Things Streams in a Real-time Linked Dataspace -- 13 Approximate Semantic Event Processing in Real-time Linked Dataspaces -- 14 Enabling Intelligent Systems, Applications, and Analytics for Smart Environments using Real-time Linked Dataspaces -- 15 Autonomic Source Selection for Real-time Predictive Analytics using the Internet of Things and Open Data -- 16 Building Internet of Things-enabled Digital Twins and Intelligent Applications using a Real-time Linked Dataspace -- 17 A Model for Internet of Things Enhanced User Experience in Smart Environments -- 18 Future Research Directions for Dataspaces, Data Ecosystems, and Intelligent Systems.…”
Link to Metadata

Foundations of Software Science and Computation Structures 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Sof...

Table of Contents: “…Universal Graphs and Good for Small Games Automata: New Tools for Infinite Duration Games -- Resource-Tracking Concurrent Games -- Change Actions: Models of Generalised Differentiation -- Coalgebra Learning via Duality -- Tight Worst-Case Bounds for Polynomial Loop Programs -- A Complete Normal-Form Bisimilarity for State -- Identifiers in Registers - Describing Network Algorithms with Logic -- The Impatient May Use Limited Optimism to Minimize Regret -- Causality in Linear Logic: Full Completeness and Injectivity (Unit-Free Multiplicative-Additive Fragment) -- Rewriting Abstract Structures: Materialization Explained Categorically -- Two-Way Parikh Automata with a Visibly Pushdown Stack -- Kleene Algebra with Hypotheses -- Trees in Partial Higher Dimensional Automata -- The Bernays-Schoenfinkel-Ramsey Class of Separation Logic on Arbitrary Domains -- Continuous Reachability for Unordered Data Petri Nets is in PTime -- Optimal Satisfiability Checking for Arithmetic mu-Calculi -- Constructing Inductive-Inductive Types in Cubical Type Theory -- Causal Inference by String Diagram Surgery -- Higher-Order Distributions for Differential Linear Logic -- Languages Ordered by the Subword Order -- Strong Adequacy and Untyped Full-Abstraction for Probabilistic Coherence Spaces -- A Sound and Complete Logic for Algebraic Effects -- Equational Axiomatization of Algebras with Structure -- Towards a Structural Proof Theory of Probabilistic μ-Calculi -- Partial and Conditional Expectations in Markov Decision Processes with Integer Weights -- Equational Theories and Monads from Polynomial Cayley Representations -- A Dialectica-Like Interpretation of a Linear MSO on Infinite Words -- Deciding Equivalence of Separated Non-Nested Attribute Systems in Polynomial Time -- Justness: A Completeness Criterion for Capturing Liveness Properties -- Path category for Free - Open Morphisms from Coalgebras with Non-Deterministic Branching.…”
Link to Metadata

Artificial Intelligence in Manufacturing Enabling Intelligent, Flexible and Cost-Effective Production Through AI /

Table of Contents: “…Introduction -- Part I Architectures and Knowledge Modelling for AI in Manufacturing -- Reference Architecture for AI-based Industry 5.0 Applications -- Designing a Marketplace to Exchange AI Models for Industry 4.0 -- Domain Ontology Enrichment through Human-AI Interaction -- Survey of Knowledge Graphs in Industrial Settings -- From Knowledge to Wisdom: Leveraging Semantic Representations via Knowledge Graph Embeddings -- Advancing high value-added networked production through Decentralized Technical Intelligence -- Part II AI-based Digital Twins for Manufacturing Applications -- Digital-Twin enabled framework for training and deploying AI agents for production scheduling -- Digital Twin for Human Machine Interaction -- Learning-based Collaborative Digital Twins -- A Manufacturing Digital Twin Framework -- Part III Agent based Approaches for AI in Manufacturing -- Reinforcement Learning based approaches in manufacturing environments -- A participatory modelling approach to Agents in Industry using AAS -- 4.0 Holonic Multi-Agent Testbed Enabling Shared Production -- Application of a Multi agent system on production and scheduling optimization -- Integrating Knowledge to Conversational Agents for Worker Upskilling -- Part IV Trusted AI for Industry 5.0 Applications -- Wearable sensor-based human activity recognition for worker safety in manufacturing line -- Object detection for human-robot interaction and worker assistance systems -- Application of autoML, XAI and differential privacy method into manufacturing -- Anomaly Detection in Manufacturing -- Towards Industry 5.0 by incorporation of Trustworthy and Human-Centric approaches -- How AI changes human roles in Industry 5.0-enabled environments: Human in the AI loop via xAI and Active Learning for Manufacturing Quality Control -- Multi-Stakeholder Perspective on Human-AI Collaboration in Industry 5.0 -- Conclusion.…”
Link to Metadata

The Pilgrim's Guide to the Workplace by Chevez, Agustin

Table of Contents: “…-- Chapter 19 Winds -- Chapter 20 The perfect day -- Chapter 21 The very last step -- Chapter 22 Mind lag -- Part 4 Real steps, virtual pilgrimage -- Chapter 23 Virtual pilgrimage, real pain -- Chapter 24 Dconstructing pilgrimages -- Chapter 25 El Camino Sisyphus style -- Chapter 26 Postcard from Pamplona -- Chapter 27 66 loops -- Part 5 Laying paths -- Chapter 28 Following signposts -- Chapter 29 Fork on the road -- Chapter 30 The wisdom of the locals -- Chapter 31 Let's go! …”
Link to Metadata

Business Transitions: A Path to Sustainability The CapSEM Model /

Table of Contents: “…Part I Sustainability: challenges and opportunities -- Chapter 1: Business Challenges in the Transition to Sustainability -- Chapter 2: The CapSEM Model -- Chapter 3: Sustainable Development Goals and CapSEM -- Part II The Toolbox: Methodologies and Theories -- Chapter 4: Input-output Analysis and Cleaner Production -- Chapter 5: Looking Beyond the Factory Gates -- Chapter 6: Communicating Product Life Cycle Performance through Labels and Declarations -- Chapter 7 : Environmental Management Systems -- Chapter 8: Analytical frameworks, indicators and performance evaluation -- Chapter 9: Reporting Schemes -- Chapter 10: Business Models for Sustainability -- Chapter 11: Closing the loop: Industrial Ecology, Circular Economy and Material Flow Analysis -- Chapter 12: Systems Engineering. …”
Link to Metadata