Search Results - "differential equation"

Diabetes free life expectancy and years of life lost associated with type 2 diabetes: projected trends in Germany between 2015 and 2040 by Thaddäus Tönnies, Jens Baumert, Christin Heidemann, Elena von der Lippe, Ralph Brinks, Annika Hoyer

Connect to this object online.

SIMULASI PENYELESAIAN TINGKAT ENERGI SISTEM MOLEKUL DALAM PENGARUH POTENSIAL KRATZER DENGAN METODE PARAMETRIK NIKIFOROV-UVAROV by Nani Sunarmi

Connect to this object online.

How Does Fiscal Decentralization Affect Health Outcomes? Evidence from China by Chen C, Zheng M, Zhu J

Connect to this object online.

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

Connect to this object online.

تعيين الأبعاد المثالية لجدار يحتوي على مواد متغيّرة الطور (PCM) ويخضع لدرجات حرارة متغيرة، محاكاة رقمية... by مها احمد

Connect to this object online.

PENGEMBANGAN BUKU KERJA PERSAMAAN DIFERENSIAL BIASA PADA MAHASISWA PROGRAM STUDI PENDIDIKAN MATEMATIKA FKIP UNISMUH MAKASSAR by Andi Alim Syahri, Sri Satriani, Ma'rup Ma'rup, Erni Ekafitria Bahar

Connect to this object online.

The PHEM-B toolbox of methods for incorporating the influences on Behaviour into Public Health Economic Models by Hazel Squires, Michael P. Kelly, Nigel Gilbert, Falko Sniehotta, Robin C. Purshouse, Leandro Garcia, Penny Breeze, Alan Brennan, Benjamin Gardner, Sophie Bright, Alastair Fischer, Alison Heppenstall, Joanna Davan Wetton, Monica Hernandez-Alava, Jennifer Boyd, Charlotte Buckley, Ivo Vlaev, Robert Smith, Ali Abbas, Roger Gibb, Madeleine Henney, Esther Moore, Angel M. Chater

Connect to this object online.

Mathematics for Biomedical Physics by Wadehra, Jogindra M

Table of Contents: “…Chapter 1: Differential Calculus -- Chapter 2: Integral Calculus -- Chapter 3: Infinite Series -- Interlude -- Chapter 4: Fourier Series -- Chapter 5: Complex Variables -- Chapter 6: Determinants -- Chapter 7: Matrices -- Chapter 8: Vector Analysis -- Chapter 9: Curvilinear Coordinates and Multiple Integrals -- Chapter 10: Vector Calculus -- Chapter 11: First Order Differential Equations -- Chapter 12: Diffusion Equation -- Chapter 13: Probability Distribution Functions -- Appendix A: Limiting Value of Sinθ/θ as θ->0 -- Appendix B: -- Appendix C: -- Appendix D: Areas Under the Standard Normal Curve…”
Access online version

Las matemáticas en la formación de un ingeniero: una propuesta metodológica by Elia Trejo Trejo, Patricia Camarena Gallardo, Natalia Trejo Trejo

Connect to this object online.

Quantitative Models in Life Science Business From Value Creation to Business Processes /

Table of Contents: “…Specialized Quantitative Tools in the Life Science Industry -- Chapter 6. Stochastic Differential Equations in Healthcare -- Chapter 7. Point Processes with Mixed Doubly Stochastic Poisson and Self-Exciting Flavors: An Excursion Into DALY Computations.…”
Link to Metadata

Calculus by Strang, Gilbert

