Search Results - "differential equations"

Application of Nonlinear Analysis to the Study of Complex Systems in Neuroscience and Behavioral Research by Tobias A. Mattei

DOAB: download the publication
DOAB: description of the publication

Iterative Methods for Solving Nonlinear Equations and Systems by Soleymani, Fazlollah

DOAB: download the publication
DOAB: description of the publication

APLIKASI METODE CRANK-NICOLSON PADA PENENTUAN HARGA OPSI EROPA by Nurfitroh, Mela Rizlya

Link Metadata

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

Table of Contents: “…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

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

Table 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

Matemática elemental para estudiantes universitarios by Aro, Alex

DOAB: download the publication
DOAB: description of the publication

Computational Physiology Simula Summer School 2021 − Student Reports /

Table of Contents: “…A Pipeline for Automated Coordinate Assignment in Anatomically Accurate Biventricular Models 3D Simulations of Fetal and Maternal Ventricular Excitation for Investigating the Abdominal ECG -- Ordinary Differential Equation-based Modeling of Cells in Human Cartilage -- Conduction Velocity in Cardiac Tissue as Function of Ion Channel Conductance and Distribution -- Computational Prediction of Cardiac Electropharmacology - How Much Does the Model Matter? …”
Link to Metadata

Critical Earthquake Response of Elastic-Plastic Structures Under Near-Fault Ground Motions: Closed-Form Approach via Impulse Input by Izuru Takewaki

DOAB: download the publication
DOAB: description of the publication

Large curvature analysis of two-dimensional linear elastic frames by direct stiffness method /|cJongaphonh Douanevanh by Jongaphonh Douanevanh

Get full text

Introduction to Linear, Time-Invariant, Dynamic Systems for Students of Engineering by Hallauer, William

Access online version

Coincidence and common fixed points for F-Contractive mappings by Muhammed Raji, Musa Adeku Ibrahim

Connect to this object online.

On Deterministic and Stochastic Multiple Pathogen Epidemic Models by Fernando Vadillo

Connect to this object online.

Investigation of solvability conditions of certain boundary value problem by perturbation method by Akram Mahmood

Connect to this object online.

Data-Driven Deep Learning Neural Networks for Predicting the Number of Individuals Infected by COVID-19 Omicron Variant by Ebenezer O. Oluwasakin, Abdul Q. M. Khaliq

Connect to this object online.

MODEL MATEMATIKA PERTUMBUHAN VIRUS HIV DI DALAM TUBUH by Fidya Khairini Rahayu, -

Link Metadata

Mathematical approach to pollutant transport through ground water / G. Jagmohan Das by G., Jagmohan Das

Link Metadata

A new finite difference scheme based on centroidal mean averaging for the goursat problem / Mohd Agos Salim Nasir and Ahmad Izani Md Ismail by Nasir, Mohd Agos Salim, Md Ismail, Ahmad Izani

Link Metadata

The stability of thin-walled composite cylinder using Southwell plot / Darwin Sebayang

Link Metadata

A semi analytic iterative method for solving two forms of blasius equation / Mat Salim Selamat, Nurul Atkah Halmi and Nur Azyyati Ayob by Selamat, Mat Salim, Halmi, Nurul Atkah, Ayob, Nur Azyyati

Link Metadata

Numerical approximation of Blasius equation using Daftardar-Gejji and Jafari method / Mat Salim Selamat ... [et al.] by Selamat, Mat Salim, Ramli, Siti Maisarah, Rasuli, Rafika, Mohamad, Nadia

Link Metadata