Search Results - algebraic dynamics

Advanced Mobile Robotics: Volume 2 by Kim, DaeEun

Subjects: “…behaviour dynamics…”
DOAB: download the publication
DOAB: description of the publication

Advanced Mobile Robotics: Volume 3 by Kim, DaeEun

Subjects: “…behaviour dynamics…”
DOAB: download the publication
DOAB: description of the publication

Water Flow, Solute and Heat Transfer in Groundwater

DOAB: download the publication
DOAB: description of the publication

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

Subjects: “…dynamics…”
DOAB: download the publication
DOAB: description of the publication

New Challenges in Neutrosophic Theory and Applications

Subjects: “…NQ linear algebras…”
DOAB: download the publication
DOAB: description of the publication

Computational Intelligence and Soft Computing: Recent Applications

Subjects: “…MI-algebras…”
DOAB: download the publication
DOAB: description of the publication

Fuzzy Sets, Fuzzy Logic and Their Applications by Voskoglou, Michael

Subjects: “…BCK/BCI-algebra…”
DOAB: download the publication
DOAB: description of the publication

Buildings and Structures under Extreme Loads II

DOAB: download the publication
DOAB: description of the publication

Expanding the Horizons of Manufacturing: Towards Wide Integration, Smart Systems and Tools

DOAB: download the publication
DOAB: description of the publication

Causal Inference for Heterogeneous Data and Information Theory

DOAB: download the publication
DOAB: description of the publication

Optimization Methods Applied to Power Systems: Volume 1 by Montoya, Francisco G.

Subjects: “…dynamic solving framework…”
DOAB: download the publication
DOAB: description of the publication

Optimization Methods Applied to Power Systems: Volume 2 by Montoya, Francisco G.

Subjects: “…dynamic solving framework…”
DOAB: download the publication
DOAB: description of the publication

Mathematical Methods, Modelling and Applications

DOAB: download the publication
DOAB: description of the publication

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

Access online version

Structure and Interpretation of Classical Mechanics by Sussman, Gerald Jay

OAPEN Library: download the publication
OAPEN Library: description of the publication

The dispersionless completely integrable heavenly type Hamiltonian flows and their differential-geometric structure by Oksana E Hentosh, Yarema A Prykarpatsky, Alexandr Balinsky, Anatolij K Prykarpatski

Connect to this object online.

All Things Flow Fluid Mechanics for the Natural Sciences by Smyth, William

Table of Contents: “…1 Introduction2 Review of elementary linear algebra3 Cartesian vectors and tensors 4 Tensor calculus5 Fluid kinematics6 Fluid dynamics7 Vortices8 Waves9 Nonlinear, hydrostatic flow over topography…”
Access online version

Biomechanical modelling as a method of studying athlete's motor actions by Ilia Vako

Connect to this object online.

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

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

Evolution of the Unified State Exam and its Effect on Students' Mathematical Preparation by A. S. Kotyurgina, E. I. Fedorova, V. B. Nikolaev, Yu. B. Nikitin

Connect to this object online.