Table of Contents: “…Chapter 1: Integration -- 1.1 Approximating Areas -- 1.2 The Definite Integral -- 1.3 The Fundamental Theorem of Calculus -- 1.4 Integration Formulas and the Net Change Theorem -- 1.5 Substitution -- 1.6 Integrals Involving Exponential and Logarithmic Functions -- 1.7 Integrals Resulting in Inverse Trigonometric Functions -- Chapter 2: Applications of Integration -- 2.1 Areas between Curves -- 2.2 Determining Volumes by Slicing -- 2.3 Volumes of Revolution: Cylindrical Shells -- 2.4 Arc Length of a Curve and Surface Area -- 2.5 Physical Applications -- 2.6 Moments and Centers of Mass -- 2.7 Integrals, Exponential Functions, and Logarithms -- 2.8 Exponential Growth and Decay -- 2.9 Calculus of the Hyperbolic Functions -- Chapter 3: Techniques of Integration -- 3.1 Integration by Parts -- 3.2 Trigonometric Integrals -- 3.3 Trigonometric Substitution -- 3.4 Partial Fractions -- 3.5 Other Strategies for Integration -- 3.6 Numerical Integration -- 3.7 Improper Integrals -- Chapter 4: Introduction to Differential Equations -- 4.1 Basics of Differential Equations -- 4.2 Direction Fields and Numerical Methods -- 4.3 Separable Equations -- 4.4 The Logistic Equation -- 4.5 First-order Linear Equations -- Chapter 5: Sequences and Series -- 5.1 Sequences -- 5.2 Infinite Series -- 5.3 The Divergence and Integral Tests -- 5.4 Comparison Tests -- 5.5 Alternating Series -- 5.6 Ratio and Root Tests -- Chapter 6: Power Series -- 6.1 Power Series and Functions -- 6.2 Properties of Power Series -- 6.3 Taylor and Maclaurin Series -- 6.4 Working with Taylor Series -- Chapter 7: Parametric Equations and Polar Coordinates -- 7.1 Parametric Equations -- 7.2 Calculus of Parametric Curves -- 7.3 Polar Coordinates -- 7.4 Area and Arc Length in Polar Coordinates -- 7.5 Conic Sections…”
Access online version

Calculus by Strang, Gilbert

Table of Contents: “…Second-Order Differential Equations -- 7.1. Introduction -- 7.2. Second-Order Linear Equations -- 7.3. …”
Access online version

Model-Based Demography Essays on Integrating Data, Technique and Theory / by Burch, Thomas K.

Table of Contents: “…Does Demography Need Differential Equations? Part II: Some Demographic Models Re-visited: 6. …”
Link to Metadata

Introduction to GNU Octave A brief tutorial for linear algebra and calculus students by Lachniet, Jason

Table of Contents: “…Contents -- Preface -- 1 Basic operation -- 1.1 Introduction -- 1.2 Navigating the GUI -- 1.3 Matrices and vectors -- 1.4 Plotting -- Chapter 1 Exercises -- 2 Matrices and linear systems -- 2.1 Linear systems -- 2.2 Polynomial curve fitting -- 2.3 Matrix transformations -- Chapter 2 Exercises -- 3 Calculus -- 3.1 Limits, sequences, and series -- 3.2 Numerical integration -- 3.3 Parametric, polar, and implicit functions -- 3.4 Complex variables -- 3.5 Special functions -- 3.6 Symbolic operations -- Chapter 3 Exercises -- 4 Eigenvalue problems -- 4.1 Eigenvalues and eigenvectors -- 4.2 Markov chains -- 4.3 Diagonalization -- 4.4 Singular value decomposition -- 4.5 Gram-Schmidt and the QR algorithm -- Chapter 4 Exercises -- 5 Additional topics -- 5.1 Three dimensional graphs -- 5.2 Multiple integrals -- 5.3 Vector fields -- 5.4 Statistics -- 5.5 Differential equations -- Chapter 5 Exercises -- 6 Applied projects -- 6.1 SVD and digital image compression -- 6.2 The Gini index and nonlinear curve-fitting -- 6.3 Designing a helical strake: arc length and curvature -- 6.4 Modeling a cave passage: cubic spline curves -- 6.5 Graphs of surfaces and 3D-printing -- A MATLAB compatibility -- B List of Octave commands -- References -- Index…”
Access online version

Ecuaciones diferenciales ordinarias aplicadas I by Gutierrez Borda, Alberto Ernesto

DOAB: download the publication
DOAB: description of the publication

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

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

Classical Numerical Methods in Scientific Computing by van Kan, Jos, Segal, Guus, Vermolen, Fred

Access online version

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

Connect to this object online.

The existence and approximation of the periodic solutions for system of first order nonlinear differential equationsby using Lebesgue integrable by R. N.Butris, Merna Adel Aziz

Connect to this object online.