Rezultati pretrage - "dynamical system"

Nonlinear Analysis and Optimization with Applications

DOAB: download the publication
DOAB: description of the publication

Assessing the mechanism of citywide test-trace-isolate Zero-COVID policy and exit strategy of COVID-19 pandemic od Pei Yuan, Yi Tan, Liu Yang, Elena Aruffo, Nicholas H. Ogden, Guojing Yang, Haixia Lu, Zhigui Lin, Weichuan Lin, Wenjun Ma, Meng Fan, Kaifa Wang, Jianhe Shen, Tianmu Chen, Huaiping Zhu

Connect to this object online.

Emotion and Stress Recognition Related Sensors and Machine Learning Technologies

DOAB: download the publication
DOAB: description of the publication

Calculus for the Life Sciences A Modeling Approach od Cornette, James L., Ackerman, Ralph A.

Sadržaj: “…D Dynamical Equations from Volume I -- 13 Partial Derivatives -- 14 Difference Equation Models of Populations -- 15 Discrete Dynamical Systems -- 16 Nonlinear Dynamical Systems; Equilibria -- 17 Differential Equations -- 18 Second order, systems of two first order ODE’s…”
Access online version

Calculus in Context od Callahan, James, Cox, David, Hoffman, Kenneth

Sadržaj: “…Periodicity -- 8. Dynamical Systems -- 9. Functions of Several Variables -- 10. …”
Access online version

Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part I /

Sadržaj: “…AI Verification -- Blockchain and Security -- Hardware Veri cation and Decision Procedures -- Hybrid and Dynamic Systems.…”
Link to Metadata

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

Sadržaj: “…Program Verification -- SAT and SMT -- Timed and Dynamical Systems -- Verifying Concurrent Systems -- Probabilistic Systems -- Model Checking and Reachability -- Timed and Probabilistic Systems.…”
Link to Metadata

Introduction to the Modeling and Analysis of Complex Systems od Sayama, Hiroki

Sadržaj: “…Introduction -- Fundamentals of Modeling -- Basics of Dynamical Systems -- Discrete-Time Models I: Modeling -- Discrete-Time Models II: Analysis -- Continuous-Time Models I: Modeling -- Continuous-Time Models II: Analysis -- Bifurcations -- Chaos -- Interactive Simulation of Complex Systems -- Cellular Automata I: Modeling -- Cellular Automata II: Analysis -- Continuous Field Models I: Modeling -- Continuous Field Models II: Analysis -- Basics of Networks -- Dynamical Networks I: Modeling -- Dynamical Networks II: Analysis of Network Topologies -- Dynamical Networks III: Analysis of Network Dynamics -- Agent-Based Models…”
Access online version

Chemical Process Dynamics and Controls od Woolf, Peter J.

Sadržaj: “…Part I Process Control Introduction -- Chapter 1: Overview -- Chapter 2: Modeling Basics -- Chapter 3: Sensors and Actuators -- Chapter 4: Piping and Instrumentation Diagrams -- Chapter 5: Logical Modeling -- Chapter 6: Modeling Case Studies -- Part II Chemical Process Controls -- Chapter 7: Mathematics for Control Systems -- Chapter 8: Optimization -- Chapter 9: PID Control -- Chapter 10: Dynamical Systems Analysis -- Chapter 11: Control Architectures -- Chapter 12: MIMO Control -- Part III Statistical Analysis for Chemical Process Control -- Chapter 13: Statistics and Probability Background -- Chapter 14: Design of Experiments…”
Access online version

Adaptive Dynamic Programming For Chemotherapy Drug Delivery / od Sun, Jiayue, Xu, Shun, Liu, Yang, Zhang, Huaguang

Sadržaj: “…Preface -- Acknowledgements -- Chapter1 Introduction -- Chapter 2 Neural Networks-Based Immune Optimization Regulation Using Adaptive Dynamic Programming -- Chapter 3 Optimal Regulation Strategy for Nonzero-Sum Games of the Immune System Using Adaptive Dynamic Programming -- Chapter 4 Evolutionary Dynamics Optimal Research-Oriented Tumor Immunity Architecture -- Chapter 5 N-Level Hierarchy-Based Optimal Control to Develop Therapeutic Strategies for Ecological Evolutionary Dynamics Systems -- Chapter 6 Combination Therapy-Based Adaptive Control for Organism Using Medicine Dosage Regulation Mechanism.…”
Link to Metadata

Machine Learning for Cyber Physical Systems Selected papers from the International Conference ML4CPS 2018 /

