Zoekresultaten - "Ordinary differential equation"

Estimation of optimal antiviral stockpile for a novel influenza pandemic door Soyoung Kim, Yu Bin Seo, Jacob Lee, Yang Soo Kim, Eunok Jung

Connect to this object online.

Ticks on the Run: A Mathematical Model of Crimean-Congo Haemorrhagic Fever (CCHF)-Key Factors for Transmission door Suman Bhowmick, Khushal Khan Kasi, Jörn Gethmann, Susanne Fischer, Franz J. Conraths, Igor M. Sokolov, Hartmut H. K. Lentz

Connect to this object online.

Computational Physiology Simula Summer School 2021 − Student Reports /

Inhoudsopgave: “…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

Implementing Vancomycin Population Pharmacokinetic Models: An App for Individualized Antibiotic Therapy in Critically Ill Patients door Manuel Mena, Julio-Cesar Garcia, Rosa-Helena Bustos

Connect to this object online.

Host-seeking efficiency can explain population dynamics of the tsetse fly Glossina morsitans morsitans in response to host density decline. door Jennifer S Lord, Zinhle Mthombothi, Vitalis K Lagat, Fatumah Atuhaire, John W Hargrove

Connect to this object online.

Evaluation of therapeutic strategies targeting BCAA catabolism using a systems pharmacology model door Veronika Voronova, Victor Sokolov, Victor Sokolov, Yannick Morias, Malin Jonsson Boezelman, Maria Wågberg, Marcus Henricsson, Karl Hansson, Alexey Goltsov, Alexey Goltsov, Kirill Peskov, Kirill Peskov, Kirill Peskov, Monika Sundqvist

Connect to this object online.

A Mathematical Model of In Vitro Cellular Uptake of Zoledronic Acid and Isopentenyl Pyrophosphate Accumulation door Elena Lo Presti, Laura D'Orsi, Andrea De Gaetano

Connect to this object online.

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

Inhoudsopgave: “…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

Students' perceptions on learning ordinary differentialequations (ODEs) using MOOCs / Samsiah Abdul Razak ... [et al.] door Abdul Razak, Samsiah, Md Said, Junaida, G Arul, Elizabeth Selvamani, Yahya, Nur Azila, Jamian, Nurul Husna

Link Metadata

Survey of Parallel Block Methods door Bashir M. Khalaf, Mohammed A. Al-Taee, Abdulhabib Abdullah

Connect to this object online.

Random Differential Equations in Scientific Computing door Rupp, Florian

DOAB: download the publication
DOAB: description of the publication

Lotka-volterra model of wastewater treatment in bioreactor system using 4th order runge-kutta method / Zaileha Md Ali ...[et al.] door Md Ali, Zaileha, Mohd Puard, Ezmir Faiz, Sudin, Muhamad Hariz, Mohd Idris, Nur Aziean

Link Metadata

Comparing numerical method for the solution of epidemic model / Mat Salim Selamat door Selamat, Mat Salim

Link Metadata

Solvability Conditions For A system Of Nonhomogenous Differntial Equations Of The First Order door AKRAM MAHMOOD, RAID KARYAKOS, LAMYAA SAADOON

Connect to this object online.

Effect of Prandtl number on transient free convection from vertical plate / Nawaf H. Saeid

Link Metadata

Introducing Mathematical Biology door Best, Alex

Access online version

Existence of a periodic solutions for certain system of nonlinear integro-differential equations door R. Butris

Connect to this object online.

The periodic solution for some systems of nonlinear integro-differential equations of Volterra type. door Raad Putrus, Ghada Jameel

Connect to this object online.

Periodic solutions of second-order nonlinear system of integro-differential equations unsolvable for the highest derivative door R. N. Butris

Connect to this object online.

Approximate Solution for Nonlinear System of Integro-Differential Equations of Volterra Type with Boundary Conditions door Ghada Jameel

Connect to this object online.