math.DS」カテゴリーアーカイブ

An Optimal Control Method to Compute the Most Likely Transition Path for Stochastic Dynamical Systems with Jumps

要約 現実世界の複雑な現象の多くは、突然、断続的、またはジャンプする動作を示しま … 続きを読む

カテゴリー: cs.LG, cs.NA, math.DS, math.NA, math.OC | An Optimal Control Method to Compute the Most Likely Transition Path for Stochastic Dynamical Systems with Jumps はコメントを受け付けていません

Composing Control Barrier Functions for Complex Safety Specifications

要約 制御システムの複雑さが増すにつれ、安全性を保証する制御法が必要になります。 … 続きを読む

カテゴリー: cs.RO, cs.SY, eess.SY, math.DS | Composing Control Barrier Functions for Complex Safety Specifications はコメントを受け付けていません

An Overview of Formulae for the Higher-Order Kinematics of Lower-Pair Chains with Applications in Robotics and Mechanism Theory

要約 機構の動きは、指数写像を使用してネジ座標に関して説明できます。 指数積 ( … 続きを読む

カテゴリー: cs.NA, cs.RO, math.DS, math.GR, math.NA | An Overview of Formulae for the Higher-Order Kinematics of Lower-Pair Chains with Applications in Robotics and Mechanism Theory はコメントを受け付けていません

SciRE-Solver: Accelerating Diffusion Models Sampling by Score-integrand Solver with Recursive Difference

要約 拡散モデル (DM) は、画像、オーディオ、ビデオ生成の分野で大きな進歩を … 続きを読む

カテゴリー: cs.LG, math.DS, stat.CO, stat.ML | SciRE-Solver: Accelerating Diffusion Models Sampling by Score-integrand Solver with Recursive Difference はコメントを受け付けていません

On the Safety of Connected Cruise Control: Analysis and Synthesis with Control Barrier Functions

要約 コネクテッド自動運転車両は、乗客の快適性、燃費、運転行動の安定性、交通渋滞 … 続きを読む

カテゴリー: cs.RO, cs.SY, eess.SY, math.DS | On the Safety of Connected Cruise Control: Analysis and Synthesis with Control Barrier Functions はコメントを受け付けていません

Structure and Gradient Dynamics Near Global Minima of Two-layer Neural Networks

要約 マイルドな仮定の下で、2層ニューラルネットワークの大域的極小値近傍の損失ラ … 続きを読む

カテゴリー: cs.LG, math.DS | Structure and Gradient Dynamics Near Global Minima of Two-layer Neural Networks はコメントを受け付けていません

Dynamical systems’ based neural networks

要約 ニューラル ネットワークは、多くのアプリケーションで有効であるため、大きな … 続きを読む

カテゴリー: 37M15, 65L05, 65L06, cs.LG, cs.NA, math.DS, math.NA | Dynamical systems’ based neural networks はコメントを受け付けていません

Formal specification terminology for demographic agent-based models of fixed-step single-clocked simulations

要約 この文書は、人口統計分野におけるエージェント ベース モデル (ABM) … 続きを読む

カテゴリー: cs.CL, math.DS | Formal specification terminology for demographic agent-based models of fixed-step single-clocked simulations はコメントを受け付けていません

On the lifting and reconstruction of nonlinear systems with multiple attractors

要約 Koopman 演算子は、不変部分空間における観測量の進化に焦点を当てるこ … 続きを読む

カテゴリー: 37M10, 37M25, 47B33, 62F15, cs.LG, math.DS | On the lifting and reconstruction of nonlinear systems with multiple attractors はコメントを受け付けていません

Formal specification terminology for demographic agent-based models of fixed-step single-clocked simulations

要約 この文書は、人口統計分野におけるエージェント ベース モデル (ABM) … 続きを読む

カテゴリー: cs.CL, math.DS | Formal specification terminology for demographic agent-based models of fixed-step single-clocked simulations はコメントを受け付けていません