Sadržaj: “…Machine Learning for Enhanced Waste Quantity Reduction: Insights from the MONSOON Industry 4.0 Project -- Deduction of time-dependent machine tool characteristics by fuzzy-clustering -- Unsupervised Anomaly Detection in Production Lines -- A Random Forest Based Classifer for Error Prediction of Highly Individualized Products -- Web-based Machine Learning Platform for Condition-Monitoring -- Selection and Application of Machine Learning-Algorithms in Production Quality -- Which deep artifificial neural network architecture to use for anomaly detection in Mobile Robots kinematic data -- GPU GEMM-Kernel Autotuning for scalable machine learners -- Process Control in a Press Hardening Production Line with Numerous Process Variables and Quality Criteria -- A Process Model for Enhancing Digital Assistance in Knowledge-Based Maintenance -- Detection of Directed Connectivities in Dynamic Systems for Different Excitation Signals using Spectral Granger Causality -- Enabling Self-Diagnosis of AutomationDevices through Industrial Analytics -- Making Industrial Analytics work for Factory Automation Applications -- Application of Reinforcement Learning in Production Planning and Control of Cyber Physical Production Systems -- LoRaWan for Smarter Management of Water Network: From metering to data analysis.…”
Link to Metadata

Lines of Inquiry in Mathematical Modelling Research in Education

Sadržaj: “…Approaches to Investigating Complex Dynamical Systems -- Chapter 6. Precision, Priorities, and Proxies in Mathematical Modelling -- Chapter 7. …”
Link to Metadata

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

Sadržaj: “…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

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...

Sadržaj: “…-A Learner-Verifier Framework for Neural Network Controllers and Certificates of Stochastic Systems -- Model Checking -- Bounded Model Checking for Asynchronous Hyperproperties -- Model Checking Linear Dynamical Systems under Floating-point Rounding -- Efficient Loop Conditions for Bounded Model Checking Hyperproperties -- Reconciling Preemption Bounding with DPOR -- Optimal Stateless Model Checking for Causal Consistency -- Symbolic Model Checking for TLA+ Made Faster -- AutoHyper: Explicit-State Model Checking for HyperLTL -- Machine Learning/Neural Networks -- Feature Necessity & Relevancy in ML Classifier Explanations -- Towards Formal XAI: Formally Approximate Minimal Explanations of Neural Networks -- OccRob: Effcient SMT-Based Occlusion Robustness Verification of Deep Neural Networks -- Neural Network-Guided Synthesis of Recursive List Functions -- Automata -- Modular Mix-and-Match Complementation of Buechi automata -- Validating Streaming JSON Documents With Learned VPAs -- Antichains Algorithms for the Inclusion Problem Between ω -VPL -- Stack-Aware Hyperproperties -- Proofs -- Propositional Proof Skeletons -- Unsatisfiability Proofs for Distributed Clause-Sharing SAT Solvers -- Carcara: An effcient proof checker and elaborator for SMT proofs in the Alethe format -- Constraint Solving/Blockchain -- The Packing Chromatic Number of the Infinite Square Grid is 15 -- Active Learning for SAT Solver Benchmarking -- ParaQooba: A Fast and Flexible Framework for Parallel and Distributed QBF Solving -- Inferring Needless Write Memory Accesses on Ethereum Bytecode -- Markov Chains/Stochastic Control -- A Practitioner's Guide to MDP Model Checking Algorithms -- Correct Approximation of Stationary Distributions -- Robust Almost-Sure Reachability in Multi-Environment MDPs -- Mungojerrie: Linear-Time Objectives in Model-Free Reinforcement Learning -- Verification -- A Formal CHERI-C Semantics for Verification -- Automated Verification for Real-Time Systems via Implicit Clocks and an Extended Antimirov Algorithm -- Parameterized Verification under TSO with Data Types -- Verifying Learning-Based Robotic Navigation Systems: A Case Study -- Make flows small again: revisiting the flow framework -- ALASCA: Reasoning in Quantified Linear Arithmetic -- A Matrix-Based Approach to Parity Games -- A GPU Tree Database for Many-Core Explicit State Space Exploration.…”
Link to Metadata

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

