Arama Sonuçları - "Nonlinear system"

Fuzzy Sets, Fuzzy Logic and Their Applications 2020

Konular: “…fuzzy nonlinear systems…”
DOAB: download the publication
DOAB: description of the publication

Multi-Sensor Information Fusion Yazar: Gao, Yuan

Konular: “…nonlinear system…”
DOAB: download the publication
DOAB: description of the publication

Existence and uniqueness of the solution of an integro-differential equation of the second order with boundary conditions Yazar: Azzam S. Younis

Connect to this object online.

Recurrent neural network for the dynamics of Zika virus spreading Yazar: Kottakkaran Sooppy Nisar, Muhammad Wajahat Anjum, Muhammad Asif Zahoor Raja, Muhammad Shoaib

Connect to this object online.

The existence and convergence of the solution to a system of non-linear integral-differential equations of the first rank with the requirements of integration Yazar: Raad Petrus, Azzam Younis

Connect to this object online.

Solving One-Predator Two-Prey System by using Adomian Decomposition Method / Wan Khairiyah Hulaini Wan Ramli... [et. al] Yazar: Wan Khairiyah Hulaini, Wan Ramli, Muhammad Saufi Firdaus, Azmi, Farahanie, Fauzi, Norlaila, Md Nor

Link Metadata

Lyapunov function for two-species mutualism model with constant harvesting / Rusliza Ahmad Yazar: Ahmad, Rusliza

Link Metadata

Model Kompetisi Dua Spesies Yazar: Rahardi, Rustanto

Link Metadata

Time-varying water temperature modelling of steam distillation pilot plant using NARX-based binary particle swarm optimisation structure selection / Najidah Hambali ... [et al.] Yazar: Hambali, Najidah, Taib, Mohd Nasir, Mohd Yassin, Ahmad Ihsan, Rahiman, Mohd Hezri Fazalul

Link Metadata

Robot Localization and Map Building

DOAB: download the publication
DOAB: description of the publication

COMPARATIVE ANALYSIS OF THE ESSENCE AND STRUCTURE OF TRADITIONAL AND NONLINEAR EDUCATIONAL PROCESS IN THE HIGHER SCHOOL Yazar: L. I. Vasilyev

Connect to this object online.

Pharmacokinetic‐pharmacodynamic modelling of the anti‐FcRn monoclonal antibody rozanolixizumab: Translation from preclinical stages to the clinic Yazar: Rocio Lledo‐Garcia, Kate Dixon, Anthony Shock, Ruth Oliver

Connect to this object online.

التّحكم التأقلمي بأنظمة خطيّة وغير خطيّة بالاعتماد على النّموذج المخيخي Yazar: مناف سليمان

Connect to this object online.

Notes on Diffy Qs Differential Equations for Engineers Yazar: Lebl, Jirí

İçindekiler: “…Power series methods -- 8. Nonlinear systems -- A. Linear algebra…”
Access online version

استخدام طرق الدمج العائمة في التحكم التنبئي العائم من النمط الثاني Yazar: Bassam Mohammad, Monaf Solieman

Connect to this object online.

Regularized System Identification Learning Dynamic Models from Data / Yazar: Pillonetto, Gianluigi, Chen, Tianshi, Chiuso, Alessandro, De Nicolao, Giuseppe, Ljung, Lennart

İçindekiler: “…Regularization for Nonlinear System Identification -- Chapter 9. Numerical Experiments and Real-World Cases.…”
Link to Metadata

Piecewise affine control for autonomous bicycle using gyroscopic effect Yazar: Sompol Suntharasantic

Tam Metin Erişim

Variational Principles in Classical Mechanics Yazar: Cline, Douglas

İçindekiler: “…1 A brief history of classical mechanics -- 2 Review of Newtonian mechanics -- 3 Linear oscillators -- 4 Nonlinear systems and chaos -- 5 Calculus of variations -- 6 Lagrangian dynamics -- 7 Symmetries, Invariance and the Hamiltonian -- 8 Hamiltonian mechanics -- 9 Hamilton’s Action Principle -- 10 Nonconservative systems -- 11 Conservative two-body central forces -- 12 Non-inertial reference frames -- 13 Rigid-body rotation -- 14 Coupled linear oscillators -- 15 Advanced Hamiltonian mechanics -- 16 Analytical formulations for continuous systems -- 17 Relativistic mechanics -- 18 The transition to quantum physics -- 19 Epilogue…”
Access online version

Special Topics in Information Technology

İçindekiler: “…Advances in Wave Digital Modeling of Linear and Nonlinear Systems: a Summary -- Enhancing Indoor Coverage by Multi-Pairs Copper Cables: The Analog MIMO Radio-over-Copper Architecture -- Chirp Generators for Millimeter-Wave FMCW Radars -- Modeling and simulation of spiking neural networks with resistive switching synapses -- Learning and Adaptation to Detect Changes and Anomalies in High-Dimensional Data -- Enhancing Video Recommendation using Multimedia Content -- Dynamic Application Autotuning for Self-Aware Approximate Computing -- CAOS: CAD as an Adaptive Open-platform Service for High Performance Reconfigurable Systems -- A General Framework for Shared Control in Robot Teleoperation with Force and Visual Feedback.…”
Link to Metadata

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

İçindekiler: “…-- 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