Sadržaj: “…Automata and Timed Systems -- Symbolic Register Automata -- Abstraction Refinement Algorithms for Timed Automata -- Fast Algorithms for Handling Diagonal Constraints in Timed Automata -- Safety and co-safety comparator automata for discounted-sum inclusion -- Clock Bound Repair for Timed Systems -- Verifying Asynchronous Interactions via Communicating Session Automata -- Security and Hyperproperties -- Verifying Hyperliveness -- Quantitative Mitigation of Timing Side Channels -- Property Directed Self Composition -- Security-Aware Synthesis Using Delayed-Action Games -- Automated Hypersafety Verification -- Automated Synthesis of Secure Platform Mappings -- Synthesis -- Synthesizing Approximate Implementations for Unrealizable Specifications -- Quantified Invariants via Syntax-Guided Synthesis -- Efficient Synthesis with Probabilistic Constraints -- Membership-based Synthesis of Linear Hybrid Automata -- Overfitting in Synthesis: Theory and Practice -- Proving Unrealizability for Syntax-Guided Synthesis -- Model Checking -- BMC for Weak Memory Models: Relation Analysis for Compact SMT Encodings -- When Human Intuition Fails: Using Formal Methods to Find an Error in the "Proof" of a Multi-Agent Protocol -- Extending NUXMV with Timed Transition Systems and Timed Temporal Properties -- Cerberus-BMC: a Principled Reference Semantics and Exploration Tool for Concurrent and Sequential C -- Cyber-physical Systems and Machine Learning -- Multi-Armed Bandits for Boolean Connectives in Hybrid System Falsification -- StreamLAB: Stream-based Monitoring of Cyber-Physical Systems -- VerifAI: A Toolkit for the Formal Design and Analysis of Artificial Intelligence-Based Systems -- The Marabou Framework for Verification and Analysis of Deep Neural Networks -- Probabilistic Systems, Runtime Techniques -- Probabilistic Bisimulation for Parameterized Systems -- Semi-Quantitative Abstraction and Analysis of Chemical Reaction Networks -- PAC Statistical Model Checking for Markov Decision Processes and Stochastic Games -- Symbolic Monitoring against Specifications Parametric in Time and Data -- STAMINA: STochastic Approximate Model-checker for INfinite-state Analysis -- Dynamical, Hybrid, and Reactive Systems -- Local and Compositional Reasoning For Optimized Reactive Systems -- Robust Controller Synthesis in Timed Büchi Automata: A Symbolic Approach -- Flexible Computational Pipelines for Robust Abstraction-based Control Synthesis -- Temporal Stream Logic: Synthesis beyond the Bools -- Run-Time Optimization for Learned Controllers through Quantitative Games -- Taming Delays in Dynamical Systems: Unbounded Verification of Delay Differential Equations.…”
Link to Metadata

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

Sadržaj: “…-- Checking Data-Race Freedom of GPU Kernels, Compositionally -- GenMC: A Model Checker for Weak Memory Models -- Hybrid and Cyber-Physical Systems -- Synthesizing Invariant Barrier Certificates via Difference-of-Convex Programming -- An Iterative Scheme of Safe Reinforcement Learning for Nonlinear Systems via Barrier Certificate Generation -- HybridSynchAADL: Modeling and Formal Analysis of Virtually Synchronous CPSs in AADL -- Computing Bottom SCCs Symbolically Using Transition Guided Reduction -- Implicit Semi-Algebraic Abstraction for Polynomial Dynamical Systems -- IMITATOR 3: Synthesis of timing parameters beyond decidability -- Formally Verified Switching Logic for Recoverability of Aircraft Controller -- SceneChecker: Boosting Scenario Verification using Symmetry Abstractions -- Effective Hybrid System Falsification Using Monte Carlo Tree Search Guided by QB-Robustness -- Fast zone-based algorithms for reachability in pushdown timed automata -- Security -- Verified Cryptographic Code for Everybody -- Not All Bugs Are Created Equal, But Robust Reachability Can Tell The Difference -- A Temporal Logic for Asynchronous Hyperproperties -- Product Programs in the Wild: Retrofitting Program Verifiers to Check Information Flow Security -- Constraint-based Relational Verification -- Pre-Deployment Security Assessment for Cloud Services through Semantic Reasoning -- Synthesis -- Synthesis with Asymptotic Resource Bounds -- Program Sketching by Automatically Generating Mocks from Tests -- Counterexample-Guided Partial Bounding for Recursive Function Synthesis -- PAYNT: A Tool for Inductive Synthesis of Probabilistic Programs -- Adapting Behaviors via Reactive Synthesis -- Causality-based Game Solving.…”
Link to Metadata

International Advances in Writing Research Cultures, Places, Measures od Bazerman, Charles, Dean, Chris, Early, Jessica Singer, Lunsford, Karen, Null, Suzie, Rogers, Paul, Stansell, Amanda

Sadržaj: “…Coming to Grips with Complexity: Dynamic Systems Theory in the Research of Newswriting, Daniel Perrin…”
Access online version

Classification and Data Science in the Digital Age

Sadržaj: “…Ovtcharova: A Proposal for Formalization and Definition of Anomalies in Dynamical Systems -- N. Tahiri and A. Koshkarov: New Metrics for Classifying Phylogenetic Trees Using -means and the Symmetric Difference Metric -- S. …”
Link to Metadata

Attractors of university students' agency development stages od Alexander V. Kaptsov, Ekaterina V. Nekrasova

Connect to this object online.

The use of stories and cartoons for teaching systemic dynamic ideas in children's and business arena od SAMUEL PRIETO MEJÍA, ZUANY LUZ PABA ARGOTE

Connect to this object online.